Back to directory
szeider/mcp-solver

szeider/mcp-solver

@szeider

A Model Context Protocol (MCP) server for constraint optimization and solving

mcpsolverconstraintoptimizationsatsmtaspminizincz3tool

Installation & Configuration

{
  "mcpServers": {
    "mcp-solver": {
      "command": "uvx",
      "args": [
        "mcp-solver"
      ]
    }
  }
}

Information

Transport
stdio
Language
Python
Created
2026/6/12
Updated
2026/6/13