SERVER

MCP Z3 Prover

Rank #36,525

io.github.daedalus/mcp-z3-prover

MCP server providing z3-prover capabilities

1 version
1 GitHub stars
by daedalus (53 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 #36,525 of 76,851 servers tracked on MCP Toplist, and its repository has 1 GitHub stars. 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
#36,525of 76,851 tracked serversTop 50%

Ranks ahead of 40,326 of 76,851 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 1 registry (2 delisted)

Official MCP
PulseMCPDelisted · last seen Jun 4, 2026
GlamaDelisted · last seen Jun 4, 2026
ORGANIZATION

daedalus

Organization
daedalus
Servers in org
53
Versions across org
73
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

Who maintains MCP Z3 Prover?
MCP Z3 Prover is maintained by daedalus, which publishes 53 MCP servers (73 total versions) tracked on MCP Toplist.
Is MCP Z3 Prover listed on the Official MCP Registry?
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 MCP ServersBest MCP ServersMost Active MCP ServersNew MCP Servers
MCP Z3 Prover - MCP Server #36,525 | MCP Toplist