A neuro-symbolic agent that turns cryptic CP-SAT INFEASIBLE errors into plain-English diagnoses and only proposes fixes it has re-verified by re-solving the real production solver.
Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.
Install from
M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.
process.env. You'll be asked to provide them before it can run.GEMINI_MODEL— LLM Gemini 3.5 Flash on Vertex AI (global endpoint; overridable), auto-retry on transient errors[](https://m8ven.ai/mcp/tpinzzz-schedulerrx-constraint-agent-9kdhe1)