Search for a command to run...
1 MCPs · 0 installs total
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 rea
Unyly
