{"type":"mcp_server","name":"mcp-solver","description":"The MCP Solver repository provides a Model Context Protocol server that allows Large Language Models to interact with SAT, SMT, and constraint solving tools like MiniZinc, PySAT, and Z3.","category":"AI","language":"Python","stars":170,"forks":3,"owner":"szeider","github_url":"https://github.com/szeider/mcp-solver","homepage":null,"setup":"## Setup\n\nMCP Solver requires Python 3.11+, the `uv` package manager, and solver-specific dependencies (MiniZinc, Z3, or PySAT).\n\nFor detailed installation instructions for Windows, macOS, and Linux, see [INSTALL.md](INSTALL.md).\n\nQuick start:\n```bash\ngit clone https://github.com/szeider/mcp-solver.git\ncd mcp-solver\nuv venv\nsource .venv/bin/activate\nuv pip install -e \".[all]\"  # Install all solvers\n```","tools":"## Available Tools\n\n1. `clear_model` (Remove all items from the model)\n2. `add_item` (Add new item at a specific index)\n3. `delete_item` (Delete item at index)\n4. `replace_item` (Replace item at index)\n5. `get_model` (Get current model content with numbered items)\n6. `solve_model` (Solve the model with timeout parameter)","faq":null,"created_at":"2024-12-14T23:10:20+00:00","updated_at":"2025-03-28T20:17:43+00:00","source_url":"https://model-context-protocol.com/servers/model-context-protocol-constraint-solver-server","related_articles":[]}