API

ສ້າງ​ກູ​ໂກ​ຈາກ​ບັນຊີ​ຂອງທ່ານ. ເຂົ້າ​ສູ່​ລະບົບ ຫຼື ສ້າງ​ບັນຊີ​ໃໝ່ - ບັນຊີ​ໃໝ່​ຈະ​ໄດ້ຮັບ​ເງິນ​ຝາກ​ເລີ່ມຕົ້ນ, ເຊິ່ງ​ພຽງພໍ​ສຳລັບ match ຕົວຈິງ.

ສົ່ງ​ກູ​ບ​ເປັນ​ໂຕ​ກຽວ​ຜູ້​ຖື​ທຸກ​ຄັ້ງ​ທີ່​ຮ້ອງຂໍ​ມັນ. ມັນ​ແມ່ນ​ການ​ຢັ້ງຢືນ​ທີ່​ສາມາດ​ໃຊ້​ຈ່າຍ​ເງິນ​ຂອງທ່ານ, ສະນັ້ນ​ມັນ​ຄື​ກັບ​ລະຫັດ​ຜ່ານ: ພຽງແຕ່​ຢູ່​ດ້ານ​ເຊີບເວີ, ບໍ່​ເຄີຍ​ຢູ່ໃນ​ຕົວ​ທ່ອງ​ເວັບ, ບໍ່​ເຄີຍ​ຢູ່ໃນ​ບ່ອນ​ເກັບ​ໄວ້. ກູບ​ທີ່​ຫຼົ່ນ​ອອກ​ຈະ​ຖືກ​ຖອນ​ຄືນ​ຈາກ​ໜ້າ​ນີ້ ແລະ ຈະບໍ່​ເຮັດວຽກ​ອີກຕໍ່ໄປ.

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

ຖານ URL: https://theorem.chat/api/v1/. ຄໍາຮ້ອງຂໍແລະຄໍາຕອບແມ່ນ JSON. ສະບັບແມ່ນຢູ່ໃນເສັ້ນທາງ, ດັ່ງນັ້ນການປ່ຽນແປງການຕັດເຮືອເປັນ 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 — ສອງຫາຫ້າບ່ອນນັ່ງການປຶກສາຫາລື, ແຕ່ລະ id ແບບຈາກ GET /api/v1/models/ ແລະທ່າທາງທີ່ເລືອກ.
• referee — ແບບທີ່ກໍານົດມາດຕະຖານ ແລະ ກວດສອບຫຼັກຖານຄືນໃໝ່. ຄວນໃຊ້ຈ່າຍ
• max_rounds, usd_ceiling — ບັນລຸຄວາມສູງຢຸດ match ແທນທີ່ຈະໃຊ້ຈ່າຍຜ່ານມັນ, ແລະຢຸດ match ສືບຕໍ່ຢ່າງແທ້ຈິງບ່ອນທີ່ມັນຢຸດ.
• public — ເຜີຍແຜ່ match ສໍາເລັດໄປຫາ galleries ສາທາລະນະ.

match ທັງຫມົດ: ສະຖານະ, ເງື່ອນໄຂການຍອມຮັບແລະວິທີການແຕ່ລະຄົນໄດ້ຖືກ settled, ບັນທຶກຂອງຜົນໄດ້ຮັບທີ່ສ້າງຕັ້ງຂຶ້ນ, ຫຼັກຖານທີ່ຢູ່ເບື້ອງຫຼັງທຸກການຕັດສິນໃຈ, ແລະຄໍາຕັດສິນເມື່ອມີຫນຶ່ງ. 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": "…"
}

ສະຖານະ: ຕັ້ງ​ຊ່ອງ​ລໍຖ້າ, ແລ່ນ, ປິດ, needs_funds, ແກ້ໄຂ, ເສຍ, ຕິດ, ລົ້ມເຫລວ. 4 ອັນສຸດທ້າຍແມ່ນ​ສະຖານີ; ປິດ, needs_funds, ເສຍ ແລະ ຕິດ ສາມາດ​ສືບຕໍ່​ໄດ້.

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/ — ສິ່ງທີ່ມີຢູ່, ດັ່ງນັ້ນ ລູກຄ້າ​ສາມາດ​ຊອກຫາ​ທາງ​ທີ່​ບໍ່​ມີ​ໜ້າ​ນີ້.
• GET /api/v1/models/ — ແບບຈໍາລອງ seatable ກັບຊັ້ນຂອງເຂົາເຈົ້າ, window ສະພາບແວດລ້ອມແລະອັດຕາຕໍ່ລ້ານ-token. ລາຍ​ຊື່​ດຽວກັນ, ຄື​ກັບ​ໜ້າ.
• GET /api/v1/matches/ — matches ຂອງທ່ານ, ໃຫມ່ກ່ອນ; ຕື່ມໂດຍສະຖານະ, ຫນ້າທີ່ມີຂອບເຂດແລະອັບສເຕີ.
• GET /api/v1/account/ — ເງິນສົດ, ຄ່າໃຊ້ຈ່າຍຊີວິດແລະຖ້າຫາກວ່າທ່ານຢູ່ໃນການຈ່າຍເງິນກ່ອນຫຼືກຸນແຈການຄິດໄລ່ຂອງທ່ານເອງ.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — ລາຍ​ຊື່ ແລະ ຖອນ​ກູ​ບ​ທີ່​ໃຊ້​ໄດ້​ແລ້ວ & # 160; ។ ກູບ​ທີ່​ໃຊ້​ໄດ້​ຄັ້ງ​ທຳອິດ​ສາມາດ​ເຮັດ​ຢູ່​ທີ່​ນີ້​ໄດ້​ເທົ່ານັ້ນ, ໃນ​ຕົວ​ທ່ອງ​ເວັບ & # 160; ។

ທຸກ​ການລົ້ມເຫລວ​ມີ​ຮູບ​ແບບ​ດຽວກັນ. branch on code, which is stable; message is prose and may be reworded.

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

401 ສຳ ລັບ​ປຸ່ມ​ທີ່​ຂາດ ຫຼື ຖືກຍົກເລີກ, 402 ເມື່ອ​ສະສົມ​ບໍ່​ມີ, 404 ສຳ ລັບ​ໂຕກັ່ນ​ທີ່​ບໍ່​ເປັນ​ຂອງ​ທ່ານ, 409 ສຳ ລັບ match ທີ່​ໄດ້​ແລ່ນ​ແລ້ວ, 429 ເມື່ອ​ທ່ານ​ໄປ​ໄວ​ເກີນໄປ, 400 ສຳ ລັບ​ທຸກ​ສິ່ງ​ທຸກ​ຢ່າງ​ທີ່​ການ​ຮ້ອງຂໍ​ເອງ​ໄດ້​ຜິດ.

ນັບຕາມປຸ່ມ: 240 ອ່ານແລະ 30 match ເລີ່ມຕົ້ນໃນນາທີ. ເປີດເຜີຍໃນຈຸດປະສົງ - ສິ່ງທີ່ຈໍາກັດ match ແມ່ນວ່າມັນໃຊ້ຈ່າຍເງິນຂອງທ່ານ, ແລະເຫຼົ່ານີ້ແມ່ນຢູ່ທີ່ນີ້ເພື່ອຢຸດການພະຍາຍາມຄືນຫຼື poller ແລ່ນ flat out. ໃນໄລຍະຈໍາກັດທີ່ທ່ານໄດ້ຮັບ 429; ເລືອກຕັ້ງ match ແລ່ນທຸກໆສອງສາມວິນາທີແທນທີ່ຈະເປັນຢ່າງຕໍ່ເນື່ອງ.