Observed arrival · 2026-11-03
Proof Request puts agent claims on trial
An open spec and CLI for checking a coding agent’s claims against a running app, with a separate agent judging the evidence.
○Open
⊠Login
$Paid
†Ads
✦Pretty
●Pro
◎Niche
◉Human
⚑Risk
ƒJS
- For
- Developers using coding agents on web apps
- Worth noticing
- Its sample marks a case-insensitivity claim broken after “CUSTOM FIELDS” returns no matches, despite the tests passing.
Field notes
The example locks six claims in a JSON artifact before checks begin, including a claim that search is case-insensitive. The displayed run contrasts that claim with browser evidence showing that “CUSTOM FIELDS” returns no matches. The page defines four verdicts and says unverified claims never count as held; it also says the judge does not see the code.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
○OpenPublic substance visible
✦PrettyNotable craft visible
●ProPolished or operationally mature
◎NicheUnusually specific use
One card from the complete issue