MCP Z3 Prover
Rank #52,266io.github.daedalus/mcp-z3-prover
MCP server providing z3-prover capabilities
MCP Z3 Prover is a Model Context Protocol (MCP) server published by daedalus. It ranks #52,266 of 115,460 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.
Ranks ahead of 63,194 of 115,460 servers on MCP Toplist.
Use MCP Z3 Prover
No credentials or required configuration declared — add it to your MCP client and go.
claude mcp add mcp-z3-prover -- uvx mcp-z3-prover[mcp_servers.mcp-z3-prover]
command = "uvx"
args = ["mcp-z3-prover"]Add to ~/.codex/config.toml.
{
"mcpServers": {
"mcp-z3-prover": {
"command": "uvx",
"args": [
"mcp-z3-prover"
]
}
}
}Add to claude_desktop_config.json (Settings → Developer → Edit Config).
{
"mcpServers": {
"mcp-z3-prover": {
"command": "uvx",
"args": [
"mcp-z3-prover"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project).
{
"servers": {
"mcp-z3-prover": {
"type": "stdio",
"command": "uvx",
"args": [
"mcp-z3-prover"
]
}
}
}Save as .vscode/mcp.json in your workspace.
{
"mcpServers": {
"mcp-z3-prover": {
"command": "uvx",
"args": [
"mcp-z3-prover"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
{
"mcpServers": {
"mcp-z3-prover": {
"command": "uvx",
"args": [
"mcp-z3-prover"
]
}
}
}Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/io.github.daedalus%2Fmcp-z3-prover)<a href="https://mcptoplist.com/server/io.github.daedalus%2Fmcp-z3-prover"><img src="https://mcptoplist.com/badge/io.github.daedalus%2Fmcp-z3-prover.svg" alt="MCP Toplist: Top 50% of 115,460" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry (2 delisted)
daedalus
Other servers by daedalus
- mcp-sparql#31,108 · 1 ver
- Mcp_Reverse_Engineering#35,455 · 4 vers
- MCP External Memory#39,084 · 3 vers
- MCP Rfc Editor#39,085 · 3 vers
- MCP Smart Proxy#39,086 · 3 vers
- mcp-hashlib#39,684 · 3 vers
- mcp-sigrok#40,831 · 1 ver
- MCP Ecdsa#43,510 · 2 vers
- MCP Exa#43,511 · 2 vers
- MCP Rpn#43,512 · 2 vers
- MCP Sqlite3#43,513 · 2 vers
- mcp-server-nmap#45,279 · 2 vers
Available versions (1)
| Version | Published |
|---|---|
| 0.1.0 | Mar 28, 2026 |
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.