Using agents to build property-testing machinery, then turn the findings into small, reviewable fixes.