MiniZinc MCP Server

{
  "agent_id": "minizinc_mcp",
  "name": "MiniZinc MCP Server",
  "url": "https://github.com/carban/minizinc-mcp",
  "logo": "https://github.com/carban.png?size=200",
  "niche": null,
  "category": null,
  "short_summary": "MCP server that lets LLM clients parse, validate, and solve MiniZinc constraint models and optimization problems through chat-based agent tools.",
  "task_performed": "unclear",
  "inputs_accepted": [],
  "outputs_produced": [],
  "integrations_available": [],
  "protocols_or_interfaces": [
    "MCP"
  ],
  "industry_fit": [],
  "autonomy_level": "unclear",
  "human_approval_needed": "unclear",
  "pricing_model": "unclear",
  "price": {
    "observed": false,
    "billing": "not_found",
    "currency": null,
    "lowest_monthly_usd": null,
    "monthly_usd": null,
    "headline": "No public price found",
    "summary": "No public pricing is shown; the project is presented as an open-source MIT-licensed MCP server.",
    "confidence": "medium",
    "source_url": "https://github.com/carban/minizinc-mcp",
    "checked_at": "2026-10-27T04:20:57.371Z",
    "source_kind": "vendor",
    "amount": null,
    "display": null,
    "plans": [],
    "source": "render+llm"
  },
  "trust_or_rating_signal": [],
  "evidence_quality": "unclear",
  "entity_type": "mcp_server",
  "regulated_data_suitability": "unclear",
  "evidence_urls": [
    "https://github.com/carban/minizinc-mcp"
  ],
  "last_checked": "2026-10-27",
  "profile_checked": null,
  "price_checked": "2026-10-27",
  "how_to_connect": {
    "website": "https://github.com/carban/minizinc-mcp",
    "docs": null,
    "mcp": null,
    "a2a": null,
    "api": null,
    "protocols": [
      "MCP"
    ],
    "install": "pip install on your side. 2. Install the server (pick one) From PyPI (r",
    "repository": "https://github.com/carban/minizinc-mcp",
    "note": "Speaks MCP but publishes no endpoint we could verify — check the docs/website."
  },
  "deployment": {
    "model": "self_hosted",
    "both_offered": false,
    "hosted_endpoint": null,
    "install": "pip install on your side. 2. Install the server (pick one) From PyPI (r",
    "note": "You run it yourself: install from the published command/package; no vendor endpoint found.",
    "evidence": {
      "sources": [
        "page_text:install",
        "page_text:licence"
      ],
      "excerpt": "lse is fetched automatically by uv — there is no clone, no venv setup, and no manual pip install on your side. 2. Install the server (pick one) From PyPI (recommended) In",
      "url": "https://github.com/carban/minizinc-mcp",
      "observed_day": "2026-10-28",
      "age_days": 2,
      "hosted_evidence": null,
      "rule": "deploy-v1"
    }
  },
  "licence": {
    "name": "MIT",
    "note": "Named licence as published; applies to the code, not to where it runs.",
    "evidence": "page text: \"-tools minizinc python Resources Readme MIT license Activity Stars 7 stars Watch\"",
    "observed_day": "2026-10-28",
    "age_days": 2
  },
  "evidence_checks": {
    "price": {
      "status": "unknown",
      "note": "no observed price page text held for this listing"
    },
    "agent_card": {
      "status": "unknown",
      "note": "no Agent Card URL recorded for this listing"
    },
    "endpoint": {
      "status": "unknown",
      "note": "endpoint not yet checked"
    }
  },
  "product_group": null,
  "liveness": {
    "probed": true,
    "alive": true,
    "endpoint_kind": "site",
    "latency_ms": 112,
    "uptime_7d": 1,
    "checked_at": "2026-10-29T02:40:43.247Z",
    "consecutive_failures": 0,
    "status": "alive"
  },
  "price_extras": {
    "free_tier": null,
    "unit_cost": null
  },
  "reported_success": null,
  "feedback": "If you actually use this provider, call report_outcome with the result. Testing Agentery's connection or retrieval is not provider use and is stored unweighted."
}