# V-Sekai-fire's Minizinc

> Use this tool when you need to solve complex constraint programming problems efficiently. It takes in MiniZinc models and outputs solutions that satisfy the given constraints, helping to address use cases such as scheduling, resource allocation, and planning. Ideal for situations where computational optimization and decision-making are crucial, with integration via git for seamless model management.

Canonical page: https://skillsregistry.net/skills/v-sekai-fire-minizinc-mcp  
JSON: https://api.skillsregistry.net/v1/skills/v-sekai-fire-minizinc-mcp

## Description

Solve constraint programming problems with MiniZinc.

## Trust

- **Trust score (0–1):** 0.30
- **Verification tier:** unverified
- **Last scanned:** 2026-09-01

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** container
- **Runtime environment:** vm
- **Category:** other
- **Updated:** 2026-09-01

## Source

- **Source listing:** [Smithery](https://smithery.ai/server/V-Sekai-fire/minizinc-mcp)
- **Repository:** <https://github.com/V-Sekai-fire/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": "v-sekai-fire-minizinc-mcp"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/v-sekai-fire-minizinc-mcp` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/v-sekai-fire-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