Back to search
30
MCP

Z3 Prover

pulsemcp/z3 prover

Exposes the Z3 theorem prover for constraint solving, satisfiability checking, and optimization with support for Boolean, integer, and real variable types.

Uptime
0.0%
1 probes
Response
0ms
last probe
Tools
0
callable
Primary URL
—

Similar MCP servers embedding-nearest

io.github.daedalus/mcp-z3-prover
MCP server exposing Z3 solver API
0 tools
iflow-mcp_z3
Z3 Theorem Prover MCP Server
0 tools
ZKProof
Enables privacy-preserving computations with zero-knowledge proofs for verifying claims like age requirements without revealing sensitive pe
0 tools
mcp z3 prover
Metadata-only Glama MCP server.
0 tools
NumProof
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
0 tools · streamable-http
xProof
Proof primitive for AI agents on MultiversX. Anchor file hashes on-chain as verifiable proofs.
0 tools · streamable-http

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "z3_prover": {
      "url": "None",
      "transport": "http"
    }
  }
}