Bare LLM vs. the Gavel sandwich.

Pick any proposer — OpenRouter, Fireworks, DeepInfra. Paste anything up to 2MB: hard tests, research problems, trash.
The bare answer is the before; the same proposal through Gavel's gate is the after — structured JSON, state transitions, a signed receipt.

Step 1 — Unlock with your Gavel key

The key stays in this browser tab and rides only over HTTPS to pay the meter. No account? Get a Gavel key — new accounts start with free credit.

Step 2 — Pick the proposer (the only thing that changes)

Proposer model — full live list from the provider API

Step 3 — Your input (fuzzy, up to 2MB)

…or drop / choose a file (2MB max)

Before — bare model

The raw provider answer lands here. No gate, no receipt, no state machine.

After — inside the Gavel stack

The same proposal, gated: verdict, decision code, and the machine contract land here.

Gavel is always the sameThe referee never changes and never grades its own paper: a deterministic check, not a second opinion from another model. Only the proposer changes.

Machine-ready outputEvery verdict ships as structured JSON — verdict, decision code, receipt root, coverage — a state transition any software can act on. Fuzzy in, 2MB.

Verify without usDenials are receipts too. Every verdict is bound to a receipt root anyone can check against the public issuer keys.