Plugin marketplace

mathlib-quality-plugins

Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards

38 · CBirkbeck/mathlib-quality1 pluginMITupdated 2 days ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

mathlib-quality

claude

Clean up, golf, and bring Lean 4 code up to mathlib standards before PR submission

2 skills · 24 commands · hooks

38

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted