Claude Code skill plugin for cleaning up and bringing Lean 4 code to mathlib standards.
27
Stars
66/100
Trust
Kategorie: coding-agentsAudit
Skill-Verzeichnis
Wiederverwendbare Skills für AI Agents entdecken.
Durchsuche reale GitHub-Skills nach Aufgabe und prüfe Stars, Trust, Audit, Kategorie und Installationspfad vor der Verwendung.
Jede Empfehlung bleibt mit ihrem Repository, Audit und Installationspfad nachvollziehbar.