Degeneracy Hunter is a collection of tools for diagnostics of mathematical programs.
Core ideas (conference paper)
Example notebook
Full documentation