🏪
cameronfreer-lean4-skills
🏪Marketplacecameronfreer/lean4-skills
|What it does
Enables Claude to systematically develop, analyze, and automate formal mathematical proofs in Lean 4 through integrated theorem proving commands, specialized agents, and workflow tools.
communitycommandsdevelopmentformalizationintegrationlean4memoriesmemorypersistentproving
Installation
Add marketplace in Claude Code:
/plugin marketplace add cameronfreer/lean4-skills3Plugins available
93
AddedJan 27, 2026