VERIFY
Independent checks against a bounded contract, before anyone spends time reading it.
Verification infrastructure for AI agents
Agents propose. Gavel verifies.
GenXis Gavel turns a named artifact into a bounded decision and a signed receipt. Bring it to your IDE, CI, or cloud builder so an agent result is not treated as complete until the evidence says so.
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 enabled 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 recorded check passes and nothing that passed before fails.
No self-certification
The model that proposes can never grade itself. Independent verification has to agree with the submitted evidence, 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, or a JSON payload. Public checks use the verifier policy enabled for your account, and managed onboarding can attach custom verification contracts when a team needs them. Gavel returns PROMOTE or DENY, the exact evidence it can disclose, and a receipt you can verify without us.
Request
gavel.gate({
artifact: "staged-diff",
artifact_name: "change.patch",
stage: "final-delivery"
})
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.
Explicit contract
The public contract is visible in OpenAPI: named artifact in, bounded decision out. Account-scoped verifier policy is recorded in the receipt instead of implied by marketing copy.
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 or removed from the claim. The receipt is the boundary.
AUTHORS NEVER JUDGE
Proposers propose. Only Gavel promotes. A model cannot score, certify, or bill its own output.
REFUSE OVER GUESS
Missing evidence, 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 Gavel