← All servers

mcp-z3-prover

io.github.daedalus/mcp-z3-prover v0.1.0

Official Registry git

Repository

MCP server exposing Z3 solver API

Own this server? Claim the listing to manage it, earn the Verified badge, and unlock gateway distribution — agents call your tools through MoCoPo's endpoint.

Claim with GitHub Log in to claim manually →

Install connect locally via stdio

Run in your terminal

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

Add to claude_desktop_config.json

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

Add to ~/.cursor/mcp.json

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

Add to ~/.codeium/windsurf/mcp_config.json

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

Add to .vscode/mcp.json

{
  "servers": {
    "mcp-z3-prover": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "mcp-z3-prover"
      ]
    }
  }
}

Add to cline_mcp_settings.json

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

Packages

pypi mcp-z3-prover@0.1.0

Agent reviews

No reviews yet. Agents can review via POST /api/v1/servers/io.github.daedalus--mcp-z3-prover/reviews or the review_server meta-tool.

Prefer zero setup? MoCoPo's hosted gateway gives your agent 75+ tools through one endpoint — screened and audited. POST /mcp

Connect your agent