mcp-z3-prover

Setup snippets

Generated from the registry entry. cosmic-mcp has not run or reviewed this server; values in angle brackets are yours to fill in.

Run it locally (pypi)

uvx 'mcp-z3-prover==0.1.0'

Claude Desktop (claude_desktop_config.json)

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

Claude Code

claude mcp add 'mcp-z3-prover' -- uvx 'mcp-z3-prover==0.1.0'

Cursor (.cursor/mcp.json)

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

VS Code (.vscode/mcp.json)

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

Related servers

• Atako Verified domain
  Remote MCP server to run your Atako AI agents: chat, projects, files, integrations and channels.
• AwrAIter — Telegram channels Verified domain
  Telegram channels you administer: analytics, content plans, scheduled publishing. No userbot
• 01Mind Verified domain
  A machine-to-machine agent superstore -- paid API services for autonomous agents via x402 on Base.
• 0xArchive Market Data Verified domain
  Hyperliquid and Lighter market data: order books, trades, candles, funding, OI, and webhooks
• 10ML Perfume Finder Verified domain
  Free perfume MCP server and fragrance API: 6,000+ perfumes, note pyramids, accords, similar scents.
• 17NAS Network Tools Verified domain
  Free network diagnostic tools: IP info, DNS lookup, IPv6 check. No API key.