Claude Code skill plugin for cleaning up and bringing Lean 4 code to mathlib standards.
27
Stars
66/100
Confianza
Categoría: coding-agentsAuditoría
Directorio de skills
Descubre skills reutilizables para AI agents.
Busca skills reales de GitHub por tarea y revisa stars, confianza, auditoría, categoría y ruta de instalación antes de utilizarlos.
Cada recomendación conserva un vínculo claro con su repositorio, auditoría y ruta de instalación.