ProveDone

I build small tools for unattended pipelines — mostly about the gap between what a job reports and what it actually produced.