🔌

lean4-memories

🔌Plugin

cameronfreer/lean4-skills

Security check pending

🏪

Part of

cameronfreer-lean4-skills

Installation

Add marketplace in Claude Code:

/plugin marketplace add cameronfreer/lean4-skills

Step 2. Install plugin:

/plugin install lean4-memories@lean4-skills

146

Last UpdatedMar 9, 2026

View on GitHub Back to Plugins

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