An API

Eochracha a cruthaíodh ó do chuntas.Logáil isteach, nó ceann a chruthú — cuntais nua a fháil creidmheas tosaigh, atá go leor le haghaidh cluiche fíor.

Seol an eochair mar chomhartha iompróra ar gach iarratas. Is údarás é a d' fhéadfadh do chuid airgid a chaitheamh, mar sin déileáil leis mar fhocal faire: ar thaobh an fhreastalaí amháin, ní i mbrabhsálaí, ná i stór. Cúlghairtear eochair sceite ón leathanach seo agus stopann sí ag obair láithreach.

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

URL Bonn: https://theorem.chat/api/v1/. Iarratais agus freagraí a JSON. Tá an leagan sa chonair, mar sin long athrú briste mar v2 agus coinníonn do chód ag obair.

Tosaigh cluiche. Níl ach an sprioc ag teastáil: fág an painéal amach agus tá líne réamhshocraithe suíthe ó dhíoltóirí éagsúla, toisc go bhfuil samhlacha oilte ar shonraí forluiteacha ag roinnt spotaí dall agus nach bhfuil painéal a aontaíonn leis féin ina fhianaise. Tá an cluiche curtha i gciú láithreach agus d'oibrigh freastalaí, mar sin fillteann an t-iarratas a luaithe a ghlactar leis.

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

Réimsí

• goal — an t-éileamh, i do chuid focal féin. Riachtanach.
• rigor / rigor_preset — an barra a bhfuil an réiteoir ag coinneáil leat, go foclóireachta nó de réir ainm: caighdeán, foilsiú, foirmiúil, duais, cinneadh. diúltaítear réamhshocrú anaithnid seachas a mhalartú go ciúin don réamhshocrú - tá sé níos measa ná earráid a bheith á mheas i gcoinne caighdeán nach ndearna tú a iarraidh.
• seats — dhá go sé suíocháin díospóireachta, gach ceann acu id samhail ó GET /api/v1/models/ agus seasamh roghnach.
• referee — an tsamhail a rialaíonn na critéir agus a ath-seiceáil an fhianaise. fiú a chaitheamh ar.
• max_rounds, usd_ceiling — Má shroicheann tú an uasteorainn, cuirfear an cluiche ar shos seachas é a chaitheamh thar a cheann, agus atosóidh cluiche ar shos díreach ón áit a stop sé.
• public — an cluiche críochnaithe a fhoilsiú sa ghailearaí poiblí.

An cluiche ar fad: stádas, na critéir glactha agus conas a socraíodh gach ceann, an leabhar mór torthaí bunaithe, an fhianaise taobh thiar de gach rialú, agus an breithiúnas nuair a bhíonn ceann ann. Ritheann cluiche ar feadh nóiméad go uair an chloig, mar sin pobalbhreith gach cúpla soicind agus é beo - insíonn an freagra duit nuair a stopadh.

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

Stádas: cuued, ag rith, ar sos, needs_funds, réiteach, ídithe, stuck, theip. Is iad na ceithre cinn deiridh críochfoirt; ar sos, needs_funds, ídithe agus stuck is féidir a atosú.

Tabhair cluiche stoptha níos mó babhtaí nó buiséad níos mó.Tá gach rud a bhunaigh an painéal a choimeád - torthaí a scríobh chuig mórleabhar uair amháin agus riamh ath-dhíorthaithe, agus deadends taifeadta stop a chur leis siúl ar ais isteach i gcur chuige a theip cheana féin.

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/ — cad atá ann, ionas gur féidir le cliant teacht ar a bhealach gan an leathanach seo.
• GET /api/v1/models/ — samhlacha seatable lena n-sraith, fuinneog comhthéacs agus rátaí in aghaidh an mhilliún-token. Liosta céanna, mar leathanach.
• GET /api/v1/matches/ — do mheaitseálacha, is nuaí ar dtús; scagaire de réir stádas, leathanach le teorainn agus fritháireamh.
• GET /api/v1/account/ — iarmhéid, caiteachas ar feadh an tsaoil agus cibé an bhfuil tú ar chreidmheas réamhíoctha nó ar d’eochair intuigthe féin.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — Liosta agus cúlghairm eochracha. Ní féidir an chéad eochair a chruthú ach anseo, i mbrabhsálaí.

Tá an cruth céanna ag gach teip.Brainse ar chód, atá cobhsaí; is prós an teachtaireacht agus is féidir í a athfhocail.

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

401 le haghaidh eochair ar iarraidh nó a chúlghairm, 402 nuair a bhíonn an t-iarmhéid folamh, 404 le haghaidh comhartha nach bhfuil tú, 409 le haghaidh cluiche atá ag rith cheana féin, 429 nuair a bhíonn tú ag dul ró-tapa, 400 le haghaidh aon rud a fuair an t-iarratas féin mícheart.

Comhaireamh in aghaidh na heochrach: 240 léite agus 30 tosaíonn comhoiriúnach in aghaidh an nóiméid. Loose ar chuspóir - cad a teorannú i ndáiríre comhoiriúnach is go caitheann sé do iarmhéid, agus tá siad seo anseo chun stop a chur le lúb ath- iarracht nó poller ag rith cothrom amach. Thar an teorainn a fhaigheann tú 429; poll comhoiriúnach ag rith gach cúpla soicind seachas go leanúnach.