The ProofAgent Runner is the desktop app that registers and tests agents, watches coding agents, starts a shield and shows your coverage on one screen. ProofAgent Shield Nano is our breakthrough ultra-compact SLM for on-device AI protection: it powers the guardrails before and after your agents, protects private data before it leaves, and stops data leakage in the AI tools your teams use.
The Runner only reads folders you allow and never changes your tools, your shell or anything machine-wide. The evaluation record and flagged session events leave the machine; the juror models you configure see what they score. Native window on macOS and Windows; opens in the browser on Linux.