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