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

- Skill: `leanprover/zulip-extract` (Agent Skill, multi-file: 2 files)
- Install (CLI): `npx skillmds@latest add leanprover/zulip-extract`
- Raw SKILL.md: https://api.skillmd.com/api/skills/leanprover/zulip-extract/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Web & Frontend
- Author: leanprover (https://skillmd.com/u/leanprover)
- Updated: 2026-09-22
- Page: https://skillmd.com/skills/leanprover/zulip-extract

---


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