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
My agent skills repo
Manage and query AI agent conversations using markdown, role scopes, and URI-based skills for streamlined interaction and navigation.
An MCP tool that provides AI with the ability to compress and decompress local files.
Raydium take-home: unstructured doc pipeline + remote MCP server + Claude Skills
Testing Claude Skills via Sport App creation
🛡️ Enhance Claude Code with security and utility hooks to prevent prompt injection and extend functionality through custom scripts.