minizinc-mcp
Rank #45,138glama/r33drichards/minizinc-mcp
Enables solving constraint satisfaction and optimization problems using MiniZinc models via a single tool.
minizinc-mcp is a Model Context Protocol (MCP) server published by r33drichards. It ranks #45,138 of 115,460 servers tracked on MCP Toplist, and its repository has 4 GitHub stars. minizinc-mcp is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Jun 11, 2026.
Ranks ahead of 70,322 of 115,460 servers on MCP Toplist.
Use minizinc-mcp
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%2Fr33drichards%2Fminizinc-mcp)<a href="https://mcptoplist.com/server/glama%2Fr33drichards%2Fminizinc-mcp"><img src="https://mcptoplist.com/badge/glama%2Fr33drichards%2Fminizinc-mcp.svg" alt="MCP Toplist: Top 50% of 115,460" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
r33drichards
Other servers by r33drichards
View all r33drichards servers →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 minizinc-mcp?
- minizinc-mcp is maintained by r33drichards, which publishes 2 MCP servers (20 total versions) tracked on MCP Toplist.
- Is minizinc-mcp listed on the Official MCP Registry?
- minizinc-mcp is not on the Official MCP Registry. It is listed on Glama.
- How many versions does minizinc-mcp have?
- minizinc-mcp ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for minizinc-mcp?
- The source code for minizinc-mcp is hosted at github.com/r33drichards/minizinc-mcp.