MCP Z3 Prover

What you can do with MCP Z3 Prover

MCP Z3 Prover is a Model Context Protocol (MCP) server published by daedalus. It ranks #64,521 of 144,396 active servers 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.

What MCP Z3 Prover can and cannot do

Not verifiedMCP Toplist has not catalogued this server's tools or limitations. The repository README lists them.

What you need before using MCP Z3 Prover

No runtime, credential or payment requirements are recorded for this server beyond the declaration above.

Connect MCP Z3 Prover and confirm it works

claude mcp add mcp-z3-prover -- uvx mcp-z3-prover

[mcp_servers.mcp-z3-prover]
command = "uvx"
args = ["mcp-z3-prover"]

{
  "mcpServers": {
    "mcp-z3-prover": {
      "command": "uvx",
      "args": [
        "mcp-z3-prover"
      ]
    }
  }
}

{
  "mcpServers": {
    "mcp-z3-prover": {
      "command": "uvx",
      "args": [
        "mcp-z3-prover"
      ]
    }
  }
}

{
  "servers": {
    "mcp-z3-prover": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "mcp-z3-prover"
      ]
    }
  }
}

{
  "mcpServers": {
    "mcp-z3-prover": {
      "command": "uvx",
      "args": [
        "mcp-z3-prover"
      ]
    }
  }
}

{
  "mcpServers": {
    "mcp-z3-prover": {
      "command": "uvx",
      "args": [
        "mcp-z3-prover"
      ]
    }
  }
}

When to choose another server

• Mcp_Reverse_Engineering#45,698
• MCP External Memory#49,168
• MCP Rfc Editor#49,169
• MCP Smart Proxy#49,170
• mcp-hashlib#50,210
• mcp-sigrok#51,268
• MCP Ecdsa#55,338
• MCP Exa#55,339
• MCP Rpn#55,340
• MCP Sqlite3#55,341
• mcp-server-nmap#56,317
• MCP Cryptography#56,468

No task-specific alternatives are catalogued for MCP Z3 Proveryet; the list above is its publisher's other servers.

What changed, and when this was checked

First listed

Mar 27, 2026

Latest version published

Mar 28, 2026

Version history

1 version tracked (below)

Requirements evidence

Declared by Glama, last synced Oct 16, 2026. Not independently verified by MCP Toplist.

Profile checked

Not yet — purpose, capabilities and requirements above come from registry data only

Ranking data as of

Oct 16, 2026

Do you maintain MCP Z3 Prover? Claim it to correct or enrich this profile.

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

[![MCP Toplist](https://mcptoplist.com/badge/io.github.daedalus%2Fmcp-z3-prover.svg)](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 144,396" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.