MCP Solver
Rank #50361glama/swesmith-repos/szeider__mcp-solver.c431fabc
An MCP server that enables Large Language Models to interactively create, edit, and solve constraint models using backends like MiniZinc, Z3, PySAT, and Clingo. It bridges natural language with symbolic reasoning for solving complex logical, SAT, SMT, and optimization problems.
MCP Solver is a Model Context Protocol (MCP) server published by swesmith-repos. It ranks #50361 of 58,900 servers tracked on MCP Toplist. MCP Solver is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Jan 23, 2026.
Ranks ahead of 8,539 of 58,900 servers on MCP Toplist.
Use MCP Solver
MCP Solver doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 1 registry
swesmith-repos
Other servers by swesmith-repos
- MCP LLMS-TXT Documentation Server#47739
- ServiceNow MCP Server#47740
- Meta Ads MCP#47741
- MCP Server for WinDbg Crash Analysis#47742
- MiniMax MCP#50358
- Azure AI Foundry MCP Server#50359
- mcp2mqtt#50360
- Apache Airflow MCP Server#50362
Not versioned
This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- What is MCP Solver?
- An MCP server that enables Large Language Models to interactively create, edit, and solve constraint models using backends like MiniZinc, Z3, PySAT, and Clingo. It bridges natural language with symbolic reasoning for solving complex logical, SAT, SMT, and optimization problems.
- Who maintains MCP Solver?
- MCP Solver is maintained by swesmith-repos, which publishes 9 MCP servers (0 total versions) tracked on MCP Toplist.
- Is MCP Solver an official MCP server?
- MCP Solver is not on the Official MCP Registry. It is listed on Glama.
- How many versions does MCP Solver have?
- MCP Solver ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for MCP Solver?
- The source code for MCP Solver is hosted at github.com/swesmith-repos/szeider__mcp-solver.c431fabc.