LLM Prover MCP Server

by pysolvr Your server? Claim it

answering

LLM Prover is answering right now. Last checked 14 min ago.

Evaluate agent workflows and LLMs on your own data: find wasted steps, pick models, catch drift.

Uptime history 17 hours of history

17 hours agonow

100.0%

Uptime 24h

62 of 62 checks

—

Tools

hidden behind auth

1027 ms

Response time

average over 24h

open, no key

Access

streamable-http

Nothing serious here today

Today is the operative word: we check LLM Prover every 15 minutes and re-read its code on every release. Watch it and you find out the day that stops being true.

Connect this server

Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 14 min ago.

Claude Code Claude Desktop Codex Cursor VS Code

run in your terminal

claude mcp add llmprover --transport http https://mcp.llmprover.pysolvr.com/mcp

Settings → Connectors → Add custom connector, then paste this address

https://mcp.llmprover.pysolvr.com/mcp

~/.codex/config.toml

[mcp_servers.llmprover]
url = "https://mcp.llmprover.pysolvr.com/mcp"

.cursor/mcp.json

{
  "mcpServers": {
    "llmprover": {
      "url": "https://mcp.llmprover.pysolvr.com/mcp"
    }
  }
}

.vscode/mcp.json

{
  "servers": {
    "llmprover": {
      "type": "http",
      "url": "https://mcp.llmprover.pysolvr.com/mcp"
    }
  }
}

Endpoints

URL	Transport	State	Latency	Checked
https://mcp.llmprover.pysolvr.com/mcp	streamable-http	answering	503 ms	14 min ago

Alternatives to LLM Prover

same job, measured the same way

Flowra

by flowradev

MCP server for your apps' tools and custom tools, plus hosted AI agents and approval-gated workflows

answering

Wiro AI

by wiro

Run Wiro AI models, build and run workflows, and talk to Studio and your Wiro agents.

1 213 installs/wk answering

MCP Email Waterfall Orchestrator

by mambabuilt

Finds and verifies work emails on your own provider keys, with real per-provider spend.

236 installs/wk local only

Clarx

by clarx

Score agent manifests, generate CI workflows, and pull Clarx scan findings into your IDE.

234 installs/wk local only

PatchX Freenote Agent

by zsts119

PatchX Freenote MCP: summaries, memories, model results and user-approved webhook workflows.

362 installs/wk local only

yutu

by eat-pray-ai

CLI, MCP server, and AI agent to automate YouTube workflows

180 installs/wk local only

Sitalk

by david-glitc

Find people with real experience. Bring their approved workflows and decisions into your agent.

answering

Moira

by moira-mcp

Agent Workflow Engine — multi-step MCP workflows with per-step directives and validation.

local only

LLM Prover — questions

Answers built from our own checks of this server.

Is LLM Prover working right now?

We send a real MCP handshake every 15 minutes. Over the last 24 hours 62 of 62 checks got a reply (100.0%), average response time 1027 ms. The bar chart above shows every period we have measured.

How do I connect LLM Prover?

Copy the ready config from this page. We generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each in the form that client actually reads. It is a remote server, so there is nothing to install — the client connects to the address.

Does LLM Prover need an API key?

No. LLM Prover completed a full MCP handshake with us as an anonymous client and listed its tools without asking for anything. This is what we observed, not what the docs claim.

How fast is LLM Prover?

It answers our handshake in 1027 ms on average, which is faster than 5% of all working MCP servers we measure. That is on the slow side — worth knowing if the tool sits inside an interactive loop. The comparison comes from our own checks across the whole registry, every 15 minutes.