API

کیلي د خپل حساب څخه جوړ شوي. په ننوتلو کې، یا یو جوړ کړئ - نوي حسابونه د پیل کریډیټ ترلاسه کوي، کوم چې د ریښتیني سیالۍ لپاره کافي دی.

د هرې غوښتنې په اړه د بار وړونکي توکي په توګه کیلي واستوئ. دا یو اعتبار دی چې ستاسو توازن لګولی شي، نو د تېرنويې په څیر یې درملنه وکړئ: یوازې د سرور خوا، هیڅکله په لټون کې، هیڅکله په رېپوټ کې. د لیږد شوي کیلي له دې مخ څخه لغوه کیږي او په سمدستي توګه کار بندوي.

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

د اساس URL: https://theorem.chat/api/v1/. غوښتنې او ځوابونه JSON دي. نسخه په لاره کې ده، نو د بدلون بدلولو په توګه د v2 په توګه او ستاسو کوډ کار کوي.

د یو سیالۍ پیل کړئ. یوازې هدف اړین دی: د پینل څخه بهر پریږدئ او د ډیفالټ لیږد د مختلفو پلورونکو څخه ناست دی، ځکه چې ماډلونه د مینځپانګې د معلوماتو شریکولو لپاره روزل شوي او یو پینل چې د ځان سره موافقه کوي شواهد نه دي. د سیالۍ په فوري توګه په لټه کې دي او د سرور لخوا کار کوي، نو غوښتنه بیرته راځي لکه څنګه چې دا منل کیږي.

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/ او د يو اختياري حالت څخه د يو ماډل id.
• 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": "…"
}

حالتونه: په صف کې، په چلولو، وقفه، needs_funds، حل، استهلاک، لګېدلی، ناکامه. وروستي څلور terminals دي؛ وقفه، needs_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/ — ستاسو د لوبو، نوی لومړی؛ د حالت، د حد او offset سره مخ پر مخ سره د چاڼولو.
• GET /api/v1/account/ — توازن، د ژوند وخت مصرف او که تاسو په مخکې د تادیې د کریډیټ یا ستاسو د خپلو استنباطي کلیدي دي.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — کيلۍ لړ او ړنګول. لومړۍ کيلۍ يوازې دلته کېدای شي، په لټووني کې.

هر ناکامي لري ورته شکل. په کوډ، چې د ثبات شاخه؛ پیغام دی ناول او کولای شي چې reworded.

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

د 401 لپاره د یو ورک یا لغوه شوي کلید لپاره، 402 کله چې توازن خالي وي، د 404 لپاره یو ټکی چې ستاسو نه دی، د 409 لپاره د یو سیالۍ لپاره چې دمخه روان دی، 429 کله چې تاسو ډیر ژر ځي، د 400 لپاره د هرڅه لپاره د غوښتنې غوښتنه غلطه شوه.

په هر کلید کې شمیرل شوي: د 240 لوستل او د 30 سیالي یو دقیقې پیل کیږي. په موخه کې ورو - هغه څه چې په حقیقت کې د سیالۍ محدودوي دا دی چې دا ستاسو توازن مصرفوي، او دا دلته دي چې د بیا هڅې لوپ یا د پولارر چلولو فلیټ بند کړي. د حد څخه پورته تاسو 429 ترلاسه کوئ؛ د هر څو ثانیو په پرتله د دوامداره پرتله کولو پرځای د چلولو سیالي.