API

Kulcsok jönnek létre a fiók. Jelentkezzen be, vagy hozzon létre egy · új fiók kap kezdő hitel, ami elég egy igazi match.

Küldje el a kulcsot, mint egy hordozó token minden kérésre. Ez egy olyan hiteles, hogy elköltheti az egyenlegét, így kezelje azt, mint egy jelszó: szerver-oldalon csak, soha egy böngészőben, soha egy adattárban. Egy kiszivárgott kulcsot visszavonjuk erről az oldalról, és azonnal leáll a munka.

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

Alap URL: https://theorem.chat/api/v1/. Kérések és válaszok JSON. A verzió az útban van, így a törés váltó hajók, mint v2 és a kód működik.

Csak a cél szükséges: hagyja ki a panelt, és a különböző gyártóknál az alapértelmezett sorbaállást, mert az átfedésekre képzett modellek megosztják a vakfoltokat és a saját magával egyező panel nem bizonyíték. A match azonnal sorban áll és szerverrel dolgozik, így a kérés azonnal visszatér, amint elfogadják.

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

Mezők

• goal — a követelést, saját szavaival.
• rigor / rigor_preset — A bíró által tartott sáv, szó szerint vagy név szerint: standard, közzététel, hivatalos, díj, döntés. Egy ismeretlen beállítást nem lehet csendesen kicserélni az alapértelmezett • elítélve ellen egy szabvány nem kért rosszabb, mint hiba.
• seats — 2-6 vitaülés, mindegyik modell azonosító a GET /api/v1/modellek/ és egy opcionális állás.
• referee — a kritériumokra vonatkozó és a bizonyítékokat újra ellenőrző modell.
• max_rounds, usd_ceiling — A felső határ elérése a match-et szüneteli, ahelyett, hogy túlköltenénk rajta, és a match-es szünet pontosan ott folytatódik, ahol megállt.
• public — közzé a kész match a nyilvános galéria.

Az egész match: státusz, az elfogadási kritériumok és hogyan rendezték, a főkönyv a megállapított eredmények, a bizonyítékok mögött minden döntés, és az ítélet, ha van egy. A match fut percről órára, így közvélemény-kutatás néhány másodpercenként, míg él • a válasz megmondja, hogy mikor kell abbahagyni.

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

Állapotok: sorba állt, futott, szünetelt, szükség_pénzalap, megoldott, kimerült, beragadt, sikertelen. Az utolsó négy terminál; szünetelt, szükség_pénzalap, kimerült és beragadt lehet újra.

Adj egy megállított match több forduló vagy több költségvetés. Minden, amit a panel létrehozott tartják  eredmények ír egy főkönyv egyszer, és soha nem újra származó, és rögzített zsákutcák megállt sétál vissza egy megközelítés, amely már nem sikerült.

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/ — mi létezik, hogy egy ügyfél megtalálja az utat nélkül ez az oldal.
• GET /api/v1/models/ — A modelleket a szintjük, a kontextus ablakuk és a milliós értékük alapján kell elhelyezni. Ugyanaz a lista, mint egy oldal.
• GET /api/v1/matches/ — a matches, legújabb első; szűrő állapot, oldal limit és eltolás.
• GET /api/v1/account/ — egyensúly, életpótlás, és hogy előre fizetett hitel vagy saját következtetés kulcs.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — Az első kulcs csak itt, egy böngészőben nyerhető.

Minden kudarcnak ugyanaz a formája. A kód egyenetlen, ami stabil; az üzenet próza és átírható.

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

401 egy eltűnt vagy visszavont kulcsért, 402, 404 egy nem a tiédre szóló zsetonért, 409-et egy match-ért, ami már fut, 429-et, ha túl gyorsan haladsz, 400-at mindenért, amit maga a kérés tévedett.

Számolva kulcsonként: 240 olvas és 30 match percenként indul. Lazítson szándékosan • ami valójában korlátozza a match az, hogy költi az egyenlegét, és ezek azért vannak itt, hogy megállítsa a retry hurok vagy a szavazó fut ki. A határértéken túl kap 429; szavazzon a fut match néhány másodpercenként, ahelyett, hogy folyamatosan.