API

E mepụtara kii site na akaụntụ gị. Nbanye, mọọbụ kewaa otu - akaụntụ ọhụrụ na-enweta kredit nke na-amalite, nke dị n'ozuzu ya maka match.

Ziga kii dịka token bearer na nkwekọrịta ọbụla. Ọ bụ ikikembanye nke nwere ike iwere ego gị, ya mere, jiri ya dị ka paswọọdụ: server-side naanị, ọ dịghị mgbe ọbụla na mbinyeaka, ọ dịghị mgbe ọbụla na repository. Kii e mebipụtara a ga-ewepụ n'ihuakwụkwọ a ma ọ kwụsị ọrụ n'oge ọbụla.

curl https://theorem.chat/api/v1/account/ \
  -H "Authorization: Bearer thm_live_xxxxxxxx.xxxxxxxxxxxxxxxx"

Base URL: https://theorem.chat/api/v1/. Nhọrọ na nzaghachi bụ JSON. Nsụgharị ahụ bụ na ụzọ, yabụ mgbanwe na-akwụsị na-arụ ọrụ dịka v2 na koodu gị na-arụ ọrụ.

Bido match. Ọbụna ihe n'eme bụ mkpa: gbanye paneelụ n'ime na difọ́ọ̀ltụ̀ lineup bụ setịpụrụ site na ndị na-ere ahịa dị iche iche, n'ihi na ụdị na-akụziri na data na-akọ blind spots na paneelụ na-akọ na ya onwe ya bụ enweghị ihe n'eme. match bụ n'ime n

curl -X POST https://theorem.chat/api/v1/matches/ \
  -H "Authorization: Bearer $THEOREM_KEY" \
  -H "Content-Type: application/json" \
  -d '{
    "goal": "Every prime p > 3 satisfies p^2 = 1 (mod 24).",
    "rigor_preset": "formal",
    "seats": [
      {"model": "anthropic/claude-opus-4.5"},
      {"model": "openai/gpt-5", "stance": "Attack the statement."}
    ],
    "max_rounds": 8,
    "usd_ceiling": "2.00",
    "public": false
  }'

_Ihe

• goal — N'ime okwu gị.
• rigor / rigor_preset — bar ahụ onye na-enyocha na-echekwa gị, n'ụzọ nkịtị mọọbụ site n'aha: ụkpụrụ, nbudata, n'ụzọ nkịtị, ego, nkpebi. Nhazi a na-amaghị ama a na-ewepụ ya n'ihi na ọ na-atụgharị ya n'ụzọ dị n'oche - ịtụle ya n'ebe ụkpụrụ ahụ ị na-achọghị bụ ihe dị njọ karịa ndehie.
• seats — abụọ ruo na iri na ise na-ajụ ajụjụ, otu ọ bụla nwere id model site na GET /api/v1/models/ nakwa ọnọdụ nke ọbụla.
• referee — model nke na-achịkwa n'ihe nlereanya na-enyocha n'ihu ihe n'aka. Ọ bara uru ịkwụ ụgwọ na.
• max_rounds, usd_ceiling — Nnukwu nkwụsị. Nnweta eluigwe na-ewere match n'oge n'oge n'ebe ọbụla n'ebe ọbụla, na match n'oge n'oge na-ewere n'oge n'ebe ọbụla n'ebe ọbụla.
• public — Bipụta ihe emeredịkachọrọ match na ọha na eze gallery.

The zuru match: ọnọdụ, na-anabata criteria na otú ọ bụla e settled, the ledger nke e guzobere results, na-egosi n'azụ ọ bụla iwu, na verdict mgbe e nwere otu. A match na-agba ọsọ maka minit ka awa, ka poll niile sekọnd ole na ole mgbe na-adị ndụ - na response na-agwa gị mgbe ị ga-akwụsị.

{
  "token": "k3m9x…",
  "status": "solved",
  "round": 5,
  "progress": 100,
  "usd_spent": "0.734120",
  "usd_ceiling": "2.000000",
  "criteria": [
    {"text": "p^2 - 1 is divisible by 8", "status": "met", "settled_round": 2},
    {"text": "p^2 - 1 is divisible by 3", "status": "met", "settled_round": 3}
  ],
  "evidence": [
    {"kind": "computation", "code": "…", "output": "…", "verified": true}
  ],
  "verdict": "…"
}

Nhazi: n'ogbe, na-arụ ọrụ, nkwụsịtụ, chọrọ_nkwụghachi, rụchaa, echeghị, kwụsịtụ, echeghị. Ụfọdụ nke ikpeazụ bụ táàbụ̀; nkwụsịtụ, chọrọ_nkwụghachi, kwụsịtụ na kwụsịtụ nwere ike ịga n'ihu.

Nwere ike ịnye a kwụsịtụ match ọzọ rounds ma ọ bụ karịa ego. Ihe niile panel e guzobere bụ na-echekwa - results bụ na-edebe na a ledger otu oge na ọ dịghị mgbe ọ bụla na-abịa site na, na-edebe na-akwụsị ya na-aga n'ihu na a n'ụzọ na-emebi emebi.

curl -X POST https://theorem.chat/api/v1/matches/$TOKEN/resume/ \
  -H "Authorization: Bearer $THEOREM_KEY" \
  -H "Content-Type: application/json" \
  -d '{"more_rounds": 4, "more_usd": "2.00"}'

• GET /api/v1/ — ihe dị, ka ọbụla klaasị nwere ike ịhụ ụzọ ya na-enweghị ihuakwụkwọ a.
• GET /api/v1/models/ — Modelsụdị na-atọba na tier ha, windo ngwe na ọnụọgụgụ per-million-token. Ndesịta nkesa, dịka ihuakwụkwọ.
• GET /api/v1/matches/ — matches gị, ọfụụ mbụ; filtru site na ọnọdụ, peeji na ngwụcha na ọpụpụ.
• GET /api/v1/account/ — ego, n'oge ndụ na ma ị na-eji ego n'oge ọbụla ma ọ bụ kii n'oge gị.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — Ndesịta na revoke kii. Kii mbụ nwere ike igosi ebe a, na nchọgharị.

Nkwụsị ọbụla nwere ụdị dị iche. Ọrụ na koodị, nke bụ nke dị n'okpuru; ozi ahụ bụ nke n'okpuru ma ọ nwere ike ịbụ nke ọzọ.

{"error": {"code": "insufficient_balance",
           "message": "Add credit or connect your own inference key…"}}

401 maka kii echeghị ma ọ bụ emelitere, 402 mgbe ego ahụ bụ nke echeghị, 404 maka token nke abụghị nke gị, 409 maka match nke na-arụ ọrụ, 429 mgbe ị na-aga n'ụzọ n'ụzọ ngwa ngwa, 400 maka ihe ọbụla ajụjụ ahụ onwe ya na-emehie.

N'ime kii: 240 na-agụ na 30 match na-amalite n'imeji. N'ime n'ime - ihe na-egbochi match bụ na ọ na-ewepụta ego gị, na ha bụ ebe a iji kwụsị n'ọnụ ụzọ ma ọ bụ poller na-arụ ọrụ n'ime. N'elu oke ị ga-enweta 429; pịa match na-arụ ọrụ kwa sekọnd ole na ole kama ọbụna.