Back to directory
szeider/mcp-solver

szeider/mcp-solver

@szeider1822382

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
2024/12/14
Updated
2026/8/4