How do I install mcp-z3-prover?

Pick a client above and copy the generated config. Cursor and VS Code also have a deep link when the server can run locally or remotely.

Is mcp-z3-prover official?

No. Registry-listed is not the same as vendor-official. Read the methodology for the difference.

This listing scores 37 (Limited). The formula is published on the methodology page.

mcp-z3-prover MCP Server | MCPpedia

Name: mcp-z3-prover MCP Server
Author: daedalus

MCP server exposing Z3 solver API

37Limited

~/Library/Application Support/Claude/claude_desktop_config.json

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

This server does not declare environment variables.

83Excellent

Parse Korean documents (HWP, HWPX, PDF, XLSX, DOCX, PPTX) to Markdown; fill forms, diff, render.

Registrychrisryugj2.5K stars44.2K/wk

75Good

Google PageSpeed Insights and CrUX: six workflow tools for web performance.