Planner-verifier-debugger agents for formulation decomposition, constraint validation, solver routing, and iterative repair