mcp-z3-prover

About mcp-z3-prover

Use mcp-z3-prover with your agent

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

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

Frequently asked questions

What is mcp-z3-prover?

mcp-z3-prover is an MCP (Model Context Protocol) server by daedalus. MCP server exposing Z3 solver API

How do I connect mcp-z3-prover to Claude, Cursor, or another MCP client?

Install mcp-z3-prover from its pypi package (mcp-z3-prover) and register it under "mcpServers" in your client's MCP configuration — for example claude_desktop_config.json or Cursor's mcp.json — then restart the client.

Is mcp-z3-prover open source?

Yes — the source code is public at github.com/daedalus/mcp-z3-prover.

Can AI agents pay to use mcp-z3-prover?

Not yet through Loomal — mcp-z3-prover is listed as a free directory entry. If its maintainer verifies ownership, they can set per-call USDC pricing that agents pay over x402, with settlement on Base.