# Zulip Extract

> Zulip 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.

- Skill name: `zulip-extract`
- Category: [Documents](https://www.openparable.com/skill/documents/1)
- Source: https://github.com/leanprover/lean4/blob/HEAD/.claude/skills/zulip-extract/SKILL.md
- Repository: leanprover/lean4 (8,490 GitHub stars when collected)

## SKILL.md

# Zulip Thread Extractor

Run the bundled script to convert a Zulip HTML page dump into plain text.

## Usage
```bash
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.

---

Source: https://www.openparable.com/skill/documents/zulip-extract (OpenParable). Cite the canonical URL above.