API

Ključi so ustvarjeni iz vašega računa. Prijava ali ustvarite enega – novi računi dobijo začetni kredit, kar je dovolj za resnično match.

Pošljite ključ kot nosilec žeton na vsak zahtevek. To je potrdilo, ki lahko porabite ravnovesje, zato ga obravnavajte kot geslo: samo strežnik-stran: nikoli v brskalniku, nikoli v skladišču. Iz te strani se uhaja ključ, ki je prekliče in takoj preneha delati.

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

Osnovni URL: https://theorem.chat/api/v1/. Popraševanja in odgovori so JSON. Različica je na poti, tako da se spremeni ladje kot v2 in vaš koda nadaljuje deluje.

Začnite match. Samo cilj je potreben: nehajte s pultom in privzeto sestava sedi od različnih prodajalcev, ker modeli, ki se izobražujejo za prekrivanje podatkov delijo slepe točke in plošča, ki se strinja s seboj, niso dokazi. match je takoj v vrsti in deluje s strežnikom, tako da se zahteva vrne takoj, ko je sprejeta.

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

Polja

• goal — Zahtevek, z vašimi besedami.
• rigor / rigor_preset — bar vas drži, dobesedno ali po imenu: standardna, publikacija, formalna, nagrada, odločitev. Neznana nadomestna nadomestna nadomestitev je zavrnjena, namesto da bi tiho zamenjali za privzeto – sojenje po standardu, ki ga niste zahtevali je hujše od napake.
• seats — dva do šest razpravnih sedežev, vsak model id iz GET /api/v1/modelov / in neobvezno stališče.
• referee — model, ki določa merila in ponovno preverja dokaze.
• max_rounds, usd_ceiling — Trde meje. Doseči stropa pavzira match namesto da bi porabili mimo njega, in pavza match nadaljuje točno tam, kjer se je ustavil.
• public — Objavi končno match v javno galerijo.

Celotna match: status, merila za sprejemanje in način vsakega, knjigo ugotovljenih rezultatov, dokazi za vsako sodbo, in razsodba, ko je eno. match teče za minute do ure, tako da anketa vsakih nekaj sekund v živo – odziv vam pove, kdaj se ustavite.

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

Stanja: v vrstici, teče, ustavi, potreba_ sklada, rešeni, izčrpani, obtičani, spodleti. Zadnji štirje so terminalni; ustavljeni, potrebe_ skladi, izčrpani in obtičani lahko nadaljujejo.

Zaustavljeno match ali več krogov proračuna. Vse, kar je ustanovil panel je hranjen – rezultati so zapisani v knjigo enkrat in nikoli ponovno izvedbo, in zabeležena slepa konča ustavi hojo nazaj v pristop, ki je že spodletelo.

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/ — Kar obstaja, tako da stranka lahko najde pot brez te strani.
• GET /api/v1/models/ — sedeči modeli z njihovim stopnjami, okvirnim oknom in stopnjami na milijone. Isti seznam kot stran.
• GET /api/v1/matches/ — matches, najnovejši prvi; filtriraj po stanju, stran z omejitvijo in kompenzacijo.
• GET /api/v1/account/ — bilance, življenjsko porabo in ali ste na predplačni kredit ali lastni zaključek.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — seznam in prevzemi ključe. Prvi ključ se lahko tu, v brskalniku, napiše le tukaj.

Vsak neuspeh ima enako obliko. Razporejanje kode, ki je stabilna; sporočilo je proza in se lahko spremeni.

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

401 za manjkajoči ali prekličeni ključ, 402 ko je bilanca prazna, 404 za žeton, ki ni vaš, 409 za match, ki je že tekel, 429, ko greste prehitro, 400 za vse, kar je sam zahtevek narobe.

Število na ključ: 240 branja in 30 match se začne na minuto. Razpusti namen – kar dejansko omejuje match je, da porabite ravnotežje, in ti so tukaj, da zaustavite ponovno zanke ali anketa teče ravno ven. Preko meje dobite 429; anketa teče match vsakih nekaj sekund namesto neprekinjeno.