com.pysolvr/llmprover
LLM Prover
Is the LLM Prover MCP server down? Yes. It has given no valid answer since 2026-11-10: not MCP (HTTP 200).
LLM evaluation: compare models on cost and quality, score outputs, run benchmarks, analyse agents.
not MCP down since 2026-11-10 · probed 2026-11-15 · unchanged since 2026-11-12 · HTTP 200
Streamable HTTP error: Error POSTing to endpoint: {"jsonrpc": "2.0", "error": {"code": -32001, "message": "Missing Authorization header"}, "id": null}- Endpoint
- https://mcp.llmprover.pysolvr.com/mcp (streamable-http)
- Host
- mcp.llmprover.pysolvr.com
- Website
- https://llmprover.pysolvr.com
- Registry
- active, updated 2026-11-12 · registry entry
Compare this server with others.
More servers
Servers that mention prover.
- com.axiomatic-ai/prover · needs auth
- io.github.daedalus/mcp-z3-prover · alive
- Odile Gate com.odilelabs/gate · alive
- io.github.sandraschi/leanforge-mcp · crashed on start
- AtpMcp io.github.jcschuster/atp_mcp · error
- io.github.mrfentmen/rocq-prover-mcp · alive
- Akan Proverbs ai.kwekuanansi/akan-proverbs · alive
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.
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-11-10, in every probe since then.
- The endpoint answers HTTP 200, but not with a valid MCP initialize result. Common causes: the URL is a web page or a REST API and not the MCP endpoint, the server answers a JSON-RPC error on initialize, or the response is HTML.
Fixed something? Probe it now, with the same steps as the daily run. This page updates with the next daily run.