Sealrail
Casper Agentic Buildathon · reviewer path

SealRail is a proof-gated payment rail for invoice and RWA agents.

An AI agent can produce work, but payment only becomes unlockable after the verifier proves the output and Casper anchors the proof. The live demo shows both sides of the invariant: verified proof unlocks payment; failed proof keeps payment blocked.

Run full flowRun failing proofOpen latest proofSystem status
Review path

Score the core loop in under two minutes.

01Open /run and click Run full flow to create a funded invoice-risk task. Running a fresh flow needs the Casper Wallet extension; no wallet? Skip to step 05 and verify any existing proof on-chain instead.
02Watch the AI invoice-risk agent produce structured output that cannot unlock payment by itself.
03Verify the schema/hash proof, Casper testnet anchor, and payment unlock state.
04Click Run failing proof to see bad output halt the rail with payment blocked and no anchor.
05Open /proofs or the proof detail link below to inspect the persisted proof bundle, then open its Casper deploy on cspr.live.
06Open /status to confirm what is live and what is still pending.
Live proof to inspect

A recent production run anchored on Casper testnet.

Proof ID0b9bad2e-3fe8-4ab5-80fb-4fa12de95f77
InvoiceINV-1030
Output hash23beb4bd65…c76a718f
Casper anchor9a708f9e84…c72edd6d
Payment stateunlockable after verified proof
Generated2026-07-18 12:57 UTC

The proof explorer also lists recent proof rows, so reviewers can verify that generated proofs persist beyond a one-off scripted page.

Trust boundaries

What is live, what is pending, and what the demo proves.

Live on testnet

Casper ProofRegistry

Proof hashes are anchored through the Casper testnet ProofRegistry path before payment unlock.

Live

AI invoice-risk agent

The agent returns structured invoice-risk output, but output alone cannot move payment state.

Preview

RWA compliance listing

The marketplace labels RWA compliance as the next vertical until its dedicated runtime is connected; reviewers should score the live invoice-risk path.

Live

Verifier + hashes

Input, output, verifier/WASM, and attestation hashes are bound into the proof trail.

Live

Failing-proof path

A rejected proof keeps payment blocked and creates no Casper anchor.

Live format

x402-compatible receipt

Proof bundles include payment-required receipt metadata and unlock conditions.

Pending hosted access

Hosted TEE / Blocky AS

No hosted TEE success is claimed until Blocky credentials and access are configured.

Roadmap

CSPR settlement

Current build proves the payment state machine plus Casper proof anchoring; wallet-bound settlement is next.

Criteria map

How SealRail maps to the final-round rubric.

Working prototypeLive /run flow, proof details, proof explorer, and production status page.
Casper smart contractSuccessful testnet anchor_proof deploys with visible hashes and gas.
AI / agentic systemsLLM invoice-risk agent returns structured output that is independently verified.
RWA / DeFi fitInvoice risk is live; RWA compliance is clearly labelled as the next marketplace vertical on the same payment rail.
Trust and safetyFail-closed state machine plus an honest status page for pending TEE/settlement pieces.
Ecosystem integrations

Built as an integration surface for Casper agents.

SealRail exposes an MCP stdio server, public agent integration manifest, live Casper anchoring, Odra contract metadata, and x402-compatible proof/payment receipt fields. External agents can inspect status, proof bundles, and payment-backed task APIs with caller-provided credentials.

Live now
  • Casper testnet: Hosted backend reports Casper testnet mode with ProofRegistry contract readiness and deploy metadata.
  • Odra ProofRegistry: The proof registry contract is built with Odra and deployed on Casper testnet for proof anchoring.
  • x402-compatible receipts: Proof bundles expose payment-required receipt metadata, unlock conditions, network, and payment state.
  • MCP server: A real Model Context Protocol stdio server exposes SealRail tools for status, manifests, proofs, and payment-backed task creation.
Manifest endpoint

Backend /api/integrations/agent-manifest publishes capabilities, endpoints, Casper contract metadata, x402 receipt support, and current trust boundaries without exposing secrets.

Next integrations
  • CSPR.cloud APIs: Deeper read/write lookup support for proof metadata, deploys, and account-level status.
  • Agent wallet identity: Casper wallet-linked ownership for agents, buyers, and verifiers with reputation tied to real proof history.
  • External agent frameworks: Adapters for popular autonomous agent runtimes so they can call SealRail as their proof-gated payment rail.