minizinc-mcp

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

What does this entry provide?

minizinc-mcp is an MCP server entry in ChatHome Skills, sourced from GitHub MCP Search and scored 32/100. MCP server that exposes MiniZinc constraint solving and optimization to LLM clients like opencode, Claude Desktop, and Cursor. As a Model Context Protocol server, it exposes tools that MCP-compatible LLM clients such as Claude, Cursor, and Copilot can call directly, extending an agent's reach beyond its built-in capabilities. ChatHome Skills discovered this entry through its daily ingest of official registries and GitHub discovery queries, and re-verifies repository facts, freshness signals, and install metadata on every run. The quality score weighs official-registry presence, a working install command, license clarity, GitHub star trajectory, and repository freshness — the full formula is on the Sources page. The install command above is ready to copy. Review the last-pushed date and repository status before adding minizinc-mcp to a production agent workflow; the snapshot facts below are point-in-time values from the most recent ingest.

Snapshot facts

Source: GitHub MCP Search
Quality: 32/100
Install method: source code
Repo: carban/minizinc-mcp
Repo updated: Oct 8, 2026

Source checkout

git clone https://github.com/carban/minizinc-mcp.git

Install method: source code

Review the upstream source before running this command.

GitHub project

Quality

Repo stars

Repo updated

Oct 8, 2026

How is this score calculated?

Weighted across six dimensions, scored 0-100.
Provenance (25): listed in an official or curated registry.
Installability (25): a runnable install command beats a declared transport, which beats a source checkout.
Maintenance (20): recency of the last push; archived entries score zero here.
Adoption (20): repository stars on a log curve.
Documentation (10) and description quality (10): parsed manifest or SKILL.md frontmatter, and a real description rather than a placeholder.

Security signals

highMatched in: skillBody
Downloads a script and pipes it straight into a shell, executing remote code with no review.
curl -LsSf https://astral.sh/uv/install.sh | shDispute this flag?
mediumMatched in: skillBody
Executes inline Python code, which can hide malicious behavior in a compact payload.
python -c "Dispute this flag?

Scan coverage: Install metadata and repository README.

Automated signals from install metadata and a bounded skill body — not a full code security audit and not a recursive source or dependency review.

MCP manifest

{
  "fullName": "carban/minizinc-mcp"
}

Discovery note

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

Report an issue with this listing