API

Klíče jsou vytvořeny z vašeho účtu. Přihlaste se, nebo vytvořit jeden nový účet získat počáteční úvěr, který je dost pro skutečný match.

Odešlete klíč jako token na každou žádost. Jedná se o potvrzení, které může strávit váš zůstatek, takže zacházet s ním jako s heslem: pouze na straně serveru, nikdy v prohlížeči, nikdy v úložišti. Unikající klíč je z této stránky zrušen a okamžitě přestane pracovat.

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

Základní URL: https://theorem.chat/api/v1/. Žádosti a odpovědi jsou JSON. Verze je v cestě, takže rozbití změny lodě jako v2 a váš kód funguje.

Spusťte match. Pouze cíl je vyžadován: vynechat panel a výchozí sestava je sedí z různých prodejců, protože modely vyškolené na překrývání sdílení dat slepá místa a panel, který souhlasí sám se sebou není důkaz. match je ve frontě okamžitě a pracuje server, takže žádost se vrátí, jakmile je přijata.

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

Pole

• goal — Tvrdíte, že to vyžadujete.
• rigor / rigor_preset — bar rozhodčí vás drží, doslovně nebo podle jména: standardní, publikační, formální, cena, rozhodnutí. Neznámý přednastavený je odmítnut, spíše než tiše vyměněn za výchozí? je souzen proti standardu, o který jste nežli žádat, je horší než chyba.
• seats — dvě až šest debatních míst, každé modelové ID od GET /api/v1/modelů/ a volitelný postoj.
• referee — Model, který řídí kritéria a znovu kontroluje důkazy.
• max_rounds, usd_ceiling — dosažení stropu zastaví match, místo aby to prošlo, a odmlčené match se znovu vrací přesně tam, kde to přestalo.
• public — zveřejní hotový match na veřejné galerii.

Celých match: stav, kritéria přijetí a jak se každý z nich usadil, kniha stanovených výsledků, důkazy za každým rozhodnutím, a verdikt, jakmile je jeden. match běží minut do hodin, takže průzkum každých pár sekund, zatímco žít? Odpověď vám říká, kdy přestat.

{
  "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: fronty, běh, odmlčená, potřeby_finanční prostředky, vyřešené, vyčerpané, uvízlé, neúspěšné. Poslední čtyři jsou koncové; zablokované, potřeby_finanční prostředky, vyčerpané a zaseklé mohou být obnoveny.

Dejte zastaven match více kol nebo více rozpočtu. Vše, co panel je zaveden je udržován? Výsledky jsou zapsány do knihy jednou a nikdy znovu-získat, a zaznamenané mrtvé konce zastavit to návrat zpět do přístupu, který již selhal.

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/ — co existuje, takže klient může najít cestu bez této stránky.
• GET /api/v1/models/ — Sedadlové modely s úrovní, kontextovým oknem a na milion tokenů. Stejný seznam, jako na stránce.
• GET /api/v1/matches/ — Váš matches, nejnovější první; filtr podle stavu, stránka s limitem a offsetem.
• GET /api/v1/account/ — zůstatek, celoživotní výdaje a zda jste na předplacené úvěry nebo vlastní odvozovací klíč.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — seznam a odvolat klíče. První klíč lze vyrazit pouze zde, v prohlížeči.

Každá porucha má stejný tvar. Pobočka na kódu, který je stabilní; zpráva je próza a může být přewordován.

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

401 pro chybějící nebo zrušený klíč, 402 když zůstatek je prázdný, 404 pro žeton, který není váš, 409 pro match, který je již běží, 429 když jedete příliš rychle, 400 pro cokoli, co žádost sama o sobě špatně.

Počítá se za klíč: 240 čte a 30 match začíná minutu. Volno naschvál? Co vlastně omezuje match je, že utrácí rovnováhu, a tyto jsou zde zastavit retry smyčka nebo poller běží rovnou ven. Přes limit dostanete 429; anketa běží match každých pár sekund, spíše než nepřetržitě.