π
lean4-memories
πPlugincameronfreer/lean4-skills
Security check pending
Part of
cameronfreer-lean4-skills
Installation
Add marketplace in Claude Code:
/plugin marketplace add cameronfreer/lean4-skillsStep 2. Install plugin:
/plugin install lean4-memories@lean4-skills146
-
Last UpdatedMar 9, 2026
More from this repository6
ππͺπ―π―π―π
lean4-theorem-provingπPlugin
Claude Code plugin for automated Lean 4 theorem proving with guided and autonomous proving commands. Includes sorry-filling, proof optimization (golf), quality review, and verified checkpoint workflows.
cameronfreer-lean4-skillsπͺMarketplace
Enables Claude to systematically develop, analyze, and automate formal mathematical proofs in Lean 4 through integrated theorem proving commands, specialized agents, and workflow tools.
lean4π―Skill
A Claude Code plugin for automated Lean 4 theorem proving, offering guided cycle-by-cycle and autonomous multi-cycle proving commands for formal mathematics.
lean4-theorem-provingπ―Skill
Skill
lean4-memoriesπ―Skill
Skill
lean4-subagentsπPlugin
Plugin