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.

leanprover Updated

File contents

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.

leanprover/lean4/tree/main/.claude/skills/zulip-extract commit a58b2658a3

Frequently asked questions

npx skillmds@latest add leanprover/zulip-extract