🔧

z3-solver-mcp-server

🔧MCP Server

dsouflis/z3-solver-mcp-server

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)

json

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

glama

Last UpdatedJun 10, 2025