MCP Z3 Prover MCP Server

What the code does

We read the source, 6 min ago · rules 3dff92dd89df

What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.

    result = eval(expr, {"__builtins__": {}}, local_vars)

Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.

Connect this server

This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.

claude mcp add mcp-z3-prover -- uvx mcp-z3-prover

{
  "mcpServers": {
    "mcp-z3-prover": {
      "args": [
        "mcp-z3-prover"
      ],
      "command": "uvx"
    }
  }
}

[mcp_servers.mcp-z3-prover]
command = "uvx"
args = ["mcp-z3-prover"]

{
  "mcpServers": {
    "mcp-z3-prover": {
      "args": [
        "mcp-z3-prover"
      ],
      "command": "uvx"
    }
  }
}

{
  "mcpServers": {
    "mcp-z3-prover": {
      "args": [
        "mcp-z3-prover"
      ],
      "command": "uvx"
    }
  }
}