home/categories/documents/leanprover-lean4-claude-skills-zulip-extract-skill-md
documentscontent-media

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
maintainer
leanprover
更新于 2/19/2026
星标
7778
分支
817
quick start

Installation and usage

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.

安装
$ install --globalskills.sh
使用

安装后,您可以通过在终端运行以下命令来使用此技能:

skills use zulip-extract