**Show HN: Constraint Programming in Your AI Agent**

> MCP server that exposes MiniZinc constraint solving and optimization to LLM clients like opencode, Claude Desktop, and Cursor - carban/minizinc-mcp MiniZinc MCP Server 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 S...

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-products
- **发布时间**：2026-09-16 00:42（北京时间）
- **原文**：[打开原文](https://github.com/carban/minizinc-mcp)