Show HN: Make No Mistakes – AI coding agents must prove their work