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.
Datos de origen
- Repositorio
- leanprover/lean4
- Última actividad en el origen
- 19 de febrero de 2026 a las 12:48
- Idioma detectado de SKILL.md
- inglés
- Estrellas
- 8827
- Forks
- 937
Opciones de instalación
De forma predeterminada está seleccionado el prompt que primero revisa el origen. Puedes cambiar a un comando directo o descargar una copia local.
Revisa los archivos de origen
Lee SKILL.md y los archivos complementarios que muestra SkillsMP antes de decidir si quieres instalarlo.
