SERVER

MCP Z3 Prover

Rank #22519

io.github.daedalus/mcp-z3-prover

MCP server providing z3-prover capabilities

1 version
by daedalus (51 servers)View repository ↗
First listed
Mar 27, 2026
Last publish date
Mar 28, 2026
OVERVIEW

MCP Z3 Prover is a Model Context Protocol (MCP) server published by daedalus. It ranks #22519 of 58,832 servers tracked on MCP Toplist. MCP Z3 Prover is listed across 3 registries — Official MCP, PulseMCP and Glama, with 1 tracked version. It was first listed on Mar 27, 2026 and most recently updated on Mar 28, 2026.

STANDING
#22,519of 58,832 tracked serversTop 50%

Ranks ahead of 36,313 of 58,832 servers on MCP Toplist.

CONNECT

Use MCP Z3 Prover

Add MCP Z3 Prover to any MCP client (Claude, Cursor, VS Code, …) with one of the configs below.

Python package (PyPI)
{
  "mcpServers": {
    "mcp-z3-prover": {
      "command": "uvx",
      "args": [
        "mcp-z3-prover"
      ]
    }
  }
}
REGISTRIES

Listed on 3 registries

Official MCP
PulseMCP
Glama
ORGANIZATION

daedalus

Organization
daedalus
Total servers
51
Total versions
68
MORE FROM THIS PUBLISHER

Other servers by daedalus

View all daedalus servers →
VERSIONS

Available versions (1)

VersionPublished
0.1.0Mar 28, 2026
FAQ

Frequently asked questions

What is MCP Z3 Prover?
MCP server providing z3-prover capabilities
Who maintains MCP Z3 Prover?
MCP Z3 Prover is maintained by daedalus, which publishes 51 MCP servers (68 total versions) tracked on MCP Toplist.
Is MCP Z3 Prover an official MCP server?
Yes — MCP Z3 Prover is listed on the Official MCP Registry, alongside PulseMCP and Glama.
How many versions does MCP Z3 Prover have?
MCP Toplist tracks 1 version of MCP Z3 Prover, most recently published on Mar 28, 2026.
Where can I find the source code for MCP Z3 Prover?
The source code for MCP Z3 Prover is hosted at github.com/daedalus/mcp-z3-prover.
EXPLORE
All MCP serversOfficial MCP serversGitHub-hosted serversBest MCP serversMost active serversNewly added servers
MCP Z3 Prover - MCP Server #22519 | MCP Toplist