Gerhard Hirschmann

PROVA: Proof-based Reasoning for Operating Verified Agents — A Formally Verified Pre-Execution Safety Gate for AI Agent Frameworks

2026 · Zenodo (CERN European Organization for Nuclear Research)

We present PROVA (Proof-based Reasoning for Operating Verified Agents), the first AI agent framework built around a formally verified pre-execution safety gate. In response to CVE-2026-25253 (CVSS 8.8, OpenClaw one-click RCE, 42,000+ affected instances), we …