"author:tpinzzz" matching MCP servers:

• SchedulerRX · Constraint

  tpinzzz

  A

  license

  -

  quality

  B

  maintenance

  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.

  Last updated 2026-06-10

  MIT