Add this marketplace to Claude Code
Run this command in Claude Code to add all plugins from this marketplace:
/plugin marketplace add cameronfreer/lean4-theorem-proving-skillShowing 3 of 3 plugins
lean4-theorem-proving
Lean 4 workflows (skills + commands)
by Unknown
Step 2: Install Plugin
/plugin install lean4-theorem-proving@cameronfreer/lean4-theorem-proving-skilllean4-memories
Persistent memory integration for Lean 4 formalization
by Unknown
Step 2: Install Plugin
/plugin install lean4-memories@cameronfreer/lean4-theorem-proving-skilllean4-subagents
Specialized subagents for Lean 4 development
by Unknown
Step 2: Install Plugin
/plugin install lean4-subagents@cameronfreer/lean4-theorem-proving-skill