mathlib-quality

Featured

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

plugin 27 stars 3 forks Updated 1 weeks ago MIT

Install

Plugins install via a marketplace, in two steps.

This plugin isn't listed in a marketplace we've indexed. Install it directly from its GitHub repository — the README has the setup steps.

View on GitHub

Bundles

Everything this plugin ships — skills, agents, commands, hooks, and MCP servers it bundles.

Commands (22)

beastmode.md blueprint.md bump-mathlib.md buzz.md cleanup-all.md cleanup.md contribute.md decompose-proof.md develop.md expert-review.md fix-pr-feedback.md generalise.md integrate-learnings.md mathlibable.md overview.md pre-submit.md project-status.md self-review.md setup-chatgpt.md split-file.md teach.md unformalise.md

Hooks (2)

beastmode_stop.sh hooks.json

Quality Score: 80/100

Stars 20%
48
Recency 20%
90
Manifest 20%
100
Documentation 15%
0
Issue Health 10%
50
License 10%
100
Description 5%
100

Details

Author
CBirkbeck
Repository
CBirkbeck/mathlib-quality
Created
5 months ago
Last Updated
1 weeks ago
Language
Shell
License
MIT