Hey Hacker News, I've written this article to share with the software community my latest experimentations on enforcing code verification in my dev workflow with my coding agents (claude code). After a decade of being stubborn on how to develop software without bugs, learning and applying Extreme Programming and Software Craftsmanship, working with coding agents is kind of a reset. So, even if I am still stubborn enough to ask claude to verify its code by adding tests and help him setup the codebase to do so (unit are simple, integration are more tricky and E2E is another level), I'm a bit tired to always repeat myself. I'm finding it crazy that coding agents can solve complex mathematics problems but can't still verify their code...