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.
Informações da origem
- Repositório
- leanprover/lean4
- Última atividade na origem
- 19 de fevereiro de 2026 às 12:48
- Idioma detectado do SKILL.md
- inglês
- Estrelas
- 8.827
- Forks
- 937
Opções de instalação
Por padrão, está selecionado o prompt que primeiro revisa a origem. Você pode mudar para um comando direto ou baixar uma cópia local.
Revise os arquivos de origem
Leia o SKILL.md e os arquivos complementares exibidos pelo SkillsMP antes de decidir se vai instalar.
