I built FixProof to verify whether AI-generated bug fixes are actually proven

AI coding tools can generate a fix and tell us the bug is solved. But there is an important...