mcpbeat

MCP Z3 Prover MCP Server

io.github.daedalus/mcp-z3-prover
local only

MCP Z3 Prover runs on your own machine — the client starts it, so there is no endpoint to ping. 47 installs a week from pypi. Last commit 22 Apr 2026.

MCP server exposing Z3 solver API

Installs per day peak 29 · avg 8 · +2% w/w
a month agotoday
47
Installs / week
pypi · mcp-z3-prover
1
Stars
0 open issues
22 Apr 2026
Last commit
0 releases in 90 days
MIT
License
Python

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.

run in your terminal
claude mcp add mcp-z3-prover -- uvx mcp-z3-prover
~/Library/Application Support/Claude/claude_desktop_config.json
{
  "mcpServers": {
    "mcp-z3-prover": {
      "args": [
        "mcp-z3-prover"
      ],
      "command": "uvx"
    }
  }
}
~/.codex/config.toml
[mcp_servers.mcp-z3-prover]
command = "uvx"
args = ["mcp-z3-prover"]
.cursor/mcp.json
{
  "mcpServers": {
    "mcp-z3-prover": {
      "args": [
        "mcp-z3-prover"
      ],
      "command": "uvx"
    }
  }
}
.vscode/mcp.json
{
  "mcpServers": {
    "mcp-z3-prover": {
      "args": [
        "mcp-z3-prover"
      ],
      "command": "uvx"
    }
  }
}

MCP Z3 Prover — questions

Answers built from our own checks of this server.

Why is there no uptime for MCP Z3 Prover?
MCP Z3 Prover runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone. What can be measured is adoption: the pypi package mcp-z3-prover was installed 47 times last week.
How do I connect MCP Z3 Prover?
Copy the ready config from this page — we generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each with the file path that client actually reads. It runs locally, so the command pulls mcp-z3-prover straight from pypi; nothing to host, nothing to sign up for.
How many people use MCP Z3 Prover?
The pypi package mcp-z3-prover was installed 47 times in the last week. Week over week that is +2%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.
Is MCP Z3 Prover open source?
Yes — it is published under the MIT licence, written in Python and 1 stars on GitHub. The source link is on this page, so you can read exactly what it does with your data before you connect it.