CBirkbeck/mathlib-quality
Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards
Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards
npx add-skill CBirkbeck/mathlib-qualityClaude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards
Install Oracle skills to Claude Code, OpenCode, Cursor, and 12+ AI coding agents
GenPark skill: Integrate iSales AI concepts for automated sales chatbots, lead qualification, and in-chat payments.
Claude Code skills: feasibility studies, effort/cost estimation
GitHub repository for datocms/agent-skills, discovered in the daily agent-skill hunt.
Automate Control D tasks via Rube MCP (Composio). Always search tools first for current schemas.
A collection of agent skills and tools