← Browse
autoform
facebookresearch ★ 122
Autoform helps formalize mathematical papers and research notes into Lean 4 proofs by planning work from source documents, writing formalized code, and reviewing progress with integrated Lean LSP and REPL tools. The plugin provides seven skills that guide users through setup, roadmap creation, formalization, and review workflows entirely within Claude Code or Codex.
Install
> /plugin marketplace add facebookresearch/autoform-bot
> /plugin install autoform
What it's made of
7 skills · 2 MCP servers
- Commands
- 0
- Agents
- 0
- Skills
- 7
- MCP servers
- 2
- Hooks
- 0
What it needs & plugs into
- API keys
- none
- Paid services
- none detected
- External tools
uv- Talks to
- nothing external detected
Analyzed . Facts extracted from the plugin's files. Prose generated by claude-haiku-4-5-20251001.
Is this your plugin?
Claim it to keep the card accurate and enter the weekly contest. Requires signing in as the GitHub owner (facebookresearch).