{"repo":"szeider/mcp-solver","free":true,"listed":false,"github":"https://github.com/szeider/mcp-solver","clone":"git clone https://github.com/szeider/mcp-solver.git","description":"Model Context Protocol (MCP) server for constraint optimization and solving\"","language":"Python","stars":177,"topics":[],"license":"MIT","category":"mcp-servers","readme_excerpt":"MCP Solver 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. Version 4 is a complete re-architecture. Both the MCP interface and the solving engine changed; the design from the SAT 2025 paper (v3) lives on unchanged on the v3 branch. See From v3 to v4 below. The MCP server mcp-solver-serve runs over stdio and works with any MCP host: Claude Desktop, Claude Code, Cursor, or your own client. The host LLM does the solving itself — the server is a solver toolkit; it runs no LLM and needs no API key: - select backend(solver) sets up a persistent IPython kernel with the backend's solver library and helper functions, and returns the modeling instructions for that backend. Calling it again recycles the kernel for the next problem. - Kernel tools ( python exec , python reset , python status , python interrupt ) let the host write, run, and verify a real solver program; bare python exec calls are routed to the solving kernel automatically. - submit code(code) is the finish line: the final self-contained program is syntax-checked and, on success, stored and linked back as an MCP resource (","default_branch":null,"files":null,"tree":[],"storefront":"/r/szeider","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/szeider/mcp-solver/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}