MCP Solver
Rank #50295glama/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 #50295 of 58,832 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,537 of 58,832 servers on MCP Toplist.
Listed on 1 registry
swesmith-repos
Other servers by swesmith-repos
- MCP LLMS-TXT Documentation Server#47670
- ServiceNow MCP Server#47671
- Meta Ads MCP#47672
- MCP Server for WinDbg Crash Analysis#47673
- MiniMax MCP#50292
- Azure AI Foundry MCP Server#50293
- mcp2mqtt#50294
- Apache Airflow MCP Server#50296
Not versioned
This server is published through a registry that does not expose explicit version metadata. 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.