ReadGlim
Getting started with Mantis, our open-source bug finding-and-fixing harness — ReadGlim