LLM Prover

{
  "_meta": {
    "io.modelcontextprotocol.registry/official": {
      "status": "active",
      "isLatest": true,
      "updatedAt": "2026-11-09T13:17:53.015675Z",
      "publishedAt": "2026-11-09T13:17:53.015675Z",
      "statusChangedAt": "2026-11-09T13:17:53.015675Z"
    }
  },
  "server": {
    "name": "com.pysolvr/llmprover",
    "icons": [
      {
        "src": "https://llmprover.pysolvr.com/brand/llmprover-logo-light-400.png",
        "sizes": [
          "400x400"
        ],
        "theme": "light",
        "mimeType": "image/png"
      },
      {
        "src": "https://llmprover.pysolvr.com/brand/llmprover-logo-dark-400.png",
        "sizes": [
          "400x400"
        ],
        "theme": "dark",
        "mimeType": "image/png"
      }
    ],
    "title": "LLM Prover",
    "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
    "remotes": [
      {
        "url": "https://mcp.llmprover.pysolvr.com/mcp",
        "type": "streamable-http"
      }
    ],
    "version": "1.0.0",
    "websiteUrl": "https://llmprover.pysolvr.com",
    "description": "Evaluate agent workflows and LLMs on your own data: find wasted steps, pick models, catch drift."
  }
}