io.github.sandraschi/leanforge-mcp

Is the io.github.sandraschi/leanforge-mcp MCP server down? Yes. It has given no valid answer since 2026-10-31: crashed on start.

Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management

crashed on start down since 2026-10-31 · probed 2026-11-14 · unchanged since 2026-11-07

MCP error -32000: Connection closed
Using CPython 3.13.18
Creating virtual environment at: .venv
error: failed to create directory `/work/bundle/.venv`: Read-on

Bundle: https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb (MCPB, for a client that installs bundles; probed in a container with the network off)
Host: github.com
Repository: https://github.com/sandraschi/leanforge-mcp
Registry: active, updated 2026-10-19 · registry entry

Compare this server with others.

More servers

Other registry entries on github.com, the ones next to this name; all of them.

Gitsu io.github.sahildave/gitsu · crashed on start
io.github.saidutt46/domain-check · alive
io.github.sandraschi/godot-mcp · needs env
io.github.sandraschi/grandorgue-mcp · needs env
io.github.sandraschi/mixx-dj-mcp · needs env
io.github.sandraschi/overte-mcp · needs env
io.github.sandraschi/qcad-mcp · install failed
io.github.sandraschi/resonite-mcp · needs env

Servers that mention management or automated.

Teamwork ai.b77/teamwork · needs auth
Cirra AI Salesforce Admin MCP Server ai.cirra/salesforce-mcp · needs auth
Contabo (VPS) MCP Server ai.com.mcp/contabo · alive
Contio MeetingOS ai.contio/meetingos · needs auth
Tailscale RMCP ai.dinglebear/rtailscale · needs auth
Divinci AI ai.divinci/divinci · needs auth
Masaro ai.masaro/masaro · not found
Opinly ai.opinly/opinly · needs auth

Badge for the README

The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.

Atom feed

A mail when this server changes

Stops answering, comes back, tool set or cost changes. One confirmation mail first, a stop link in every mail.

For the publisher

No valid answer since 2026-10-31, in every probe since then.
The process exited on start before it answered initialize. The error output is above.