lookupd

io.github.daedalus/mcp-z3-prover

not probeable (local package)

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided description

MCP server exposing Z3 solver API

Summary by lookupd

Lets an agent formulate and solve constraint and satisfiability problems through the Z3 theorem prover API.

Install

Claude Code, pypi package (stdio)

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

Codex, pypi package (stdio)

codex mcp add z3-prover -- uvx mcp-z3-prover

Cursor, pypi package (stdio) → .cursor/mcp.json

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

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Details

Badge for your README

Shows this live status and links here; updates hourly.

lookupd status badge for io.github.daedalus/mcp-z3-prover

[![lookupd status](https://lookupd.com/badge/io.github.daedalus/mcp-z3-prover.svg)](https://lookupd.com/servers/io.github.daedalus/mcp-z3-prover)