TY - RPRT TI - ProofAgent Harness: Open Infrastructure for Adversarial Evaluation of AI Agents AU - Fouad Bousetouane PY - 2026 UR - https://arxiv.org/abs/2605.24134 ID - 2605.24134 ER -