For judges · Lepton Agents · Arc / Circle

Autonomous agents that pay on Arc.

Keryx is a paid tool registry for AI agents on Arc: discover → HTTP 402 → EIP-3009 USDC → result. This page is the Lepton / Arc track. OKX.AI Genesis is a separate product surface (see bottom) — do not score them as one submission.

RFB fit (honest): RFB05 nanopayment tooling + RFB02/03 style agent↔API commerce. We do not claim RFB01 agent-to-agent networks yet — agents pay publishers/APIs today, not each other in multi-hop escrow.

Paid calls settled

418

Volume settled

$1.084

Executable tools

Unique agent callers

122

Facilitator

local

1 · Prove agency (wallet agent pays)

Score this step first. Agency = wallet agent pays on Arc — not the sponsored /askplayground (that is Step “optional”). Path: quickstart → POST /api/call → 402 → EIP-3009 → settle USDC → POST /api/receipt/verify → expect tier: R5 + Arcscan.

Quickstart — /quickstart.ts or /quickstart.py

npm i @x402/fetch @x402/evm viem tsx
export PRIVATE_KEY=0x…   # Arc testnet + test USDC
curl -O https://keryxhq.xyz/quickstart.ts
npx tsx quickstart.ts

Paid call — script POSTs /api/call → HTTP 402 (with root extensions.bazaar) → signs EIP-3009 → retries with X-PAYMENT → HTTP 200 + result + ledgerEntry.id.

Receipt verify (R5) — free proof beyond HTTP 200. Hits Arc RPC eth_getTransactionReceipt:

curl -sS -X POST https://keryxhq.xyz/api/receipt/verify \
  -H 'content-type: application/json' \
  -d '{"txHash":"0x7e1e030a92a185f89cdb944d8b68ef25bd5469526c048e4904462e065057c00c"}'
# expect: "tier":"R5", "onchain":{"status":"success", ...}

Or by ledger id: {"id":"CzincsUMhw3T"}

Arcscan — open the settlement tx: 0x7e1e030a…57c00c · tool crypto.price · mode local

Optional Loom: record a 60s terminal run of the quickstart (no browser) and paste the link in the submission form / Discord.

Free sample first →Public ledger →Example Arcscan tx →

Receipt tiers (what verify returns)

Tier	Meaning
`R0–R2`	Ledger / shape checks only — not full onchain proof
`R3–R4`	Stronger local evidence; still prefer R5 for scoring
`R5` ← target	Arc RPC `eth_getTransactionReceipt` success + paid ledger row. Cold-judge bar.

Pinned proof tool: crypto.price · Prefer real market tools over utility demos when reading /live.

2 · Circle / Arc settlement (own the local story)

Live facilitator mode on this deploy: local.

local (typical prod) = Keryx facilitator wallet broadcasts real EIP-3009 transferWithAuthorization on Arc testnet. Tx hashes on /live open on Arcscan.
gateway = Circle Gateway batched settlement when CIRCLE_GATEWAY_PREFERRED=true and CIRCLE_GATEWAY_API_URL are set. Coded in src/lib/x402/facilitator.ts. Local is the default when a facilitator key is present (Gateway was failing sponsored settles when preferred blindly).
demo = cold-clone fallback only (demo_0x… synthetic hashes). Not what you should see on keryxhq.xyz right now.

Economics honesty: onchain pay is 100% to publisher payTo. The 5% platform fee is ledger accounting until split settlement ships. Native USDC gas on Arc (0x3600…0000).

Where to look next

Live product

keryxhq.xyz→

Registry, publish, live ledger, docs

GitHub repository

cryptoduke01/keryx→

Public, MIT. All source + @keryxhq/middleware package.

npm package

@keryxhq/middleware→

One-line x402 middleware for publishers.

Onchain registry

0x7eA36c…998bA7→

KeryxRegistry.sol on Arc testnet (5042002).

Agent discovery

/.well-known/x402 · /llms.txt→

Machine-readable catalog + free /api/demo

Video demo (≤3 min)

Link is in the Google Form submission. Prefer a cut that shows the terminal quickstart (wallet pays) before the sponsored /ask playground.

Pitch deck →SDK docs →npm package →

Judging dimensions · where we sit

30% Agentic sophistication

Autonomous buyer path is the hero; /ask is cost-aware but sponsored.

Full agency = wallet agent + quickstart + POST /api/call. The /ask agent only spends when fresh data is worth the cost — good economic reasoning, but Keryx-sponsored (no wallet in the browser). MCP is the same: sponsored discovery for Claude/Cursor. Score autonomy on the quickstart path, not the playground alone.

30% Traction

R5-proven Arc settlement · ledger open · 122 callers · SDK on npm. Do not over-read raw call totals.

Public ledger at /live. Prefer Arcscan-linked local rows and real tool ids over demo utilities / sponsored web-* traffic. Prove a single receipt with POST /api/receipt/verify (tier R5) rather than quoting aggregate call counts alone. @keryxhq/middleware shipped during the Lepton window. OKX.AI ASP #4759 is a separate X Layer product — not this Arc scorecard.

20% Circle tool usage

x402 + USDC on Arc. Facilitator: local. Gateway coded, local live.

Real 402 → EIP-3009 → settle on Arc. Bazaar extensions.bazaar on 402 root. Receipt verify reaches R5 via Arc RPC. Local facilitator is the default when a key is present; Circle Gateway is opt-in via CIRCLE_GATEWAY_PREFERRED=true (whitepaper).

20% Innovation

Paid tool registry + MCP + publishable npm SDK — Arc-native agent commerce primitive.

Publishers list a price + wallet; agents discover and pay in one round trip; MCP surfaces the catalog; @keryxhq/middleware is a one-line seller integration. That registry pattern is the product — not a single paid endpoint.

Optional · sponsored demos (not the agency score)

Zero-setup surfaces for humans. Useful, but not autonomous payers.

/ask — cost-aware chat; Keryx covers settlement.
MCP https://keryxhq.xyz/api/mcp — Claude Code / Cursor / Copilot; sponsored.
/api/demo — free sample shape before pay (allowlisted tools).

Repo tour (Arc / Lepton)

src/app/api/call/route.ts — x402 path — 402 + bazaar extensions, verify, execute, settle.
src/app/api/receipt/verify/route.ts — Receipt tiers R0–R5 (Arc RPC confirmation).
public/quickstart.ts — Autonomous TypeScript buyer agent.
src/lib/x402/ — Facilitator: gateway | local | demo.
src/lib/registry/ — Tool store + live public API handlers.
packages/keryx-middleware/ — @keryxhq/middleware on npm.
contracts/KeryxRegistry.sol — Onchain registry mirror on Arc.

Separate track · OKX.AI Genesis (not Lepton scoring)

Do not mix rails. Lepton = Arc + USDC + x402 above. OKX.AI Genesis = X Layer + USDT0 + Agent Payments Protocol (exact + charge) under /okxasp. Same builder, different hackathon / settlement network.

OKX judge one-pager →OKX Finance Copilot →OKX docs →ASP #4759 →

Post-hackathon

Flip facilitator to Circle Gateway when credentials land; land external publishers via the SDK; ship Python SDK; move 5% fee from ledger accounting to onchain split. Registry contract already lets publishers own listings independently of Keryx.

Questions? @keryxhq on X or via the GitHub issues.