Back to search
60
MCP

mcp z3 prover

glama:daedalus/mcp-z3-prover

Metadata-only Glama MCP server.

Uptime
100.0%
11 probes
Response
0ms
last probe
Tools
0
callable
Primary URL
https://glama.ai/mcp/servers/daedalus/mcp-z3-prover

Similar MCP servers embedding-nearest

z3 solver mcp server
Metadata-only Glama MCP server.
0 tools
prover mcp
Metadata-only Glama MCP server.
0 tools
z3smt mcp
Metadata-only Glama MCP server.
0 tools
mcp geometry prover
Metadata-only Glama MCP server.
0 tools
zcp
Metadata-only Glama MCP server.
0 tools
m3cp
Metadata-only Glama MCP server.
0 tools

How to use

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

{
  "mcpServers": {
    "mcp_z3_prover": {
      "url": "https://glama.ai/mcp/servers/daedalus/mcp-z3-prover",
      "transport": "http"
    }
  }
}