agentmods.dev

homeowmorphism/mathlib-api

Claude Code skill: evidence-driven workflow for designing a good Mathlib definition (precedent excavation, design axes, compiling example sheets)

Open on GitHub
1Stars on the repository
1Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

mathlib-api

01

homeowmorphism/mathlib-api

Skill Claude CodeCodex

Evidence-driven workflow for designing a Mathlib definition and the API around it. Use when adding a new structure/def intended for mathlib; when choosing between design alternatives (index type as field vs parameter, Set vs indexed family, coarse set vs finer indexed structure and when the fine one should exist at…

not rated 1 1mo ago A 234 tokens original Apache-2.0