MCP Solver
Rank #95,015glama/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 #95,015 of 132,046 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 37,031 of 132,046 servers on MCP Toplist.
Use MCP Solver
No credentials or required configuration declared — add it to your MCP client and go.
This server doesn't publish a machine-readable install config — see the repository README for install instructions.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/glama%2Fswesmith-repos%2Fszeider__mcp-solver.c431fabc)<a href="https://mcptoplist.com/server/glama%2Fswesmith-repos%2Fszeider__mcp-solver.c431fabc"><img src="https://mcptoplist.com/badge/glama%2Fswesmith-repos%2Fszeider__mcp-solver.c431fabc.svg" alt="MCP Toplist: #95,015 of 132,046" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
swesmith-repos
Other servers by swesmith-repos
- MCP LLMS-TXT Documentation Server#92,638
- ServiceNow MCP Server#92,639
- Meta Ads MCP#92,640
- MCP Server for WinDbg Crash Analysis#92,641
- MiniMax MCP#95,012
- Azure AI Foundry MCP Server#95,013
- mcp2mqtt#95,014
- Apache Airflow MCP Server#95,016
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.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.