prover mcp

glama:d3lta02/prover-mcp

Metadata-only Glama MCP server.

Uptime

100.0%

9 probes

Response

0ms

last probe

Tools

callable

Primary URL

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "prover_mcp": {
      "url": "https://glama.ai/mcp/servers/d3lta02/prover-mcp",
      "transport": "http"
    }
  }
}