Plugin Claude Code
Bundles 2 skills, 24 commands, 2 hooks · 1,485 tokens together
Prove, clean up, golf, and bring Lean 4 code up to mathlib standards.
not rated 35
changed 5d ago A
tokens not measured
original MIT
35Stars on the repository
30Mods indexed here, across every type
5d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown