VERIFY
Independent primary and shadow checks against a frozen contract, before anyone spends time reading it.
Verification infrastructure for AI agents
Agents propose. Gavel proves.
GenXis Gavel is an independent verification authority for AI-generated work. It runs the checks you declared, refuses to certify anything it cannot decide, and signs a receipt for every verdict, so "done" from an agent means something.
Mission
The war on slop is won at the gate.
Slop is work that looks finished and isn't, and every unverified "done" bills a human for the time to find out. GenXis closes that loop in production: the agent proposes, Gavel runs the declared checks, and only a PROMOTE ships, so review time goes to real decisions instead of re-checking the machine. Getting it right at the gate also generates fewer tokens, because a denied candidate is stopped once instead of re-prompted through a retry loop, a verified lesson is never re-solved, and a fail-closed check costs one verdict instead of a full regeneration.
PROMOTE
Only a strict PROMOTE advances state. Everything else is recorded and denied.
COMPOUND
Verified lessons feed the next run, so the same problem is never paid for twice.
Never regress
State advances only when every declared check passes and nothing that passed before fails.
No self-certification
The model that proposes can never grade itself. Independent primary and shadow verifiers agree, or the answer is DENY.
A receipt for every verdict
Ed25519-signed, hash-chained, and replayable from the artifact root by anyone, offline.
For developers
Before your agent says it's done, Gavel checks the work.
Point Gavel at an artifact (a staged diff, a file, a test run, a JSON payload) plus a pre-committed oracle. It returns PROMOTE or DENY, the exact evidence, and a receipt you can verify without us. Call it from the CLI, an MCP tool, an OpenAI-compatible endpoint, or a pre-commit and CI hook. The same authority runs our public open-model benchmark at mostannoying.ai: 100 frozen tasks in five packs, every certified catch linked to its evidence.
Request
gavel.gate({
artifact: "staged-diff",
oracle: "pytest",
never_regress: true
})
Gavel verdict
- VerdictPROMOTE
- Regressions0
- ReceiptSIGNED
Hooks, CLI, MCP, API
Pre-edit, final-diff, and CI boundaries inside the agent workflow you already use, in observe, ask, or deny mode.
Decidable oracles
Commands, test suites, JSON schema, exact output. Every oracle is hashed and frozen before the run. No oracle, no verdict: it refuses rather than guesses.
Replayable receipts
Every verdict re-runs from its recorded roots. Denials, duplicates, timeouts, and regressions are never billed as catches.
Our principles
Verification you can't talk your way past.
Every rule below is enforced in code and shows up in the receipt, not on a slide.
AUTHORS NEVER JUDGE
Proposers propose. Only Gavel promotes. A model cannot score, certify, or bill its own output.
REFUSE OVER GUESS
Missing oracle, drifted source, mismatched hash, truncated response: Gavel stops and says exactly why. Unverified is never relabelled as pass.
EVIDENCE OVER ASSERTION
Raw provider bytes are stored before they are parsed. Every dispatch, retry, and cent lands in a hash-chained ledger you can audit.
BOUNDED BY DESIGN
Nothing runs without a signed owner authorization bound to one exact proposal hash. One shot, no silent retries, explicit spend and wall-clock caps.
Build with us