$ loading_
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
Copy the install command and let the AI configure it · recommended for beginners
No copy-paste install info for "io.github.sandraschi/leanforge-mcp" yet — see the docs or source repo.