API

Таны данснаас түлхүүрүүдийг үүсгэнэ. Нэвтрэн орж, эсвэл шинээр үүсгээрэй - шинэ дансанд эхлэх кредит олгоно, энэ нь бодит match-д хангалттай.

Бүх хүсэлт дээр түлхүүрийг үүрч явагч түлхүүр болгон илгээнэ. Энэ нь таны нөөцийг зарцуулж болох баталгаажуулалт, тиймээс үүнийг нууц үг шиг ашиглана: зөвхөн серверийн талд, хэзээ ч браузерт, хэзээ ч хадгалах газарт. Хуучирсан түлхүүр энэ хуудаснаас хасагдаж, шууд ажиллахгүй болно.

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

Үндсэн URL: https://theorem.chat/api/v1/. Холбоо барих болон хариулах нь JSON юм. хувилбар нь замд байдаг, ингэснээр v2 хувилбараар өөрчлөгдсөн өөрчлөлтийг v2 хувилбараар илгээж код нь ажиллах болно.

match- ийг эхлүүлэх. Зөвхөн зорилго шаардагдана: дэлгэцийг орхиж, өөр өөр үйлдвэрлэгчээс ирсэн стандарт жагсаалт байрлуулна. Учир нь давхардсан өгөгдөл дээр сургасан загварууд харанхуй талбайг хуваалцаж, өөртэйгөө тохирсон дэлгэц нь нотлох баримт биш. 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 — Таны үгсээр илэрхийлсэн гомдол. Заавал байх ёстой.
• rigor / rigor_preset — Шүүгч таныг нэр, эсвэл үгийн дагуу: стандарт, хэвлэл, албан ёсны, шагнал, шийдвэрээр хязгаарлах. Тодорхойгүй урьдчилсан тохиргоо нь хэвийн тохиргоонд огт өөрчлөгдөхгүйгээр цуцлагдана. Танаас шаардаагүй стандартаар шүүх нь алдаанаас ч муу.
• seats — хоёроос зургаан хэлэлцүүлэг хийх суудал, GET /api/v1/models/-ээс загвар id болон сонгох байр суурь.
• referee — шалгуурыг тогтоож, нотлох баримтыг дахин шалгадаг загвар.
• max_rounds, usd_ceiling — хатуу хязгаарлалт. Хязгаарлалтад хүрэхэд match-ыг зогсоож, match-ийг ашиглах нь зогсоно. Хязгаарлагдсан match-ийг зогсоосон газраас нь үргэлжлүүлнэ.
• public — match-ыг нийтийн галерейд нийтлүүлэх.

Бүх match: байдал, хүлээн авах шалгуур ба хэрхэн шийдвэрлэсэн, тогтоосон үр дүнгийн бүртгэл, бүх шийдвэрийн цаана байгаа баримт, нэг шийдвэр гарсан тохиолдолд шүүх шийдвэр. match минутаас цаг хүртэл ажилладаг, тиймээс амьд байхдаа секунд бүр асуулт асуух - хариулт хэзээ зогсох талаар танд хэлнэ.

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

Бүх үйлдлүүд: хүлээж байгаа, ажиллаж байгаа, зогсоосон, шаардлагатай_хөрөнгө, шийдсэн, дууссан, зогссон, бүтэлгүйтсэн. Сүүлийн4нь терминал; зогсоосон, шаардлагатай_хөрөнгө, дууссан, зогссон нь үргэлжлүүлэх боломжтой.

match- аас илүү тойрог эсвэл илүү их төсөвтэй зогсоолтыг өгнө. Панелийн тогтоосон бүх зүйл хадгалагдана - үр дүнг нэг удаа бүртгэж, дахин үүсгэхгүй, мөн бүртгэгдсэн саадууд нь алдаатай аргаар эргэж орохыг зогсооно.

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/ — Таны 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 match- ийг ажиллуулж байгаа бол, 429 хэт хурдан бол, 400 хүсэлт нь буруу бол.

Товч бүрээр тооцоолсон: минутанд 240 уншлага, 30 match эхлүүлэлт. Зөвхөн зорилгоор сул - match- ийг хязгаарладаг зүйл нь таны нөөцийг зарцуулдаг, энэ нь дахин оролдох цикл эсвэл асуулт асуугчийг зогсоохын тулд байдаг. Хязгаарлалтаас хэтэрвэл 429; үргэлжлүүлэн ажиллахын оронд хэдэн секунд тутамд асуулт асуу.