Official MCP RegistryListed
io.github.sandraschi/leanforge-mcp
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
First seen 2 Oct 2026. Evidence as of 19 Oct 2026.
-
Tools
No tool list captured yet
1
Source listings
Each with its own history
1
Recorded changes
Since first seen
Tools
No tool list captured yet.
Change history
- Description changed (registry)
| Source | Listing | First seen | Last seen | Versions |
|---|---|---|---|---|
| Official MCP Registry | io.github.sandraschi/leanforge-mcp | 2 Oct 2026 | 19 Oct 2026 | 2 |