MCP Solver
Serveur MCP pour la résolution SAT, SMT et de contraintes avec des LLMs. 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.
Qu'est-ce que ce MCP
Ce serveur MCP (Model Context Protocol) intègre des capacités de résolution SAT, SMT et de contraintes avec des modèles de langage de grande taille (LLMs), permettant aux modèles d'IA de créer, modifier et résoudre des problèmes de contraintes complexes via une interface standardisée.
Comment utiliser ce MCP
Le solveur MCP fonctionne en trois modes (MiniZinc, PySAT, Z3) avec différents backends. Les utilisateurs peuvent interagir avec lui via des commandes commeadd_item, delete_item, replace_item, get_model et solve_model pour construire et résoudre des modèles de contraintes de manière programmatique.
À quoi ce MCP peut servir
Ce MCP peut être utilisé pour résoudre divers problèmes de satisfaction de contraintes, y compris des énigmes logiques (comme les N-Queens), des problèmes d'optimisation (comme le voyageur de commerce) et des scénarios réels complexes nécessitant des solveurs SAT/SMT ou de la programmation par contraintes.
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.