OpenAgentSkill Registry Manifest
Skill: Mathlib Quality
Slug: cbirkbeck-mathlib-quality
Category: coding-agents
Description: Claude Code skill plugin for cleaning up and bringing Lean 4 code to mathlib standards.

Agent fit:
- Decision: 71/100 Prototype first
- Primary fit: Coding agents
- Role: Fallback candidate

Supply profile:
- Track: Coding and developer agents
- Scenario: Coding agents
- Applicable agents: Claude Code, CLI, Codex, Cursor, Shell
- Maintenance: 3d since push
- Risk: Needs review

Trust:
- Trust score: 75/100 Strong shortlist
- Audit: 81/100 Needs review

Attribution:
- Status: Community indexed
- Source: OpenAgentSkill auto-indexer
- Creator: CBirkbeck
- Claim URL: https://www.openagentskill.com/skills/cbirkbeck-mathlib-quality#claim-this-skill

Install:
npx skills add CBirkbeck/mathlib-quality

URLs:
- Web: https://www.openagentskill.com/skills/cbirkbeck-mathlib-quality
- API: https://www.openagentskill.com/api/agent/skills/cbirkbeck-mathlib-quality
- Install API: https://www.openagentskill.com/api/skills/cbirkbeck-mathlib-quality/install
- Repository: https://github.com/CBirkbeck/mathlib-quality