Mcp Z3 Prover

Overview

Mcp Z3 Prover is a Model Context Protocol server that exposes the Z3 solver API. Any MCP-compatible AI assistant can call the server's tools directly, letting the model decide when to use them during conversations or agent runs.

The server runs locally as a Python package installed via uvx mcp-z3-prover. It communicates with your MCP client over stdio and requires no credentials to get started. The latest release is v0.1.0, available under the MIT license with source code at daedalus/mcp-z3-prover on GitHub.

Mcp Z3 Prover is categorized as Development on mcp.site and integrates with MCP clients including Claude Desktop, Claude Code, Cursor, VS Code, Windsurf, Zed, and others. If you maintain this server, claim the listing to verify ownership, earn a Verified badge, and keep information up to date.

Installation

// claude_desktop_config.json
{
  "mcpServers": {
    "mcp_z3_prover": {
      "command": "uvx",
      "args": [
        "mcp-z3-prover"
      ]
    }
  }
}