API

Ishara ya akaunti yako imebuniwa, au inafanyiza akaunti moja mpya ya 25 inapata sifa, ambayo inatosha kwa watu match halisi.

Tuma ufunguo kama ishara ya kila ombi. Ni muhimu kutumia usawaziko wako, kwa hiyo itendea kama neno la siri: server-sie katika kijijipengele, kamwe katika msala, na hakuna mahali pa kuweka huru. Siri iliyovuja inaondolewa kutoka ukurasa huu na kuacha kufanya kazi mara moja.

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

Base URL: https://theorem.chat/api/v1/. Maombi na majibu ni JSON. Tafsiri iko njiani, kwa hiyo kuvunjika kwa meli za kubadili rangi kama v2 na sheria zako zinaendelea kufanya kazi.

Start a match. Only the goal is required: leave the panel out and a default lineup is seated from different vendors, because models trained on overlapping data share blind spots and a panel that agrees with itself is not evidence. The match is queued immediately and worked by a server, so the request returns as soon as it is accepted.

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
  }'

Mashamba

• goal — Kwa maneno yako mwenyewe.
• rigor / rigor_preset — bar aree anakuambia, ensaiklopidia au jina: kiwango, uchapishaji, rasmi, zawadi, na uamuzi. Uamuzi usiojulikana haukubaliwi kwa kimya - kimya kwa ajili ya hukumu isiyo ya haki dhidi ya kiwango ambacho hukuomba ni mbaya kuliko kosa.
• seats — viti viwili hadi sita vya kujadili, kila kimoja kikiwa ni mfano kutoka tario/api/v1/models/ na msimamo usio wa hiari.
• referee — mfano unaoweka sheria kwenye kanuni na kurekebisha uthibitisho.
• max_rounds, usd_ceiling — Kufika darini kunasimamisha watu match badala ya kutumia wakati uliopita, na watu match wanasimama tuli.
• public — kilichochapishwa na watu match.

Jumla ya match: hadhi, viwango vya kukubaliwa na jinsi kila moja ilivyorekebishwa, msukumo wa matokeo yaliyothibitishwa, ushahidi wa kila uamuzi, na uamuzi mara tu kunapokuwa na moja.

{
  "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": "…"
}

Hali: foleni, kukimbia, kutua, mahitaji ya_kati, kuzibwa, kuchoka, kukwama, kushindwa.

Give a stopped match more rounds or more budget. Everything the panel established is kept — results are written to a ledger once and never re-derived, and recorded dead ends stop it walking back into an approach that already failed.

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/ — kile kilichopo, kwa hiyo mteja aweza kupata njia bila ukurasa huu.
• GET /api/v1/models/ — Visanamu vyenye viti vyenye safu, dirisha la muktadha na vipimo vya kila mamilioni ya nyota. Orodha hiyo, kama ukurasa.
• GET /api/v1/matches/ — co matches, hivi karibuni zaidi; chuja kulingana na kiwango, ukurasa wenye kikomo na nafasi.
• GET /api/v1/account/ — Kwa hiyo, tumia muda wote wa maisha yako na kama unalipwa mapema au unajitoza kiasi cha pesa ulicho nacho.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — Ufunguo wa kwanza waweza kutengenezwa hapa tu, katika kijionjo.

Kila kosa lina umbo lilelile.

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

AKIWA na ufunguo uliokosekana au ulioharibika, 402 wakati usawaziko unapokuwa na utupu, 404 kwa ishara isiyo yako, 409 kwa watu match ambao tayari wanakimbia, 429 wakati unaenda kasi mno, 400 kwa lolote ambalo ombi hilo lilikosa kufaulu.

Loose ontonce aprofice: 240 inasomeka na watu 30 match wanaanzia dakika moja. Loose on decing ope for decict a match ni kwamba inatumia usawaziko wako, na haya yako hapa ili kukomesha mzunguko wa kiraka au mchavushaji anayekimbia kwa muda mrefu.