API

Atslēgas tiek izveidotas no jūsu konta. Pierakstīties, vai izveidot vienu — jauni konti iegūt sākuma kredītu, kas ir pietiekami, lai reālu match.

Sūtīt atslēgu kā nesēju, atzīmi uz katru pieprasījumu. Tā ir kredenta, kas var iztērēt jūsu līdzsvaru, tāpēc to apstrādāt kā paroli: servera pusē tikai, nekad pārlūkā, nekad krātuvē. Noplūdusī atslēga tiek atsaukta no šīs lapas un nekavējoties pārtrauc darboties.

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

Base URL: https://teorem.chat/api/v1/. Pieprasījumi un atbildes ir JSON. Versija ir ceļā, tāpēc lūzums maina kuģus, kā v2 un jūsu kods turpina darboties.

Sākt match. Tikai mērķis ir nepieciešams: atstāt paneli ārā un noklusējuma līniju ir sēž no dažādiem pārdevējiem, jo modeļi apmācīti par pārklājošu datu kopīgošanas aklo plankumu un panelis, kas piekrīt sevis nav pierādījumi. match ir rindā uzreiz un strādā serveri, tāpēc pieprasījums atgriežas, tiklīdz tas ir pieņemts.

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

Lauki

• goal — prasība, savā vārdā. Nepieciešams.
• rigor / rigor_preset — bārs, uz kuru atbildētājs tur tevi, stenogrammā vai pēc nosaukuma: standarts, publikācija, oficiāla, balva, lēmums. Nezināma priekšiestats tiek noraidīts, nevis klusi apmainīts pret noklusējuma dēļ — tiek tiesāts pēc standarta, kuru jūs nelūdzāt, ir sliktāks par kļūdu.
• seats — no divām līdz sešām debatēšanas vietām, katrs modelis id no GET /api/v1/modeli / un izvēles pozīciju.
• referee — modelis, kas noteikumi par kritērijiem un vēlreiz pārbaudīt pierādījumus. Vērts tērēt uz.
• max_rounds, usd_ceiling — grūti ierobežojumi. Sasniedzot griestu pauze, nevis tērējot garām to, un pauze match atsāk tieši tur, kur tas apstājās.
• public — publicēt pabeigto match publiskā galerijā.

Visa match: stāvoklis, pieņemšanas kritēriji un to, kā katrs tika nokārtots, noliktā rezultātu, pierādījumi aiz katra lēmuma, un spriedums, kad ir viens. A match darbojas minūtes līdz stundām, tāpēc aptauja ik pēc dažām sekundēm, kamēr dzīvo – atbilde stāsta, kad pārtraukt.

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

Statusi: rindā, darbojas, pauzē, nepieciešams_ fonds, atrisināts, izsmelts, iestrēdzis, neizdevās. Pēdējās četras ir termināls; apturēts, nepieciešams_ fonds, izsmelts un iestrēdzis var atsākt.

Dodiet apstājās match vairāk kārtās vai vairāk budžetu. Viss, kas komisija ir izveidota tiek saglabāta — rezultāti ir rakstīti uz ledāju reizi un nekad atkārtoti iegūti, un ierakstīta mirušie gali apturēt to ejot atpakaļ uz pieeju, kas jau neizdevās.

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/ — kas pastāv, lai klients var atrast savu ceļu bez šīs lapas.
• GET /api/v1/models/ — Sēdamus modeļus ar līmeņu, konteksta loga un uz vienu miljonu miljonu zīmoliņu īpatsvara rādītājiem. Tas pats saraksts, kā lapa.
• GET /api/v1/matches/ — jūsu matches, jaunākā pirmā; filtrēt pēc statusa, lapa ar ierobežojumu un nobīdi.
• GET /api/v1/account/ — līdzsvars, mūža izdevumi un vai jūs esat par priekšapmaksas kredītu vai savu ievades atslēgu.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — sarakstu un atsaukšanu taustiņiem. Pirmo taustiņu var izkaltēt tikai šeit, pārlūkā.

Katrai kļūdai ir tāda pati forma. Sazara kodam, kas ir stabils; ziņojums ir prozai un to var pārfrāzēt.

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

401 par trūkstošo vai atcelto atslēgu, 402 kad atlikums ir tukšs, 404 par žetonu, kas nav jūsu, 409 par match, kas jau darbojas, 429, kad jūs dodaties pārāk ātri, 400 par visu pieprasījumu pati got kļūdās.

Skaitīts uz atslēgu: 240 lasa un 30 match sākas minūti. Atslābiniet no mērķa — kas faktiski ierobežo match ir tas, ka tas tērē jūsu līdzsvaru, un tie ir šeit, lai apturētu atkārtotu cilpu vai apputeksnēšanas darbojas plakani. Pār limitu jums 429; aptaujāt darbojas match ik pēc dažām sekundēm, nevis nepārtraukti.