Privacy-first MCP server for constraint programming, powered by a managed MiniZinc runtime and open-source solvers.