Plugin Claude Code
Plugin marketplace listing 1 plugin: mathlib-quality.
32 13d ago A
tokens not measured
original MIT
32Stars on the repository
36Mods indexed here, across every type
13d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Plugin Claude Code
Prove, clean up, golf, and bring Lean 4 code up to mathlib standards.
32 13d ago A
tokens not measured
original MIT