API

Keys များကိုသင်၏အကောင့်မှဖန်တီးကြသည်. Sign in, သို့မဟုတ်တစ်ခုဖန်တီး — အသစ်အကောင့်များစတင်ခရက်ဒစ်ရ, တစ်ခုအစစ်အမှန်အတွက်လုံလောက်တဲ့ဖြစ်ပါတယ် match.

အားလုံးတောင်းဆိုမှုအပေါ်တစ်ဦး carrier token အဖြစ် key ကိုပို့. ဒါဟာသင့်ရဲ့ငွေကြေးစုဆောင်းနိုင်ပါတယ်တဲ့အတည်ပြုချက်ဖြစ်ပါတယ်, ဒါကြောင့်စကားဝှက်တစ်ခုလိုကုသ: server-side တစ်ခုတည်း, တစ် browser မှာမ, တစ် repository မှာမ. တစ်ခုလိမ်လည် key ကိုဒီစာမျက်နှာကနေဖျက်သိမ်းပြီးချက်ချင်းအလုပ်လုပ်ရပ်တန့်.

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

အခြေခံ URL ကို: https://theorem.chat/api/v1/. တောင်းဆိုမှုများနှင့်တုံ့ပြန်မှု JSON များဖြစ်ကြသည်။ အဆိုပါဗားရှင်းလမ်းကြောင်းထဲမှာဖြစ်ပါတယ်, ဒါကြောင့်တစ်ဦးချိုးဖောက်ပြောင်းလဲမှု v2 အဖြစ်သင့်ရဲ့ code ကိုအလုပ်လုပ်ကိုင်နေဆဲအဖြစ်သင်္ဘောများနှင့်အတူ.

match ကိုစတင်. ရည်မှန်းချက်သာလိုအပ်သည်: panel ကိုထွက်ခွာနှင့် default lineup ကွဲပြားခြားနားသောရောင်းချသူများမှထိုင်နေသည်, အကြောင်းကို model များအထပ်ထပ်ဒေတာမျှဝေ blind spots အပေါ်လေ့ကျင့်သင်ကြားနှင့်ကိုယ်ပိုင်နှင့်အတူသဘောတူ panel ကိုသက်သေအထောက်အထားမဟုတ်ပါဘူးကြောင့်. အဆိုပါ match ချက်ချင်းတန်းစီနှင့်ဆာဗာမှအလုပ်လုပ်, ဒါကြောင့်တောင်းဆိုချက်ကိုလက်ခံရရှိသောအခါအမြန်ဆုံးပြန်လာ.

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 — တောင်းဆိုချက်, သင့်ရဲ့ကိုယ်ပိုင်စကားလုံးများ. Required.
• rigor / rigor_preset — တစ်ဦးက bar ကို referee ကသင်တို့ကိုကိုင်ထား, လုံးဝသို့မဟုတ်အမည်အားဖြင့်: စံ, ထုတ်ဝေ, တရားဝင်, ဆု, ဆုံးဖြတ်ချက်. အမည်မသိ preset ကိုအစားတိတ်ဆိတ်စွာ default ကိုအတွက် swapped ငြင်းပယ်သည် - သင်ကမေးမထားဘူးတဲ့စံနှုန်းကိုဆန့်ကျင်ပြီးဆုံးဖြတ်ခြင်းသည်အမှားထက်ပိုဆိုး.
• seats — နှစ်ခုမှခြောက်ဆွေးနွေးအခန်းကဏ္ဍ, GET /api/v1/models/ နှင့် optional ရပ်တည်ချက်မှတစ်ဦးတိုင်းတစ်ဦးမော်ဒယ် id ကို.
• referee — စံချိန်စံညွှန်းများအပေါ်စည်းမျဉ်းစည်းကမ်းများနှင့်အထောက်အထား re-checks သောမော်ဒယ်. အပေါ်ကုန်ကျစရိတ်တန်ဖိုးရှိ.
• max_rounds, usd_ceiling — hard limits. ပင်လယ်ရေမျက်နှာပြင်ကိုရောက်ရှိခြင်းကိုရပ်တန့် match ဒါပေမဲ့လွန်ခဲ့တဲ့သုံးစွဲဖို့ထက်, နှင့်ရပ်တန့် match သူကရပ်တန့်သွားတဲ့နေရာမှာအတိအကျပြန်လာ.
• public — ပြီးစီးခဲ့သည်ကိုထုတ်ဝေ match အများပြည်သူ gallery ကို.

