agentmods.dev

CBirkbeck/mathlib-quality

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

Open on GitHub
32Stars on the repository
36Mods indexed here, across every type
13d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 2 mods

Stop

01

CBirkbeck/mathlib-quality

Hook

Runs when the agent finishes a response, executing beastmode_stop.sh. From CBirkbeck/mathlib-quality.

32 13d ago A tokens not measured original MIT

PreToolUse

02

CBirkbeck/mathlib-quality

Hook

Runs before the agent uses a tool for Bash tool calls, executing pr_gate.sh. From CBirkbeck/mathlib-quality.

32 13d ago A tokens not measured copy · 67% MIT