די API

אַלץ װאָס דער פּלאַץ טוט, איבער HTTP: באַשטעטיקן אַ קײן און דער װאַרד מוז זײַן קלאָר, אַרײַנשטעלן אַ פּאַנעל, און װײַזן אױף ביז דער װײַזער האָט אױסגעפֿירט װאָסער קריטעריום ער װיל. דער זעלבער פּאַנעל, דער זעלבער צאָלונג, דער זעלבער צאָלונג־גראָבער — ניט קיין בלעטערער

אױסגלײַכונג

קלײַבלעך זײַנען אױסגעשאַפֿן פֿון אײַער אױסגעפֿירטע אױספֿיר. אַרײַנלאָגירן אױף אױסצושטעלן אַ קאָפּיע — נײַע אױספֿירן װעלן באַקומען אַ אָנהײב־קראָם, װאָס איז גענוג פֿאַר אַ אמת־צופֿאַרבינדונג

אַרײַנשרײַב צוגעלייגט
אױטענטיפֿאַקאַציע

שיקן דעם קײל װי אַ װײַזער־טוקען אױף װײַלער װעג. דאָס איז אַ צוטריט־קאָפּיע װאָס קען װײַזן אױף אײַער װײַז, אַזוי באַהאַנדלט עס װי אַ פּאַסװאָרט: נאָר אויף דער סערװירער־סײַט, קײן מאָל ניט אין אַ בלעטערער, קײן מאָל ניט אין אַ װײַזער. אַ װײַזטער קײל איז אָפּגעװײַזט פֿון דער װײַז און װײַזט ניט מער אױף

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

װײַז פֿאָרױסװײַז צום צעפּיכעסל

POST /api/v1/matches/

װײַז פֿאָרױסװײַז פֿונעם צעפּיכעסל

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

פֿײַל

  • goal — די טענה, אין אייער אייגענע ווערטער. נייטיק
  • rigor / rigor_preset — דער װײַז װאָס דער װײַזער װײַזט אײַך, בײַם נאָמען אױף אױס: סטאַנדאַרד, װײַזונג, פֿאָרמעלער, פּריז, באַשלוס. אַ אומבאַקאַנטער פֿאַרװאַנדלונג ווערט ניט אָנגענומען, נאָר אױף דער געװײנטלעכער — צו װײַזן אױף אױף אַ סטאַנדאַרד װאָס דו האָסט ניט געװוּסט איז קלענער װי אַ טעות
  • seats — צוויי ביז זעקס דעבאַטע־שטעט, יעדער מיט אַ מאָדעל־איד פֿון GET /api/v1/models/ און אַ װײַלװײַל־שטאַט
  • referee — דער מודל װאָס װײַזט די קריטעריײן און װײַזט אױף דער װײַט די װײַזונגען. װײַט צו צאָלן
  • max_rounds, usd_ceiling — װײַל די װײַטקייט איז צו האַרט. צו דערגרייכן דעם װײַטקייט־הײך װעט אױפֿהיטן דעם שפּיל, ניט צו װײַטערצוגיין, און אַ װײַטקייט־צוגעפֿאַלענע שפּיל װעט זיך אױפֿהיטן פּונקט פֿון דאָרטּ װוּ זי האָט זיך אױפֿגעהאַלטן
  • public — פֿאָרױסװײַז פֿאָרױסװײַז
GET /api/v1/matches/{token}/

דער גאנצער שטיקל: סטאטוס, די אױסגעלוִיענע קריטעריעס און ווי יעדער איז געװען װײַטערגעפֿירט, דער װײַטערגײער פֿון װײַטערגעפֿירטע רעזולטאַטן, די װײַזונגען אױף אײן אײנס, און דער װירדום אױף אײן. אײן שטיקל װײַזט זיך אױף מינוט צו שעה, אַזוי װײַז אַ פּאָר סעקונדעס אױף דער װײַב — דער ענטפֿער זאָגט אײַך װי לאַנג עס זאָל װערן אױף

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

סטאַטוסן: װײַז־אַרױס, לײדיק, אױפֿגעהאַלטן, װײַז־אַרױס־װײַז, פֿאַרלוירן, אױסגעפֿאַלן, אױסגעפֿאַלן, דורכפֿאַלן. די לעצטע פֿיר זײַנען טערמינאַלן; אױפֿגעהאַלטן, װײַז־אַרױס־װײַז, אױסגעפֿאַלן און אױסגעפֿאַלן קען מען װײַטערצושטעלן

POST /api/v1/matches/{token}/resume/

װײַז דעם װײַז־פֿאַרבײַט־װײַזער

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/ — וואָס איז דאָ, אַזוי אַז אַ קליענט קען געפֿינען זײַן וועג אָן דעם בלעטערער
  • GET /api/v1/models/ — seatable מאָדעלס מיט זייערע װירע, קאָנטעקסט־פֿענצטער און מיליאָן־טאָקען־רײַטן דער זעלבער רשימה, װי אַ זײַט
  • GET /api/v1/matches/ — װײַז די װײַזונגען, דער נײַסטער ערשטער; פֿילטער לויט סטאַטוס, בלעטער מיט װײַזונג־פֿאַרב און אָפּרוקונג
  • GET /api/v1/account/ — בלאַק, לעבן־טײל צאָלונג און צי דו ביסט אױף אַ פֿאַרצײכנטער קרעדיט אױב נישט אױף אײַער אייגענעם װײַז־קלײַב
  • GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — קלײַב אַלץ אױס און אָפּקלײַב קײן
טעותן

יעדער דורכפֿאַל האָט די זעלבע פֿאָרעם. פֿאַרבינדן צו קאָד, װאָס איז סטאַבעלע; דער אָנזאָג איז פּראָזע און קען זיך איבערשרײַבן

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

401 פֿאַר אַ װײַטערדיקן אָדער אָפּגעװײַזטן קײל, 402 װען דער באַטרעף איז לײדיק, 404 פֿאַר אַ װײַטערדיקן קײל װאָס איז ניט אייער, 409 פֿאַר אַ פֿאַרבינדונג װאָס לײגט שוין אױף, 429 װען דו גייסט צופֿרידן, 400 פֿאַר װאָסער װײַטערדיקן קײל װאָס איז נישט גוט

װײַז װײַז

קלײַב אױס קאָפּיע

װײַל די צאָלונג איז די זעלבע ווי אױף דער וועבזײַט: דו באַצאָלסט אױף אַ טיקעט אױף דער אױפֿגעשריבענער צאָלונג אױף אַ מאָדעל, פֿון אַ פֿאַרצײכנטער צאָלונג אױף אױף אײַער אייגענעם קײן ווי די צאָלונג אַרבעט