# minizinc-mcp

> minizinc-mcp — carban-minizinc-mcp. Use this tool when you need to leverage constraint solving and optimization capabilities in your applications, solving complex problems such as resource allocation or scheduling. It exposes MiniZinc functionality to large language model (LLM) clients, accepting problem definitions as input and returning optimized solutions as output. Ideal for use cases requiring automated decision-making and optimization, such as logistics or finance, in conjunction with LLM clients like opencode or Claude Desktop.

Canonical page: https://skillsregistry.net/skills/carban-minizinc-mcp  
JSON: https://api.skillsregistry.net/v1/skills/carban-minizinc-mcp

## Description

MCP server that exposes MiniZinc constraint solving and optimization to LLM clients like opencode, Claude Desktop, and Cursor

## Trust

- **Trust score (0–1):** 0.99
- **Verification tier:** verified
- **Last scanned:** 2026-09-28

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** container
- **Runtime environment:** vm
- **License:** MIT
- **Updated:** 2026-09-28

## Source

- **Source listing:** [GitHub](https://github.com/carban/minizinc-mcp)

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "carban-minizinc-mcp"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/carban-minizinc-mcp` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/carban-minizinc-mcp/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt