claudeindex
cameronfreer's avatar
Author

Cameron Freer

@cameronfreer
1
Marketplaces
4
Plugins
0
Skills
0
Agents
0
Commands

Marketplaces

Marketplace

lean4-skills

Lean 4 theorem proving with guided + autonomous proving, LSP-first workflows, and guardrails

Plugins:4
Skills:0
116
11

Plugins

Plugin

lean4

Unified Lean 4 plugin (prove, autoprove, review, golf, checkpoint) — LSP-first, scripts fallback

Plugin

lean4-theorem-proving

Lean 4 workflows (skills + commands)

Plugin

lean4-memories

Persistent memory integration for Lean 4 formalization

Plugin

lean4-subagents

Specialized subagents for Lean 4 development