zulip-extract
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.
Source facts
- Repository
- leanprover/lean4
- Last source activity
- February 19, 2026 at 12:48
- Detected SKILL.md language
- English
- Stars
- 8,827
- Forks
- 937
Install options
The review-first prompt is selected by default. You can switch to a direct command or download a local copy.
Review the source files
Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.
