Community

io.github.sandraschi/leanforge-mcp

Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management

Install

This server publishes no package or remote endpoint — see its repository for instructions.