MCP server that exposes MiniZinc constraint solving and optimization to LLM clients like opencode, Claude Desktop, and Cursor
An MCP server that exposes MiniZinc constraint solving and optimization to LLM clients such as opencode, Claude Desktop, and Cursor. It lets an agent parse, type-check, and solve MiniZinc models directly from a chat session.
Built with the MCP Python SDK v2 and the MiniZinc Python binding.
Only two things need to be installed, once per machine:
- uv — curl -LsSf https://astral.sh/uv/install.sh sh - MiniZinc 2.6+ with the minizinc executable on PATH (includes a default solver, Gecode)
Everything else is fetched automatically by uv — there is no clone, no venv setup, and no manual pip install on your side.
Install it globally (best if you use it in several projects):
Or run it on demand each time, with nothing installed:
The server runs over stdio. Tell your MCP client to launch it:
opencode — project level (add this to opencode.jsonc in your project):
opencode — global (add the same mcp.minizinc block to ~/.config/opencode/opencode.json):
Claude Desktop (claudedesktopconfig.json):
Restart your client. Six tools should now be available, prefixed with minizinc: - minizinclistsolvers - minizincvalidatemodel - minizincsolvemodel - minizincsolvemodelbypath - minizincgetmodelinfo - minizincgetflatzinc
Quick sanity check — ask your client: "list the available MiniZinc solvers". You should see gecode, chuffed, highs, and anything else installed on the machine.
Tool Description ------ listsolvers Lists every MiniZinc solver installed on the machine. The returned tag names (e.g. gecode, chuffed, highs) can be passed to solvemodel. validatemodel Parses and type-checks Mini
From the project README.
Add the radar badge to your README — it shows your project was picked up by MCP Radar and links to this page:
[](https://mcp.liqiwa.com/s/carban--minizinc-mcp.html)
Typed judgment tools for MCP agents. TypeSafe's Jev model as verify, screen, find, classify, rerank, decide, compare, extract, review, gate, and score: the model judges, policy decides auto, review, o
iflytek/dolphin-mcp-pilotProduction-ready MCP server that lets AI agents build, schedule, run and recover Apache DolphinScheduler data pipelines - 53+ tools, beyond read-only.
russeell/jobfindsme🔥 AI 求职雷达｜一句话同时搜 BOSS直聘 + 猎聘，找到匹配你简历的岗位。
2akouwu/reverifyStop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets. Reverse engineering is
yzg1226/mcd-party-officer🍟 麦当劳门店派对成团调度 Skill — 把派对从「策划」推进到「办得成」：成团概率雷达 / 包场vs拼团 / 择日黄历 / 儿童营养指数 / 招募卡与邀请函
hujjun/mcd-saver-strategist麦当劳省钱点餐助手（麦门精算师）｜麦当劳优惠券组合优化 Skill：拉取麦当劳菜单与全部可用优惠券，算出最省的点餐组合，巨无霸套餐 ¥47 → ¥21.9（省 53%）。McDonalds MCP（麦当劳 MCP）coupon optimizer · McDonalds China MCP Server · Agent Skill for WorkBuddy · 麦当劳程序员创意开发大赛参赛作品
The top new MCP servers of the week, every Monday. No spam, unsubscribe anytime.