Observed arrival · 2026-10-10
Assay’s receipt-backed proof ledger
Assay tracks an AI-assisted SQL engine, separating benchmark progress from machine-checked proofs that its answers are correct.
○Open
⊠Login
$Paid
†Ads
✦Pretty
●Pro
◎Niche
◉Human
⚑Risk
ƒJS
- For
- Database and verification researchers tracking AI-built SQL
- Worth noticing
- A result counts only after zero-error proofs, no weakened prior claims, and zero wrong answers on a frozen test set.
Field notes
The measurement log distinguishes test-set versions, and the page warns that adding queries may lower reported coverage rather than making unlike runs appear comparable. It also says effort is recorded as elapsed time and AI-token usage from the tools’ own logs, while credit goes to the GitHub owner of each change. The repository is described as private for now; public rows based on merged pull requests and checks are a stated future change.
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