Claude Skills and agents for systematic Lean 4 proof development
/plugin marketplace add cameronfreer/lean4-skills/plugin install [plugin-name]@cameronfreer-lean4-skillsSystematic workflows for Lean 4 proofs: sorries management, mathlib usage, verified math, compiler-guided repair
Persistent learning across Lean 4 sessions (patterns, dead-ends, conventions)
Specialized subagents for Lean 4 proof development workflows (proof-golfer, sorry-filler, axiom-eliminator, proof-repair)
Bundled plugins for Claude Code including Agent SDK development tools, PR review toolkit, and commit workflows
Production-ready workflow orchestration with 65 focused plugins, 91 specialized agents, and 45 tools - optimized for granular installation and minimal token usage
A curated marketplace of practical Claude Skills for enhancing productivity across Claude.ai, Claude Code, and the Claude API