MiniZinc MCP Server
github.com/carban/minizinc-mcp- Category
- Developer Tools
- Rank
- No. 2337Tools index
- Type
- TOOL
- Date
About
MiniZinc MCP Server is an MCP server that exposes MiniZinc's constraint solving and optimization engine to LLM clients like opencode, Claude Desktop, and Cursor, letting an agent parse, type-check, and solve MiniZinc models directly from a chat session. It's built on the MCP Python SDK and the MiniZinc Python binding, with Gecode as the default solver.
Why it made the leaderboard
This MCP server lets an agent parse, type-check, and solve constraint-optimization problems directly from a chat session using MiniZinc, giving agents access to formal solving capability they don't have natively.
Tags
mcpconstraint-programmingminizincoptimizationai-agents
Tech Stack
Python
Comments (0)
No comments yet
Editorially curated, with community endorsements as a secondary signal. Corrections welcome.