Plugin marketplace

autoform

Lean repository setup, Markdown-vault roadmaps, proving, and human or agent review with Lean LSP and REPL tools.

143 · facebookresearch/autoform-bot1 pluginMITupdated today

Add this marketplace

Then install any plugin below by name — each page has its exact command.

autoform

claudecodex

Set up, plan, publish, prove, and review Lean formalizations as linked Markdown nodes checked through Lean LSP and REPL.

7 skills · 2 MCP servers

143

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted