API

ڪُليءَ کي توھان جي اڪائونٽ مان ٺاھيو ويو آھي. لاگ ان ٿيو يا ھڪ ٺاھيو - نئون اڪائونٽ شروع ڪرڻ لاءِ ڪرڊٽ حاصل ڪندو آھي، جيڪو ھڪ حقيقي ميچ لاءِ ڪافي آھي.

سڀئي درخواستون ڪُل کي بارر ٽوڪُن طور موڪلين. اھو ھڪ سڃاڻپ آھي جيڪو توھان جو توازن خرچ ڪري سگھي ٿو، تنھنڪري اھو پاسورڊ وانگر سمجھيو وڃي: صرف سرور-ساڄي، ڪڏھن به برائوزر ۾، ڪڏھن به رپورٽ ۾. ھڪ لڪايل ڪُل ھِن صفحي مان منسوخ ڪئي ويندي آھي ۽ فوري طور ڪم ڪرڻ بند ڪندو آھي.

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

Base URL: https://theorem.chat/api/v1/. درخواستون ۽ جواب JSON آهن. ورزن پنڌ ۾ آهي، تنهنڪري هڪ ٽوڙندڙ تبديلي v2 جي طور تي موڪلي ٿي ۽ توهان جو ڪوڊ ڪم ڪري رهيو آهي.

ميچ شروع ڪريو. صرف مقصد جي ضرورت آھي: پنل کي ٻاهر ڇڏي ڏيو ۽ مختلف واپارين کان اڻ ڄاتل لائين اپ کي رسيڊ ڪيو وڃي، ڇاڪاڻ ته ماڊل جيڪي ڳنڍيل ڊيٽا تي تربيت ڏنل آھن blind spots شيئر ڪن ٿا ۽ هڪ پنل جيڪو پاڻ سان متفق آھي ثبوت نه آھي. ميچ فوري طور تي صف ۾ رکيو ويندو آھي ۽ سرور طرفان ڪم ڪيو ويندو آھي، تنهنڪري درخواست واپس ايندي جڏھن قبول ڪيو ويندو آھي.

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 — ٻه کان ڇهه بحث مباحثي سيٽن، هر هڪ هڪ ماڊل id کان GET /api/v1/models/ ۽ اختياري پوزيشن.
• referee — ماڊل جيڪو معيار تي حڪمران آهي ۽ ثبوت کي ٻيهر چيڪ ڪري ٿو. خرچ ڪرڻ جي قابل.
• max_rounds, usd_ceiling — سخت حدون. مٿاڇري کي پھچڻ سان راند وقف ٿئي ٿي ان کان اڳ خرچ ڪرڻ جي بدران، ۽ وقف ٿيل راند اتي ئي وري شروع ٿئي ٿي جتي وقف ٿي.
• public — مڪمل ميچ پبلڪ گالري ۾ شايع ڪر.

سڄي ميچ: حالت، قبول ڪرڻ جا معيار ۽ ڪيئن هر هڪ حل ڪيو ويو، ٺهيل نتيجن جو ڪتاب، هر فيصلي جي پويان ثبوت، ۽ فيصلو جڏهن هڪ آهي. هڪ ميچ منٽن کان ڪلاڪن تائين هلندي آهي، تنهنڪري هر چند سيڪنڊن ۾ پوئلڳي ڪريو جڏهن جيئرو هجي - جواب توهان کي ٻڌائي ٿو ته ڪڏھن وقفو ڪرڻ گهرجي.

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

حالتون: صف ۾، هلندڙ، وقف ٿيل، need_funds، حل ٿيل، ختم ٿيل، جڪڙيل، ناڪام. آخري چار ٽائرمينل آھن؛ وقف ٿيل، need_funds، ختم ٿيل ۽ جڪڙيل وري شروع ڪري سگھجن ٿا.

وقف ٿيل ميچ کي وڌيڪ رانديون يا وڌيڪ بجيٽ ڏيو. پينل جو سڀ ڪجهه قائم ڪيو ويو آھي - نتيجا هڪ ڀيرو هڪ ليٽر ۾ لکيا ويا آھن ۽ ڪڏهن به وري نه پيدا ڪيا ويا آھن، ۽ رڪارڊ ٿيل بيڪار پڇاڙي ان کي اڳ ۾ ئي ناڪام ٿيندڙ طريقي ۾ موٽڻ کان روڪي ٿي.

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 ڪنهن به شيءِ لاءِ جيڪا درخواست پاڻ غلط ٿي وئي.

هر ڪوڊ جي ڳاڻيٽي: 240 پڙهڻ ۽ 30 ميچ شروع ڪرڻ هڪ منٽ ۾. لاڪ اپ تي مقصد - جيڪو في الحال هڪ ميچ کي محدود ڪري ٿو اهو آهي ته اهو توهان جي توازن کي خرچ ڪري ٿو، ۽ اهي هتي ٻيهر ڪوشش ڪرڻ جي لوپ يا پولر جي ڊرائيونگ کي روڪڻ لاءِ آهن. حد کان وڌيڪ توهان 429 حاصل ڪندا آهيو؛ هر چند سيڪنڊن ۾ هڪ هلندڙ ميچ پوسٽ ڪريو.