Ko te API

Ka hangaia ngā kī mai i tōmu pūkete. Hei tāuru, hanga rānei i tētahi — ka whiwhi te pūtea tīmata i ngā pūkete hōu, he tino tika mō tētahi ōritetanga tūturu.

Whakahaua te kī hei tohu kaihautū i ia tono. He tohu ka taea e koe te pau i tōna uara, kia rite ki tētahi kupu whakarongo: i te taha pāpāho anake, kāore i te wā i roto i tētahi kaitākaro, kāore i te wā i roto i tētahi puna. Ka whakakoretia tētahi kī whakakore mai i tēnei pātaka, ā, ka tū te mahi.

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

URL Taketake: https://theorem.chat/api/v1/. Ko ngā tono me ngā urupare ko JSON. Ko te putanga i roto i te huarahi, nā reira he huringa whakaroa hei v2, ā, ka mahi tonu tōna waehere.

Ka tīmata tētahi ōritetanga. E hiahiatia ana anake te whāinga: ka waiho te taupuni i waho, ā, ka noho tētahi rārangi pūmau mai i ngā kaipāpāho rerekē, nā te mea ko ngā tauira i whakaakona i runga i te whakawhitinga raraunga e tiritiri ana i ngā wāhi matapōkere, ā, kāore he whakaaturanga tētahi taupuni e whakaae ana ki a ia anō. Ka whakatū i te ōritetanga i te wā kotahi, ā, ka mahia e tētahi pūnaha, nā reira ka hoki te tono i te wā e whakaaetia ana.

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

Tatauranga

• goal — te tono, i roto i ōna kupu ake. E hiahiatia ana.
• rigor / rigor_preset — Ko te pae e pupuri ana te kaiwhakakōrero ki a koe, i runga i te kupu, i te ingoa rānei: paerewa, whakaputanga, whai tikanga, whakawhiwhinga, whakataunga. Ka whakakāhoretia tētahi whakaritenga tuatahi kāore i mōhiotia, kaua e whakarerekētia mō te pūmau - e whakatau ana ki tētahi paerewa kāore i tonoa e koe, he kino ake i te hapa.
• seats — E rua ki te ono ngā tūnga tautohetohe, he tauira āhua o ia tauira mai i te GET /api/v1/models/ me tētahi tūnga kōwhiria.
• referee — Ko te tauira e whakahaere ana i ngā paerewa me te arotake anō i te whakaaturanga.
• max_rounds, usd_ceiling — Ka whakamutua te match i te tae ki te tuanui i te wā e kore ai e tuku i mua, ā, ka haere tonu te match i te wā i tū ai.
• public — Whakaputanga i te whakahua i te whakahua i te whare whare tūmatanui.

Ko te whakawhārite katoa: te tūnga, ngā paerewa whakaaetanga me te pēhea te whakatau i ia, te pūkete o ngā hua i whakatūria, te whakaaturanga i muria whakataunga, me te whakatau i te wā kotahi. Ka haere te whakawhāiti mo ngā minu ki ngā wā, kia pātai ana i ia wa kotahi i ngā wā maha i te ora — ka kī mai te urupare ki a koe ina whakamutua.

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

Kāwanatanga: i whakarurua, e haere ana, i whakamutua, e hiahiatia ana_pūtea, i whakaoti, i whakamutua, i whakapeka, i whakapeka. Ko ngā whā whakamutunga he whakamutu; ka taea te whakamutu, te hiahia_pūtea, te whakamutu me te whakatūpato.

Ka hoatu ki tētahi whakawhāiti whakakore, he nui ake ngā wāhanga, he nui ake rānei te pūtea. Ka pupuritia ngā mea katoa i whakatūria e te taupoki - ka tuhituhitia ngā hua ki tētahi pūkete kotahi, ā, kāore anō kia tāuru anō, ā, ka whakatūpatotia ngā mutunga kore e ārai ana i te haere anō ki tētahi huarahi kua pōturi kē.

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/ — He aha te tīariari, kia kitea ai e te kaimārō tōna ara me te kore tēnei pātaka.
• GET /api/v1/models/ — Ko ngā tauira ā-wāhi me tō rātou taumata, matapihi āhuatanga me ngā mokatere-miona-tokona. Ko te rārangi ōrite, he pātaka.
• GET /api/v1/matches/ — Ko ēnei ngā ōritetanga, ko te hōu tuatahi; tātari e te tūnga, te pātū me te tepe me te whakarerekētanga.
• GET /api/v1/account/ — Te taumaha, te utu mo te ora me te mea kei runga rānei i te pūtea i whakawhiwhia, i tō tātou pūtake whakawhiwhinga rānei.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — Ko te rārangi me te whakakore i ngā pātū. Ka taea te whakawātea i te pātū tuatahi i tēnei wāhi anake, i roto i tētahi kaitiaki.

He ōrite te āhua o ia whakarewa. Ka āhua ōrite te rārangi i runga i te waehere, he pūmau; he pūrākau te karere, ā, ka taea te whakamāori anō.

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

401 mō tētahi kī kāore anō, i whakakore rānei, 402 ina noho te taumaha, 404 mō tētahi tohu kāore i a koe, 409 mō tētahi ōritetanga kua haere kētia, 429 ina tere rawa koe, 400 mō tētahi mea kāore i te tika te tono.

E tatau ana i ia kī: 240 ngā akoranga me te 30 ngā whakahōu e tīmata ana i tētahi minu. E whakawātea ana i te take - ko te mea e whakawhāiti ana i tētahi whakahōu ko te wā e pau ai tōna taumaha, ā, kei konei ēnei hei whakakore i tētahi porowhita anō, he poller rānei e haere ana i te papa. I runga i te tepe ka whiwhi koe i te 429; he porowhita i tētahi whakahōu e haere ana i ia wa kotahi, kaua e haere tonu.