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

This looks fantastic. Will give it a go