MCP Solver
Rank #56,892glama/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 #56,892 of 76,851 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 19,959 of 76,851 servers on MCP Toplist.
Listed on 1 registry
swesmith-repos
Other servers by swesmith-repos
- MCP LLMS-TXT Documentation Server#54,484
- ServiceNow MCP Server#54,485
- Meta Ads MCP#54,486
- MCP Server for WinDbg Crash Analysis#54,487
- MiniMax MCP#56,889
- Azure AI Foundry MCP Server#56,890
- mcp2mqtt#56,891
- Apache Airflow MCP Server#56,893
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
- 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 listed on the Official MCP Registry?
- 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.