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

4 points | by mohamedmaache 12 hours ago