API

Ključevi su napravljeni s vašeg računa. Prijavite se ili napravite jedan — novi računi dobivaju početni kredit, što je dovoljno za stvarne match.

Pošalji ključ kao token za nošenje na svaki zahtjev. To je uvjerenje koje može potrošiti ravnotežu, tako da ga tretirajte kao lozinku: samo poslužitelj-strana, nikada u pregledniku, nikada u repozitoriju. Procureni ključ je opozvan s ove stranice i prestaje odmah raditi.

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

Osnovni URL: https://theorem.chat/api/v1/. Zahtjevi i odgovori su JSON. Verzija je na putu, tako da razbijanje promjena brodova kao v2 i vaš kod nastavlja raditi.

Započnite match. Samo je cilj potreban: ostavite ploču van i zadani postava sjedi od različitih proizvođača, jer modeli obučeni na preklapanje podataka slijepo mjesto i ploča koja se slaže sa sobom nije dokaz. match je odmah u redu i radi na poslužitelju, tako da se zahtjev vraća čim se prihvati.

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 — Tvrdnja, svojim riječima.
• rigor / rigor_preset — bar koji sudija drži vas na, doslovno ili po imenu: standard, publikacija, formalna, nagrada, odluka. Nepoznata predaja je odbijena umjesto tiho zamijenjena za uobičajeno — biti suđen prema standardu koji niste tražili je gore nego greška.
• seats — dva do šest raspravljajućih sjedala, svaki model ID iz GET /api/v1/models / i opcionalni stav.
• referee — model koji provodi kriterije i ponovno provjerava dokaze.
• max_rounds, usd_ceiling — Teško granice. Dostići strop pauzira match umjesto provesti pored njega, a pauza match nastavlja točno gdje je stao.
• public — Objaviti završetak match u javnoj galeriji.

Cijelo match: status, kriteriji za prihvatanje i kako je svako rješeno, knjiga utvrđenih rezultata, dokazi iza svake presude, i presuda jednom. match trči za minute do sata, tako da anketa svakih nekoliko sekundi dok je živa – odgovor vam govori kada treba prestati.

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

Stanje: u redu, pokreće, pauza, neeses_funds, riješeno, iscrpljeno, zaglavljeno. Posljednja četiri su terminal; pauza, neese_funds, iscrpljeno i zaglavljeno može se nastaviti.

Dajte zaustavljeno match više rundi ili više proračuna. Sve što je osnovan panel je čuvan – rezultati su zapisani u knjigu jednom i nikada ponovno-izveden, a snimljen crkva zaustavlja hodanje natrag u pristup koji je već propao.

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/ — ono što postoji, tako da klijent može pronaći svoj put bez ove stranice.
• GET /api/v1/models/ — modeli za sjedanje s njihovim stupnjem, prozorom konteksta i stopama po milijunima. Ista lista, kao stranica.
• GET /api/v1/matches/ — vaš matches, najnoviji prvi; filtr po statusu, stranica s ograničenjem i kompenzacijom.
• GET /api/v1/account/ — bilans, životni trošak i bilo da ste na predpaid kredit ili vlastiti zaključak ključ.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — Lista i poništavanje tipki. Prvi ključ se može pokrenuti samo ovdje, u pregledniku.

Svaki neuspjeh ima isti oblik. Ogranaka na kodu, koja je stabilna; poruka je proza i može biti preuređena.

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

401 za nedostajući ili opozvan ključ, 402 kada je bilanca prazna, 404 za žeton koji nije vaš, 409 za match koji je već pokrenut, 429 kada idete prebrzo, 400 za bilo što sam zahtjev dobio krivo.

Broji po ključu: 240 čita i 30 match počinje na minutu. Oslobodite namjeru — što zapravo ograničava match je da troši ravnotežu, a ovo su ovdje da se zaustavi ponovno petlja ili oprašivač trči ravno. Preko granice dobivate 429; anketa je match svakih nekoliko sekundi umjesto kontinuirano.