MCP Solver
Servidor MCP para SAT, SMT y resolución de restricciones con 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é es este MCP?
Este servidor MCP (Protocolo de Contexto de Modelo) integra capacidades de SAT, SMT y resolución de restricciones con Modelos de Lenguaje Grandes (LLMs), permitiendo que los modelos de IA creen, editen y resuelvan problemas complejos de restricciones a través de una interfaz estandarizada.
Cómo usar este MCP
El Solucionador MCP opera en tres modos (MiniZinc, PySAT, Z3) con diferentes backends. Los usuarios pueden interactuar con él mediante comandos comoadd_item, delete_item, replace_item, get_model y solve_model para construir y resolver modelos de restricciones de manera programática.
Para qué se puede usar este MCP
Este MCP puede utilizarse para resolver diversos problemas de satisfacción de restricciones, incluyendo puzzles lógicos (como N-Reinas), problemas de optimización (como el Viajante de Comercio) y escenarios del mundo real que requieran solucionadores SAT/SMT o programación con restricciones.
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.