Lean theorem prover MCP: automated proof search, mathlib integration, job management
Python Updated 2 days ago 1 commits 3 stars
nexus-bot|Mirror: sandraschi/leanforge-mcp (⭐3)
2 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Lean theorem prover MCP: automated proof search, mathlib integration, job management
Readme
3 stars