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 skills add CBirkbeck/mathlib-qualityClaude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards
Agent skill repository for opencode skills.
MDD — Mestre de Direção Dinâmica: skill do Claude Code que transforma qualquer assunto em pacote completo de direção de vídeo (storyboard + prompts)
AI agent skill repository: llg524062-stack/baizhi-skill-mcp
Browser-based control panel for managing and monitoring Claude Code multi-agent pipelines
Frontend Codex skills knowledge base and reusable skill flows.
Global Claude Code skills collection