MCP Solver
集成SAT、SMT与LLM约束求解的MCP服务器. MCP Solver is a Model Context Protocol (MCP) server maintained by szeider. It connects to MCP-compatible clients such as Claude Desktop, Cursor, Cline, and other agents that speak the protocol. It exposes 6 tools, including clear_model, add_item, delete_item, replace_item, get_model and solve_model, that an agent can call directly. It is categorized under Tool/Python.
什么是MCP
该MCP（模型上下文协议）服务器将SAT、SMT和约束求解能力与大型语言模型相结合，通过标准化接口使AI模型能够创建、编辑和解决复杂约束问题。
如何使用MCP
MCP求解器支持三种模式（MiniZinc、PySAT、Z3）的不同后端。用户可通过add_item、delete_item、replace_item、get_model和solve_model等命令以编程方式构建和求解约束模型。
MCP应用场景
适用于解决各类约束满足问题，包括逻辑谜题（如N皇后问题）、优化问题（如旅行商问题），以及需要SAT/SMT求解器或约束编程的复杂现实场景。
AIMCP authority
DR and traffic signal for the AIMCP public domain.
Frequently asked questions
What is the MCP Solver MCP server?
MCP Solver is a Model Context Protocol server from szeider. It lets MCP-compatible AI clients call its tools over a standard interface, so agents like Claude, Cursor, and Cline can use it without custom integration.
How do I connect MCP Solver to my AI client?
Add MCP Solver to your client's MCP configuration using the stdio or SSE connection shown in the usage examples on this page, then restart the client to load the server.
What tools does MCP Solver provide?
MCP Solver provides 6 tools: clear_model, add_item, delete_item, replace_item, get_model and solve_model.
Is MCP Solver free to use?
MCP Solver is listed on AIMCP for free. Any API keys or accounts required by the underlying service are set by its provider.
Vernclaw Plugins for OpenClaw
Ready-to-use connectors for SEO data, social reading & content generation. Pay-as-you-go credits with audit logs.