Live demo · verify-or-refuse

Watch every number get verified — or refused.

Pick a dataset, ask in English or Spanish. Each answer grows a connected graph — every number links back to its dataset, formula and proof, so you can trace exactly how it was derived. No login.

⚡ Live engine temporarily offline — showing cached results.

Ask a KPI — watch every number get verified, or refused.

Every answer connects back to its metric and dataset — tap any node to trace a number to its source, formula and verification.

Verified code

A frontier model wrote it. We verify it — or refuse it.

The same engine, on code instead of metrics. Three independent methods — execution-differential, property / metamorphic, and SMT where decidable. The model’s output is evidence; the verdict is ours.

⚡ Live engine temporarily offline — showing cached results.

Never “safe” or “bug-free” — only verified against this declared spec, or refused.

Verifiable rule-packs

Ask a check in plain language — verified, or refused.

The same engine, on deterministic checks for accounting, insurance and healthcare. It flags the exact violations — or refuses what it can’t map. Never a silent pass.

⚡ Live engine temporarily offline — showing cached results.