D daneb.github.io Show HN: AI coding agents that prove their work Release of 0.10 2 points danebalia 1 month ago 2 comments
