MCP Solver

Name: MCP Solver
Author: szeider

szeider

Constraint optimization and solving over MCP: write, run and validate SAT, MaxSAT, SMT, CP and ASP models.

接入配置

选择客户端，复制配置，再按项目文档补齐环境变量。

claude mcp add solver -- uv venv

~/.codex/config.toml

[mcp_servers.solver]
command = "uv"
args = ["venv"]

# codex mcp add solver -- uv venv

~/.cursor/mcp.json

{
  "mcpServers": {
    "solver": {
      "command": "uv",
      "args": [
        "venv"
      ]
    }
  }
}

.vscode/mcp.json

{
  "servers": {
    "solver": {
      "type": "stdio",
      "command": "uv",
      "args": [
        "venv"
      ]
    }
  }
}

~/.gemini/settings.json

{
  "mcpServers": {
    "solver": {
      "command": "uv",
      "args": [
        "venv"
      ]
    }
  }
}

claude_desktop_config.json

{
  "mcpServers": {
    "solver": {
      "command": "uv",
      "args": [
        "venv"
      ]
    }
  }
}

.trae/mcp.json

{
  "mcpServers": {
    "solver": {
      "command": "uv",
      "args": [
        "venv"
      ]
    }
  }
}