ئەپی

کلیلەکان لە حسابەکەت دروست دەکرێن. بچۆرە ناوەوە، یان دروستی بکە - حسابە نوێیەکان دەست پێ دەکەن بە وەرگرتنی پارە، کە بۆ هاوتاکردنی ڕاستەقینە بەسە

کلیلی وەک نیشانەی بارکەر بۆ هەموو داوایەک بنێرێت. ئەمە بەڵگەنامەیە کە دەتوانێت پارەکەت خەرج بکات، بۆیە وەک گووتارێک مامەڵەی لەگەڵدا بکە: تەنها لای خزمەتگوزار، هەرگیز لە برەودەردا، هەرگیز لە پارێزگەدا. کلیلێکی دزراو لە ئەم پەڕەیە هەڵدەگیرێت و بە خێرایی کار ناکات.

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

وێب سایتی بنەڕەتی: https://theorem.chat/api/v1/. داواکاریەکان و وەڵامەکان جۆنن. وەشانە لە ڕێگاکەدایە، بۆیە گۆڕانکارییەکی شکست خواردوە وەک 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/ و شوێنێکی هەڵبژێردراو.
• 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": "…"
}

بارودۆخەکان: لە ڕیزدان، بەڕێوەچوون، ڕاگرتنی کاتی، پێویستی بە پارە، چارەسەرکراوە، بەکارنەهاتوە، وەستاوە، شکستخواردوو. چوار دۆخی دوایین کۆتایانەیە؛ ڕاگرتنی کاتی، پێویستی بە پارە، بەکارنەهاتوە و وەستاوە دەتوانرێت بەردەوام بێت.

.بدە بە یارییەک کە وەستاوە زیاتر لە خولەکێک یان زیاتر لە پارە. هەموو شتێک کە پانێلەکە دایمەزراندووە دەپارێزرێت - ئەنجامەکان تەنها جارێک دەنووسرێن بۆ کتێبەکە و هەرگیز دووبارە ناگەڕێنەوە، وە کۆدەکانی کۆت و زنجیرەکان ڕێگری دەکەن لە گەڕانەوەی بۆ ئەو ڕێگایانەی کە پێشتر شکستیان هێناوە

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/ — مۆدێلی سەیرکردنی سەیرکردن لەگەڵ پلەی خۆیان، پەنجەرەی پەیوەندیدار و نرخی بۆ ملیۆنێک توكێن. هەمان لیست، وەک لاپەڕەیەک.
• 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 بۆ هەر شتێک کە داواکاریەکە خۆی هەڵە بوو.

بە پێی کێڵگە: ٢٤٠ خوێندنەوەی 30 دەستپێکردنی هاوتا لە چرکەیەکدا. بە مەبەستی لاواز - ئەوەی کە لە ڕاستیدا سنووردار دەکاتە هاوتاکە ئەوەیە کە پارەکەت بەکاردەهێنێت، وە ئەمانە لێرەن بۆ ڕێگریکردن لە هەوڵی دووبارە یان پاڵپشتی پاڵ