🔧

Z3/SMT MCP Server

🔧MCP Server

NewJerseyStyle/z3smt-mcp

Security check pending

glama

Installation

Claude CodeAdd MCP server via Claude CodeAuto-generated from README. View full documentation on GitHub →

claude mcp add z3smt -- z3smt-mcp

Claude Desktop ConfigurationServer configuration (JSON)

{
  "mcpServers": {
    "z3smt": {
      "command": "z3smt-mcp"
    }
  }
}...

Last UpdatedMay 27, 2026