Show HN: I built a way to prove your software kept its promises