An AI co-worker that finds real RTL bugs — and proves each one the right way.