CBirkbeck
2 repositories with Claude Code or Codex plugins.
- mathlib-quality-plugins38
Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards
1 plugin · CBirkbeck/mathlib-quality
- mqslim-plugins0
Slim shadow of mathlib-quality: same workflows, minimal instructions, trusts frontier-model judgement
1 plugin · CBirkbeck/MQSlim