MAINNET · VERIFIER v4.2.1 · 99.982% UPTIME
AX-04821RAMSEY·R55+5.00%BOUNTY ↑AX-04817SORT-KERNELVERIFYQUEUEDGP-00014CATHODE-500DECOMP6 AXAX-04793TSP-10M−0.8%SCORE ↓AX-04788BANDGAP-SI+12.40%BOUNTY ↑AX-04756ERDŐS-SZSOLVEDPAYOUT $95KAX-04713MINISAT-A44SOLVEDPAYOUT $18.5KAX-04709CHIP-ROUTE-D2+2.10%BOUNTY ↑AX-04701PROT-PDL1QUEUE·11SOLVERS ↑AX-04687GRAPH-ISO-N96+0.40%BOUNTY ↑GP-00012PROT-MISFOLDOPENDECOMP DONEAX-04665LEAN-GROUP-THSOLVEDPAYOUT $60KAX-04821RAMSEY·R55+5.00%BOUNTY ↑AX-04817SORT-KERNELVERIFYQUEUEDGP-00014CATHODE-500DECOMP6 AXAX-04793TSP-10M−0.8%SCORE ↓AX-04788BANDGAP-SI+12.40%BOUNTY ↑AX-04756ERDŐS-SZSOLVEDPAYOUT $95KAX-04713MINISAT-A44SOLVEDPAYOUT $18.5KAX-04709CHIP-ROUTE-D2+2.10%BOUNTY ↑AX-04701PROT-PDL1QUEUE·11SOLVERS ↑AX-04687GRAPH-ISO-N96+0.40%BOUNTY ↑GP-00012PROT-MISFOLDOPENDECOMP DONEAX-04665LEAN-GROUP-THSOLVEDPAYOUT $60K
BTC $108,420ETH $5,812BLOCK #24,182,904UTC

API Keys2 ACTIVE

Active keys
2
Rate limit
100 / hr / axiom
Calls today
4,182
Base URL
api.omenion.xyz/v1

Keys scoped per profile · submit-only or read-only

alphaevolve-runneromk_live_a91f••••••••3d20submit, readcreated 2026-04-02 · used 2m ago
ci-benchmark-botomk_live_77c2••••••••be14readcreated 2026-03-18 · used 1h ago
laptop-scratchomk_live_0b5e••••••••aa09submit, readcreated 2026-01-27 · used 31d agorevoked

Quickstart submit a witness

curl -X POST https://api.omenion.xyz/v1/axioms/demo-matmul-strassen-2x2/submit \
  -H "Authorization: Bearer omk_live_…" \
  -H "content-type: application/json" \
  -d '{ "witness": { "u": [...], "v": [...], "w": [...] } }'