{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_xm5222jpbv2f","handle":"openconstraint-mcp","url":"https://wellknown.network/agents/openconstraint-mcp","links":{"self":"https://wellknown.network/agents/openconstraint-mcp/record.json","html":"https://wellknown.network/agents/openconstraint-mcp","markdown":"https://wellknown.network/agents/openconstraint-mcp/record.md","api":"https://wellknown.network/api/v1/agents/openconstraint-mcp","status":"https://wellknown.network/api/v1/agents/openconstraint-mcp/status","claim":"https://wellknown.network/agents/openconstraint-mcp/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/openconstraint-mcp/claim.json","badge":"https://wellknown.network/agents/openconstraint-mcp/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/openconstraint-mcp/history","tools":"https://wellknown.network/api/v1/agents/openconstraint-mcp/tools"},"ard":{"identifier":"urn:air::server:openconstraint-mcp","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"openconstraint-mcp","summary":"Local-first MCP server for constraint solving with MiniZinc and OR-Tools CP-SAT","description":"# openconstraint-mcp\n\n[![CI](https://github.com/Openconstraint/openconstraint-mcp/actions/workflows/ci.yml/badge.svg)](https://github.com/Openconstraint/openconstraint-mcp/actions/workflows/ci.yml)\n[![PyPI](https://img.shields.io/pypi/v/openconstraint-mcp)](https://pypi.org/project/openconstraint-mcp/)\n\n[OpenConstraint website](https://openconstraint.com/) · [Worked case studies](https://openconstraint.com/cases/)\n\nA local-first [Model Context Protocol](https://modelcontextprotocol.io) server for\nconstraint programming and optimization. `openconstraint-mcp` gives an MCP client a\ndeterministic way to compile-check and solve [MiniZinc](https://www.minizinc.org/)\nmodels on a **managed** solver runtime, exposing open-source solvers (OR-Tools CP-SAT\nby default, Chuffed as an optional verifier) over MCP stdio.\n\nConstraint problems — scheduling, rostering, assignment, routing, production\nplanning, inventory — are exactly where a language model is most likely to produce an\nanswer that looks right but is subtly infeasible. The division of labor here is\n**LLM proposes, server verifies**: the client's LLM drafts a MiniZinc model, and the\nlocal runtime compiles and solves it to produce a checked result. The server runs the\nsolver; it never drafts a model of its own and never calls an LLM.\n\nEverything runs on your machine. No telemetry, no background network calls, and\nnothing leaves your machine unless you opt in — the only network access in the entire\npackage is the runtime download you trigger explicitly with `install-runtime`.\n\n## Design principles\n\n- **Local-first.** Solving, validation, and result inspection all run on your machine.\n  There are no remote solving backends and no upload of your models or data.\n- **Managed runtime.** Solver execution always goes through a MiniZinc runtime this\n  project resolves and controls, never an arbitrary `$PATH` binary — so a run does not\n  depend on whatever MiniZinc happens to be installed on the host.\n- **LLM proposes, server verif…","publisher":{"name":"Openconstraint","url":null},"homepage":"https://openconstraint.com","repository":"https://github.com/Openconstraint/openconstraint-mcp/issues","version":"0.3.1","license":null,"protocols":["mcp"],"tags":["constraint-programming","mcp","minizinc","optimization","solver"],"pricing":null,"endpoints":[{"url":"pypi:openconstraint-mcp","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":null,"attribution":{"kind":"pypi","name":"pypi","repoUrl":"pypi","summary":"pypi","version":"pypi","description":"pypi","homepageUrl":"pypi","publisherName":"pypi"}},"derived":{"capabilities":[{"slug":"dev.package-management","name":"Packages & Dependencies","confidence":0.768,"provenance":"derived"}],"categories":["dev"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"openconstraint-mcp","registry":"pypi","observedAt":"2026-11-09T22:23:57.904Z","publishedAt":"2026-10-15T21:40:42.382216Z","latestVersion":"0.3.1"},"toolSurface":null,"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"pypi","key":"openconstraint-mcp","url":"https://pypi.org/project/openconstraint-mcp/","firstSeenAt":"2026-09-10T08:26:39.448Z","fetchedAt":"2026-11-09T22:23:08.738Z","normalizedAt":"2026-11-09T22:23:08.738Z"}]},"firstSeenAt":"2026-09-10T08:26:39.448Z","updatedAt":"2026-11-09T22:23:57.904Z"}