infeasibility
Solver-agnostic debugger and explainer for LP/MILP models: why a model is infeasible, what fixes it, what-if and sensitivity. Python library, MCP server and Claude Code plugin; HiGHS, SCIP or your own Gurobi.
