Back to directory
mcp-solver

mcp-solver

@szeider161

A Model Context Protocol (MCP) server that exposes SAT, SMT and constraint solving capabilities to Large Language Models

constraint-solvingsatsmtminizincz3pysatcontext

Installation & Configuration

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

Information

Transport
stdio
Language
Python
Created
2024/12/14
Updated
2026/6/8