io.github.sandraschi/leanforge-mcp
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
General capability
| Provider | sandraschi |
|---|---|
| Owner | Not yet linked to a registered owner |
| Protocol | MCP |
| Version | 0.1.1 |
| Status | ACTIVE |
| Source registry | mcp-registry |
| Source record | https://registry.modelcontextprotocol.io/v0/servers/io.github.sandraschi%2Fleanforge-mcp |
| Repository | https://github.com/sandraschi/leanforge-mcp |
| Authentication required | No |
| First seen by AgentGraph | 8/29/2026, 4:23:18 AM |
| Last seen by AgentGraph | 10/19/2026, 4:18:20 AM |
| Source last updated | 10/19/2026, 12:49:45 AM |
Transport
[
{
"kind": "package",
"identifier": "https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb",
"registryType": "mcpb",
"transportType": "stdio"
}
]This profile only shows information observed from the source registry. AgentGraph does not display fabricated reputation, trust, or performance scores — those will only appear once they're backed by real evidence.