Updated 4d ago
by CBirkbeck
mathlib-quality
Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards
35 GitHub stars (35)
Steady at 35 stars — no new stars in the 16 days since Sep 30.
- 2 skills (2 skills found in its SKILL.md files)
- 5 forks (5 forks)
- 4d ago last update (Last updated 4d ago)
Install
Skills CLI
npx skills add CBirkbeck/mathlib-quality
Asks which skills and agents to install. Just one: npx skills add CBirkbeck/mathlib-quality --skill mathlib-quality — add -g for every project.
Claude Code
git clone https://github.com/CBirkbeck/mathlib-qualitycp -r "mathlib-quality/skills/mathlib-quality" ~/.claude/skills/
Copies the mathlib-quality skill into ~/.claude/skills/ for every project (use .claude/skills/ for one project). Repeat for the other skills listed below.
Plugin
/plugin marketplace add CBirkbeck/mathlib-quality
Run inside Claude Code if the repository ships a plugin marketplace, then pick plugins from /plugin.
Skills can run code on your machine — read the SKILL.md first.
What it does
In the author's own words, from each skill's SKILL.md.
-
mathlib-quality
Mathlib code quality and style enforcement for Lean 4
skills/mathlib-quality/SKILL.md on GitHub (opens in a new tab) -
voyager
Post a "what's new in Tau Ceti" update as the voyager bot on the Lean Zulip — detect named theorems and significant definitions newly added to the TauCeti library since the last update, verify they are genuinely new (not already in Mathlib) and genuinely significant (via a ChatGPT second opinion), and post them with docs and PR links plus library stats. Use when running the daily Voyager update,…
skills/voyager/SKILL.md on GitHub (opens in a new tab)
No skill matches that filter.
Review before you install
A skill is a set of instructions and scripts your agent will follow, and it can run code on your machine. Read the SKILL.md and any scripts first — this listing is not a security review.
Similar skills
-
ECCby affaan-m The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Cod…
-
reaby morluto Reverse engineer anything with agents, from app behavior down to native binaries.
-
andrej-karpathy-skillsby multica-ai A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
-
ponytailby DietrichGebert Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.
-
ui-ux-pro-max-skillby nextlevelbuilder An AI skill that provides design intelligence for building professional UI/UX across multiple platforms.
-
graphifyby Graphify-Labs Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Curs…