10 tagged api-design, measured the same way as everything else here.
Browse within: agent 7gemini-cli 7gemini-cli-extensions 7integration-architecture 7graphql 6rest 6openapi 5rest-api 5
Skill Claude CodeCodex
Production-grade FastAPI development with async patterns, Pydantic v2, dependency injection, ML/AI endpoint design, and modern Python best practices for building high-performance REST APIs.
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…
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: