SERVER
minizinc-mcp
Rank #33,317glama/r33drichards/minizinc-mcp
Enables solving constraint satisfaction and optimization problems using MiniZinc models via a single tool.
First listed
Jun 11, 2026
Last publish date
—
OVERVIEW
minizinc-mcp is a Model Context Protocol (MCP) server published by r33drichards. It ranks #33,317 of 76,851 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.
STANDING
#33,317of 76,851 tracked serversTop 50%
Ranks ahead of 43,534 of 76,851 servers on MCP Toplist.
REGISTRIES
Listed on 1 registry
ORGANIZATION
r33drichards
MORE FROM THIS PUBLISHER
Other servers by r33drichards
View all r33drichards servers →VERSIONS
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.
FAQ
Frequently asked questions
- Who maintains minizinc-mcp?
- minizinc-mcp is maintained by r33drichards, which publishes 2 MCP servers (15 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.
EXPLORE