API

Kľúče sú vytvorené z vášho účtu.Prihláste sa, alebo vytvorte nový účet - nové účty získajú počiatočný kredit, ktorý je dostatočný pre skutočné match.

Odoslať kľúč ako nosičový token pri každej požiadavke. Je to poverenie, ktoré môže minúť váš zostatok, takže s ním zaobchádzajte ako s heslom: iba na strane servera, nikdy v prehliadači, nikdy v úložisku. Únik kľúča je z tejto stránky odvolaný a prestane okamžite fungovať.

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

Základná URL: https://theorem.chat/api/v1/. Požiadavky a odpovede sú JSON. Verzia je v ceste, takže rozbitá zmena sa doručí ako v2 a váš kód bude naďalej fungovať.

Spustí sa match. Vyžaduje sa len cieľ: nechať panel von a predvolené zloženie je usadené od rôznych dodávateľov, pretože modely trénované na prekrývajúcich sa údajoch zdieľajú slepé miesta a panel, ktorý súhlasí so sebou, nie je dôkazom. match je okamžite zaradený do frontu a spracovaný serverom, takže požiadavka sa vráti hneď, ako je prijatá.

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

Polia

• goal — Popis nároku vlastnými slovami. Povinné.
• rigor / rigor_preset — Podľa toho, na akú úroveň vás posudzovateľ považuje, doslovne alebo podľa mena: štandard, publikácia, formálne, cena, rozhodnutie. Neznáme prednastavenie sa odmietne, namiesto toho, aby sa ticho vymenilo za predvolené. Súdenie podľa štandardu, o ktorý ste nepožiadali, je horšie ako chyba.
• seats — Dve až šesť debatujúcich miest, každé s modelovým ID z GET /api/v1/models/ a voliteľným pozíciou.
• referee — Model, ktorý riadi kritériá a opätovne kontroluje dôkazy. Stojí za to investovať.
• max_rounds, usd_ceiling — Dosiahnutie stropu pozastaví match namiesto toho, aby ho prekročil, a pozastavený match pokračuje presne tam, kde skončil.
• public — Zverejniť hotový match do verejnej galérie.

Celý systém match: stav, akceptačné kritériá a ako boli všetky vyriešené, kniha stanovených výsledkov, dôkazy za každým rozhodnutím a verdikt, keď je vynesený. Systém match beží minúty až hodiny, takže sa každých pár sekúnd dotazuje, keď je nažive - odpoveď vám povie, kedy zastaviť.

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

Stavy: queued, running, paused, needs_funds, solved, exhausted, stuck, failed Posledné štyri sú terminálne; paused, needs_funds, exhausted a stuck môžu byť obnovené.

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/ — Popis toho, čo existuje, aby klient našiel svoju cestu bez tejto stránky.
• GET /api/v1/models/ — Modely s možnosťou nasadenia s ich úrovňou, kontextovým oknom a sadzbami za milión tokenov. Rovnaký zoznam, ako stránka.
• GET /api/v1/matches/ — Zoradiť podľa matches, najnovšie prvé; filtrovať podľa stavu, stránky s limitom a offset.
• GET /api/v1/account/ — Zostatok, životné výdavky a či ste na predplatený kredit alebo vlastný kľúč odvodenia.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — Prvý kľúč môže byť vymenený iba tu, v prehliadači, a to v prípade, že je kľúč v bezpečí.

Každé zlyhanie má rovnaký tvar, vetva na kóde, ktorý je stabilný, správa je próza a môže byť prepísaná.

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

401 pre chýbajúci alebo odvolaný kľúč, 402 keď je zostatok prázdny, 404 pre token, ktorý nie je váš, 409 pre match, ktorý už beží, 429 keď idete príliš rýchlo, 400 pre čokoľvek, čo sa stalo pri samotnej požiadavke.

Počítané na kláves: 240 čítaní a 30 match spustení za minútu. Uvoľnené na účel — čo v skutočnosti obmedzuje match je, že stráca váš zostatok, a tieto sú tu na to, aby zabránili retry slučke alebo polleru, ktorý sa vyčerpá. Nad limit dostanete 429; poľujte bežiaci match každých pár sekúnd, nie nepretržite.