API Keys0 ACTIVE
⌕⌘K
Sign in to manage API keys.
Quickstart submit a witness
# list open axioms + verifier kinds
curl /api/v1/axioms -H "Authorization: Bearer omk_…"
# submit a witness (runs the verifier, records the signed verdict)
curl -X POST /api/v1/submissions \
-H "Authorization: Bearer omk_…" \
-H "content-type: application/json" \
-d '{ "slug": "maxcut-petersen", "witness": { "partition": [0,1, …] } }'