lean-diagnostics
Native diagnostics/review/doctor entry. Use structured capability, inspection, and verification state instead of ad hoc summaries.
Informations de source
- Dépôt
- epfl-lara/LeanFlow
- Dernière activité de la source
- 11 août 2026 à 02:39
- Langue détectée de SKILL.md
- anglais
- Étoiles
- 5
- Forks
- 0
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.
