Back to search
60
MCP

z3 solver mcp server

glama:dsouflis/z3-solver-mcp-server

Metadata-only Glama MCP server.

Uptime
100.0%
10 probes
Response
0ms
last probe
Tools
0
callable
Primary URL
https://glama.ai/mcp/servers/dsouflis/z3-solver-mcp-server

Similar MCP servers embedding-nearest

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

How to use

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

{
  "mcpServers": {
    "z3_solver_mcp_server": {
      "url": "https://glama.ai/mcp/servers/dsouflis/z3-solver-mcp-server",
      "transport": "http"
    }
  }
}