// Extract Zulip thread HTML dumps into readable plain text. Use when the user provides a Zulip HTML file or asks to parse/read/convert/summarize a Zulip thread.
Write the Highlights section for Lean 4 release notes. Use when asked to write, draft, or update release highlights for a Lean version.
Profile Lean programs with demangled names using samply and Firefox Profiler. Use when the user asks to profile a Lean binary or investigate performance.
| name | zulip-extract |
| description | Extract Zulip thread HTML dumps into readable plain text. Use when the user provides a Zulip HTML file or asks to parse/read/convert/summarize a Zulip thread. |
Run the bundled script to convert a Zulip HTML page dump into plain text.
python3 .claude/skills/zulip-extract/zulip_thread_extract.py input.html output.txt
The script has zero dependencies beyond Python 3 stdlib. It extracts sender, timestamp, message content (with code blocks, links, quotes, mentions), and reactions.