Back to all repositories
CB
mathlib-quality
by CBirkbeck
Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards
32stars3forks1watchers/subscribers3issues
- Language
- Shell
- License
- MIT License
- Size
- 6.5 MB
- Created
- Feb 11, 2026
- Last Updated
- Aug 29, 2026
- Last Pushed
- Aug 19, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.