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