API

Furayaasha waxaa laga abuuray xisaabtaada. Log in, ama abuuro mid - xisaabaadka cusub helaan credit bilaabay, taas oo ku filan si dhab ah match.

Soo dir furaha sida calaamad qaade ah oo ku saabsan codsi kasta. Waa aqoonsi oo ku bixin kara miisaaniyadaada, sidaas darteed u dhaqma sida eray sir ah: server-ga dhinac kaliya, marnaba brauzer, marnaba in kayd. A furaha la daadiyey waa laga reebay boggaan oo joojiyaa shaqada isla markiiba.

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

Base URL: https://theorem.chat/api/v1/. Dalabaadka iyo jawaabaha waa JSON. Version waa jidka, sidaas darteed isbedelka burburka baabuurta sida v2 iyo koodkaaga sii shaqeeyaan.

Bilow match. kaliya waa in la go'aamiyo: ka tag panel ka baxay iyo lineup default waa fadhiistay ka iibsadayaasha kala duwan, sababtoo ah qaababka tababaran on xogta isku dhafan qaybinta meelaha blind iyo panel oo la oggol yahay lafteeda ma aha caddayn. The match waa la filayaa si deg deg ah oo ay u shaqeeyeen server, sidaas darteed codsiga ku soo laabtay marka ay tahay in la aqbalo.

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
  }'

Goobaha

• goal — sheegashada, in erayadaada. Waa in la buuxiyo.
• rigor / rigor_preset — barka garsooruhu aad ku haystaa, qoraal ama magac: standard, daabacaadda, rasmiga ah, abaalmarinta, go’aan. A aan la aqoon oo hore loo diiday ka badan oo si xasilan u beddelay default — la xukumay ka hor standard aad ma weydiisan waa ka xun yahay qalad.
• seats — laba ilaa lix kursiga doodda, mid kasta oo mid ka mid ah id qaabka ka GET /api/v1/models/ iyo qaabka doorasho.
• referee — qaabka in ay xukumayaan shuruudaha iyo dib-u-eegista caddayn. Waa ku filan in la bixiyo.
• max_rounds, usd_ceiling — xaddidaad adag. Gaadhado xadka hoostiisa ka joojiyaa match ka badan in ay bixiyaan ka hor, iyo match joojiyay dib u bilaabayaa si toos ah meesha ay joojiyeen.
• public — daabacaan dhamaystiran match in galbeedka dadweynaha.

Dhammaan match: xaaladda, shuruudaha aqbalaadda iyo sida mid kasta oo la dejiyay, xisaab-qoraalka natiijooyinka la aasaasay, caddeymaha ka dambeeya go’aan kasta, iyo go’aanka marka ay jirto mid. A match socda daqiiqado ilaa saacadood, sidaas daraaddeed codbixinta kasta oo dhowr ilbiriqsi oo nool — jawaabta kuu sheegi marka ay joojiyaan.

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

Statuses: kala sooc, socda, joojiyey, needs_funds, xal, khasaaro, ku xidhan, ku fashilmeen. afarta ugu dambeeyay waa terminal; joojiyey, needs_funds, khasaaro iyo ku xidhan waxaa la sii wadi karaa.

Siiso joojiyey match wareegyo dheeraad ah ama miisaaniyadda dheeraad ah. Wax kasta oo guddiga la aasaasay waa la hayaa - natiijooyinka waxaa lagu qoray in aad xisaab-qoraalka mar iyo marnaba dib loo soo qaatay, iyo dhamaadka-dhiig-la’aanta diiwaangashan joojiyaan in ay u socdaan dib u qaabka ay horeyba u fashilmeen.

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/ — waxa jira, si macaamiisha u heli karaan sideeda si aan boggaan.
• GET /api/v1/models/ — moodooyinka seatable la tiirkooda, window context iyo per-milyan-token qiimaha. Liiska la mid ah, sida bogga.
• GET /api/v1/matches/ — matches, ugu dambeeyay ugu horeysay; filter by xaaladda, bog la xaddidan iyo offset.
• GET /api/v1/account/ — miisaaniyadda, nolosha ku bixiso iyo haddii aad tahay credit lacagta hore ama furaha aad u gaar ah ee soo jeedinta.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — liiska iyo keydka keydka. Keydka koowaad waxaa kaliya oo la minted halkan, in browser.

Guul darro kasta oo leh qaabka isku mid ah. Xafiiska on code, taas oo ah mid joogto ah; fariinta waa suugaan iyo waxaa laga yaabaa in la reworded.

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

401 si ay u keydinta ama la joojiyay, 402 marka miisaanka waa qasan, 404 si ay u muujiyaan in aan ahayn adiga, 409 si ay u match oo horeyba u socda, 429 marka aad u socdaan aad u dhaqso badan, 400 wax kasta oo codsiga oo dhan si ay u siiyaan.

La xisaabiyey key per: 240 akhriyo iyo 30 match bilowdo daqiiqo. Loose on purpose — waxa dhab ahaantii xaddidaya match waa in ay ku bixiyaan miisaaniyaddaada, iyo kuwani waa halkan si ay u joojiyaan isku-dhafka dib u eegis ama codbixiye socda oo dhan. Kor ku xaddidan waxaad ka heli 429; codbixinta a socda match daqiiqado kasta oo yar ka badan si joogto ah.