yuwakisa-z3solver-mcp

MCP server providing Z3 SMT solver capabilities

Installation

MCP client config (paste into mcp.json)

{
  "mcpServers": {
    "roby2358-mcp-wrappers-z3solver": {
      "command": "npx",
      "args": [
        "-y",
        "yuwakisa-z3solver-mcp"
      ]
    }
  }
}

Agent install prompt

Copy and paste into Cursor / Claude / other agents to install this MCP for you

Please read this MCP repository and install it into my current environment:
https://github.com/roby2358/mcp-wrappers/tree/main/z3solver

Known working client config (can write into mcp.json):
{
  "mcpServers": {
    "roby2358-mcp-wrappers-z3solver": {
      "command": "npx",
      "args": [
        "-y",
        "yuwakisa-z3solver-mcp"
      ]
    }
  }
}

Please: 1) check README for deps and env vars; 2) write config for my client; 3) if secrets are missing, tell me what to fill — do not invent values.

GitHub

Related servers