Lean 4 theorem prover support for Claude Code
/plugin marketplace add alok/lean4-claude-plugin/plugin install [plugin-name]@alok-lean4-toolsBundled plugins for Claude Code including Agent SDK development tools, PR review toolkit, and commit workflows
Production-ready workflow orchestration with 67 focused plugins, 99 specialized agents, and 107 skills - optimized for granular installation and minimal token usage
Anthropic example skills