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.
Informations de source
- Dépôt
- leanprover/lean4
- Dernière activité de la source
- 19 février 2026 à 12:48
- Langue détectée de SKILL.md
- anglais
- Étoiles
- 8 827
- Forks
- 937
Options d'installation
Le prompt qui vérifie d'abord la source est sélectionné par défaut. Vous pouvez passer à une commande directe ou télécharger une copie locale.
Vérifiez les fichiers source
Lisez SKILL.md et les fichiers associés affichés par SkillsMP avant de décider de l'installer.
