🔧

z3-solver-mcp-server

🔧MCP Server

dsouflis/z3-solver-mcp-server

Security check pending

glama

Installation

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

claude mcp add z3-solver -- uv --directory /path/to/z3-mcp-server run main.py

Claude Desktop ConfigurationServer configuration (JSON)

{
  "mcpServers": {
    "z3-solver": {
      "command": "uv",
      "args": ["--...

Last UpdatedMay 27, 2026