MCP server

Z3 Prover

io.github.daedalus/mcp-z3-prover

Checked 26 Oct 2026, 08:31 UTC · Still published on its registry; checked against OSV.dev; never run by us

MCP server exposing Z3 solver API

Runs on your computer

Source

At a glance

Type: MCP server
Publisher: Not verified
Status: Runs on your computer
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
Last checked: 26 Oct 2026, 08:31 UTC

Connect it to your agent

Add to Cursor Add to VS Code VS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add mcp-z3-prover -- uvx mcp-z3-prover@0.1.0

Claude Desktop

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

Codex (config.toml)

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

Gemini CLI

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

Cursor

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

VS Code

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

Runs on your computer with your permissions: check the package and its source before installing.

Browse

Related MCP servers

Affine.Earth Math Court
No-float UUM-8D Math Court. Integer courts and certified MCP. Floats refused.
SODAX Builders MCP
Cross-network DeFi API data, AMM analytics, and SDK docs for 17+ networks.
K402
Agent-payable APIs on Kaspa: LLMs, chain data, covenants, zk proofs — pay per call, no API key
Agent Hive Orchestrator
Deterministic nested hive-mind orchestration over the A2A rails: hire N solvers, adversarial cross-r
SQLGuard — Execution Certificate Firewall
Permission before writes. Gravity→DENYs→Session $0.25. Pilot $100; Gateway $299. Probe free.
TheProtocol — Sovereign AI Agent Platform
Sovereign AI agent economy: identity, payments, governance, exchanges. 400+ tools, ?mode=gateway.
Fantasy Solvers – Balatro Lab
Supported Balatro scoring and exact small-deck play/discard analysis with verified explanations.
Zero-Trust Physics
A physics verifier for Super Intelligence. Every answer comes with a cryptographic proof.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.daedalus/mcp-z3-prover.svg)](https://aptlynx.net/servers/io.github.daedalus/mcp-z3-prover)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents