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