getmcpbeta

Servers Guides Docs GitHub (opens in new tab)

Loading MCP server directory, please wait...

getmcp — One config format, every AI app.

Servers Guides Docs GitHub (opens in new tab)

Servers
/
Mcp Z3 Prover

Mcp Z3 Prover

Name: Mcp Z3 Prover MCP Server
Author: daedalus

stdio

MCP server exposing Z3 solver API

Getting Started

npx @getmcp/cli add io.github.daedalus/mcp-z3-prover

Requires Python 3.10+. Community-contributed server. Review source before installing.

Claude Desktop guide →Vscode guide →Cursor guide →Windsurf guide →

Configuration

Config file: ~/Library/Application Support/Claude/claude_desktop_config.json

JSON

{
  "mcpServers": {
    "io.github.daedalus/mcp-z3-prover": {
      "command": "uvx",
      "args": [
        "mcp-z3-prover"
      ]
    }
  }
}

Claude Desktop MCP documentation (opens in new tab)

Downloads/week

104

Authordaedalus

Version0.1.0

LicenseMIT

Runtimepython

LanguagePython

Packagemcp-z3-prover

TransportStdio

Updated1d ago

github.com (opens in new tab)

Servers
/
Mcp Z3 Prover