MCP serverCommunity
io.github.sandraschi/leanforge-mcp
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
sandraschi · ↓ 0 installs
Install
This server publishes no package or remote URL — see the repository for instructions.
Tools
The tool list will appear once the server has a sandbox or the editors fill it in.