SSyncDev

MCP Solver MCP Server

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

Local serverstdioPython

What is the MCP Solver MCP Server?

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

What it actually does

An MCP server for constraint solving (SAT, MaxSAT, SMT, CP, ASP, DP). It turns the connected LLM host into a solver-writing agent: the host gets a Python kernel preloaded with a real solver library, modeling instructions for the chosen backend, and a submission gate. The host encodes the problem, runs and verifies it against the real solver, and submits the final program — the outcome is the solution plus the verified solver program that produced it.

Configuration

  • Python 3.13 - uv (a hard runtime requirement: solver libraries are supplied at solve time via uv run --with) - An OpenRouter API key — for the CLI and benchmark harness only; the MCP server itself runs without one

More MCP options

Compare MCP servers by category, or browse hosted MCP servers if you prefer an endpoint over a local process.

Maintainer setup documentation.

Recorded tools

Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.

ToolWhat it does
pysatBoolean satisfiability (SAT)
maxsatWeighted optimization
cpmpyConstraint programming (CP)
clingoAnswer Set Programming (ASP)
didpDynamic programming (DIDP)

How to install the MCP Solver MCP Server

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

Configuration as documented by the project. Restart the client after saving.

Configuration

  • Python 3.13 - uv (a hard runtime requirement: solver libraries are supplied at solve time via uv run --with) - An OpenRouter API key — for the CLI and benchmark harness only; the MCP server itself runs without one
VariableDescriptionRequired
OPENROUTER_API_KEYCredential the server authenticates with.Yes

Example prompts to try

  • “Use MCP Solver to Resources.”
  • “Use MCP Solver to Backend.”
  • “Use MCP Solver to pysat.”

Frequently asked questions

Python 3.11+, `uv` package manager, and solver-specific dependencies (MiniZinc, PySAT, Z3, Clingo). Supports macOS, Windows, and Linux.

Alternatives to the MCP Solver MCP Server

Puppeteer

Official

The original Chromium automation reference server — simple, screenshot-driven browser control.

Browser AutomationTypeScript★ 63.0k

Fonoster

Build a programmable telecommunications stack for connecting telephony services with the Internet via a cloud-based utility.

AI & ML ServicesTypeScript★ 8.1k

DeAPI

29 AI tools: audio/video transcription, image generation, TTS, OCR, embeddings via deAPI

AI & ML ServicesPython

Stifli Flex MCP

StifLi Flex MCP is a WordPress plugin that turns your site into a secure Model Context Protocol (MCP) server for ChatGPT, Claude Desktop, Gemini, and

Developer ToolsGo

Hotin

What's hot in AI right now, ranked with receipts from GitHub, HN, npm and Hugging Face.

Developer Tools

Nonead Universal Robots MCP

MCP（模型上下文协议） 是由 Anthropic 公司开发的一种通信协议（2024年11月开源），主要用于让 AI 大模型（如 DeepSeek-V3-0324，DeepSeek-R1，Qwen3 等） 更高效地访问外部数据、工具和服务，从而提供更精准、更智能的回答。

Hardware & IoT