zulip-extract

star 8.3k

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 By leanprover schedule Updated 2/19/2026

name: zulip-extract description: 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.

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.

Install via CLI
npx skills add https://github.com/leanprover/lean4 --skill zulip-extract
Repository Details
star Stars 8,257
call_split Forks 875
navigation Branch main
article Path SKILL.md
More from Creator