ProofAgent Harness: Open Infrastructure for Adversarial Evaluation of AI Agents Paper • 2605.24134 • Published 5 days ago • 1