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
Agent skill repository: scarr-exe/fhevm-agent-skill
Claude Code foundry - plugins, skills, and tools
Shared AI agent skills
Track Codex CLI sessions in the macOS notch, manage approvals, and switch threads for local and remote hosts without terminal tabs
Control plane for AGENTS.md, CLAUDE.md, SKILL.md, hooks, and rules
Agent skill repository for tanmay2773/ALSM-Agentic-Local-Skill-Mapping.