အားလုံး match: အခြေအနေ, ဤလက်ခံမှုစံနှုန်းများနှင့်တစ်ဦးချင်းစီကိုဘယ်လို settled ခဲ့သည်, တည်ထောင်ရလဒ်များ၏ဘုတ်အဖွဲ့, အားလုံးအမိန့်နောက်ကွယ်မှသက်သေအထောက်အထား, နှင့်ဆုံးဖြတ်ချက်တစ်ဦးရှိပါတယ်တစ်ကြိမ်. match နာရီမိနစ်များအတွက် runs, ဤသို့ poll every few seconds while live — the response tells you when to stop.

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

အခြေအနေများ: တန်းစီ, လျှောက်လွှာ, paused, needs_funds, ဖြေရှင်း, ကုန်ဆုံး, stuck, failed. နောက်ဆုံးလေး terminal ကိုဖြစ်ကြသည်; paused, needs_funds, ကုန်ဆုံးနှင့် stuck ပြန်စနိုင်သည်။

Give a stopped match more rounds or more budget. Everything the panel established is kept — results are written to a ledger once and never re-derived, and recorded dead ends stop it walking back into an approach that already failed.

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/ — ရှိနေသည်ကို, ဒါကြောင့်တစ်ဦး client ကိုဤစာမျက်နှာမရှိဘဲ၎င်း၏လမ်းကိုရှာတွေ့နိုင်ပါတယ်.
• GET /api/v1/models/ — သူတို့ရဲ့အဆင့်နှင့်အတူ seatable မော်ဒယ်များ, context window ကိုနှင့်တစ်ဦးလျှင်-သန်း-token နှုန်းထားများ. စာမျက်နှာတစ်ခုအဖြစ်တူညီသောစာရင်း။
• GET /api/v1/matches/ — သင့်ရဲ့ matches, အသစ်ဆုံးပထမဦးဆုံး; အခြေအနေအားဖြင့် filter ကို, ကနုတ်လက္ခဏာနှင့် offset နှင့်အတူစာမျက်နှာ.
• GET /api/v1/account/ — ငွေကြေး, ဘဝကုန်ကျစရိတ်နှင့်သင် prepaid credit card သို့မဟုတ်သင်၏ကိုယ်ပိုင် inference key ကိုအပေါ်ဖြစ်ကြသည်မဟုတ်ပါ.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — list and revoke keys. ပထမဦးဆုံး key ကိုသာဒီမှာ minted နိုင်ပါတယ်, တစ် browser မှာ.

အားလုံးပျက်ကွက်တူညီတဲ့ပုံစံရှိပါတယ်. code ကိုအပေါ် Branch, တည်ငြိမ်ဖြစ်ပါတယ်; message is prose and may be reworded.

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

401 များအတွက် missing သို့မဟုတ် revoked key ကို, 402 ချိန်ခွင်လျှာအလွတ်ဖြစ်တဲ့အခါ, 404 သင့်ရဲ့မဟုတ်တဲ့တဦးတည်းအက္ခရာများအတွက်, 409 match များအတွက်ယခုပင် running နေကြတယ်, 429 သင်အရမ်းမြန်သွားတဲ့အခါ, 400 တစ်ခုခုအတွက်တောင်းဆိုချက်ကိုယ်ပိုင်အမှားရခဲ့.

key ကိုတစ်ဦးလျှင်စာရင်းသွင်း: 240 ဖတ်ရှုခြင်းနှင့် 30 match တစ်မိနစ်စတင်. ရည်ရွယ်ချက်အပေါ် Loose - တကယ်တော့တစ်ခုကန့်သတ် match ၎င်း၏သင်၏ငွေကြေးစုဆောင်းကုန်ကျသည်ဟုဖြစ်ပါသည်, နှင့်ဤ retry loop သို့မဟုတ်တစ် poller ထွက်ပြေး flat ကိုရပ်တန့်ရန်ဒီမှာဖြစ်ကြသည်။ သင်ကအလွန်အကနင်းရ 429; ရပ်တန့် match ထက်ဆက်လက်တစ် running poll အားလုံးအနည်းငယ်စက္ကန့်.