API

Võtmed on loodud teie konto. Sisse logida, või luua üks ~ uus konto saada alustamise krediiti, mis on piisav tõeline match.

Igale päringule saadetakse võti esitaja märgina. See on ausõna, mis võib sinu tasakaalu kulutada, nii et kohtle seda paroolina: ainult server, mitte kunagi brauseris, mitte kunagi hoidlas. Lekitatud võti tühistatakse sellest leheküljest ja lakkab kohe töötamast.

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

BaasURL: https://theorem.chat/api/v1/. Nõudmised ja vastused on JSON. Versioon on teel, nii et purunemine muutus laevade v2 ja teie kood jätkab tööd.

Käivita match. Vajalik on ainult eesmärk: jätta paneel välja ja vaikimisi rivistus on erinevate müüjate, sest mudelid koolitatud kattuvad andmed jagada pimelaike ja paneel, mis nõustub ise ei ole tõendeid. match on järjekorda kohe ja töötanud server, nii et taotlus naaseb niipea, kui see on vastu võetud.

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

Väljad

• goal — Nõue, sinu enda sõnadega.
• rigor / rigor_preset — baar, kuhu kohtunik sind hoiab, sõna- sõnalt või nimelt: standard, avaldamine, ametlik, auhind, otsus. Tundmatu eelseadistus on tagasi lükatud, mitte vaikselt vahetatud vaikimisi ~ mida hinnatakse vastu standard sa ei küsinud on hullem kui viga.
• seats — kaks kuni kuus arutelukohta, iga mudel ID GET /api/v1/mudelid / ja vabatahtlik asend.
• referee — mudel, mis reguleerib kriteeriume ja kontrollib uuesti tõendeid.
• max_rounds, usd_ceiling — Rasked piirangud. Lae saavutamine peatab match, mitte ei kuluta selle eest, ja peatus match jätkab täpselt seal, kus ta peatus.
• public — avaldada match valmis avalikule galeriile.

Kogu match: staatus, vastuvõtmise kriteeriumid ja kuidas iga oli lahendatud, pearaamatu kehtestatud tulemused, tõendid taga iga otsus, ja otsus, kui on üks. match jookseb minutit tundi, nii et küsitlus iga paari sekundi jooksul, kui elada ~ vastus ütleb teile, millal lõpetada.

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

Olekud: järjekord, töötab, seiskub, vajab_ raha, lahendatud, ammendatud, ummikus, nurjus. Viimased neli on terminal; peatatud, vajab_ fondid, ammendatud ja ummikus saab jätkata.

Anna peatunud match rohkem vooru või rohkem eelarve. Kõik paneel loodud hoitakse ~ tulemused on kirjutatud pearaamatu üks kord ja kunagi uuesti tuletatud, ja salvestatud tupikotsad peatada see kõndimine tagasi lähenemine, mis juba ebaõnnestunud.

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/ — mis on olemas, et klient saaks leida oma tee ilma selle lehe.
• GET /api/v1/models/ — istmemudelid, mille tase, kontekstiaken ja miljoni euro suuruste määradega. Sama nimekiri, nagu lehel.
• GET /api/v1/matches/ — teie matches, uusim esimene; filter oleku, lehele piir ja nihe.
• GET /api/v1/account/ — tasakaal, elu kulutada ja kas olete ettemakstud krediiti või oma järeldus võti.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — list ja tagasi klahve. Esimene võti on võimalik vermida ainult siin, brauseris.

Igal veal on sama kuju. Hargneme koodil, mis on stabiilne; sõnum on proosa ja seda võib ümber sõnastada.

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

401 kadunud või tühistatud võti, 402, kui tasakaal on tühi, 404 märgi, mis ei ole sinu, 409 jaoks match, mis on juba töötab, 429 kui te liigute liiga kiiresti, 400 jaoks midagi palve ise valesti.

Võtme kohta loetuna: 240 loeb ja 30 match algab minuti pärast. Loose on meelega ~ Mis tegelikult piirab match on see, et ta kulutab oma tasakaalu, ja need on siin, et peatada uuesti proovida silmus või tolmeldaja jookseb korter välja. Üle piiri saad 429; küsitlus töötab match iga mõne sekundi asemel pidevalt.