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（Model Context Protocol）サーバーは、SAT（充足可能性問題）、SMT（Satisfiability Modulo Theories）、および制約解決の機能を大規模言語モデル（LLM）と統合し、AIモデルが標準化されたインターフェースを通じて複雑な制約問題の作成、編集、解決を行えるようにします。
使用方法
MCPソルバーは3つのモード（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.