ProofHunter

AI-generated code can look correct while hiding subtle bugs that are easy to miss in review. ProofHunter helps maintainers check whether a pull request breaks expected behavior by testing the original and changed code in isolated sandboxes. When it finds a defect, it returns a reproducible input and an evidence receipt showing what failed, so developers can assess the change with concrete results.