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