mcp-registry/io.github.sandraschi/leanforge-mcp
As of —, the Sandraschi Leanforge MCP server is unknown.
MCP server for AI-driven formal proof search in Lean 4
No hosted endpoint — run locally over stdio from the mcpb package `https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb`.
Compare: most reliable devops servers · most reliable search servers · most reliable other servers
Glimind tells agents whether a server is up right now and how to call it, then fails over to a live alternative when it isn't.
Claude Code
claude mcp add --transport http glimind https://glimind.com/mcp
Claude Desktop · Windsurf · Cline (mcpServers JSON)
{
"mcpServers": {
"glimind": {
"type": "http",
"url": "https://glimind.com/mcp"
}
}
}
As of —, the Sandraschi Leanforge MCP server is unknown.
Sandraschi Leanforge MCP server advertises 8 tools, including cancel_job, get_mathlib_search, get_proof_status, list_attempts, list_jobs.
No hosted endpoint — run locally over stdio from the mcpb package `https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb`.
Claim this listing to get the Verified operator marker, a remediation checklist and owner analytics, or embed the live badge from any of the tool pages above.
Status is an automated estimate from Glimind's liveness checks (handshake and tool listing only; no tool is ever called) and may lag or differ from your network. Glimind is not affiliated with this server or its operator. Operator? Request a correction or opt out at https://glimind.com/opt-out.