CBirkbeck/mathlib-quality

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

1 file for Claude Code and Codex: mathlib-quality CLAUDE.md — 7,409 tokens loaded in every session.

Open on GitHub

33Stars on the repository

1Files it configures its agents with

7,409Tokens loaded in every session

2Agents configured

Instructions

mathlib-quality CLAUDE.md CLAUDE.md A 7,409 tok

These files are CBirkbeck/mathlib-quality's own configuration — they tell Claude Code and Codex how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.