Zulip Extract
Documentszulip-extractZulip Extract is an Agent Skill for documents published in the leanprover/lean4 repository on GitHub: a SKILL.md instruction file an AI agent can load to do this task.
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.
QUICK START
How to use this skill
Bring this guide into your coding agent with a prompt tailored to the tool you use.
- Open your project in Codex.
- Copy and paste the prompt below.
- Review files and risks before approving any action.
Prompt to paste
Inspect the Agent Skill at https://github.com/leanprover/lean4/blob/HEAD/.claude/skills/zulip-extract/SKILL.md and all supporting files. Report provenance, permissions, scripts, dependencies, and security risks. Propose an exact installation into .agents/skills/zulip-extract, but wait for my approval before writing files or running scripts.
Copying this prompt does not install or run the skill. Review third-party files before use.
Zulip Thread Extractor
Run the bundled script to convert a Zulip HTML page dump into plain text.
Usage
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.