MCP MeasureMCP Measure

index observed

mcp-z3-prover

MCP server exposing Z3 solver API

Install

One-Click Install

Add this to your `claude_desktop_config.json` file:

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

Runnable packages

pypimcp-z3-prover0.1.0stdio

What it can do

Tool inventory

No publishable tool enumeration has been recorded.

Community

Rate this Server

Evidence

Recent observations

This server has Registry metadata but no public verification run yet.