meshgent/minizinc-mcp repository overview

MiniZinc MCP is an https://modelcontextprotocol.io⁠ server that gives AI agents the ability to formulate and solve combinatorial optimisation problems using the https://www.minizinc.org/⁠ constraint solver.

Connect it to Claude, Cursor, or any MCP-capable agent to tackle scheduling, resource allocation, planning, graph colouring, and packing problems — all via declarative constraint models passed inline, no filesystem access required.

Quickstart docker run --rm -p 3000:3000 meshgent/minizinc-mcp:latest Then point your MCP client at http://localhost:3000/mcp⁠.

Tools exposed: minizinc_get_version · minizinc_list_solvers · minizinc_check_model · minizinc_get_model_interface · minizinc_solve_model

Bundled solver: Gecode (via MiniZinc 2.9.5 bundle)

Source & docs: https://github.com/meshgent/minizinc-mcp⁠