Y API

Creir allweddi o'ch cyfrif. Mewngofnodwch, neu creuwch un - mae cyfrifon newydd yn cael credyd cychwynnol, sy'n ddigon i gydweddu'n wir.

Anfon yr allwedd fel tocyn porthwr ar bob cais. Mae'n dystysgrif sy'n gallu gwario'ch balans, felly ystyriwch hi fel cyfrinair: ar ochr y gweinydd yn unig, byth mewn porwr, byth mewn storfa. Caiff allwedd sy'n llifo ei diddymu o'r dudalen hon ac mae'n stopio gweithio yn syth.

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

URL sylfaenol: https://theorem.chat/api/v1/. Mae ceisiadau ac ymatebion yn JSON. Mae'r fersiwn yn y llwybr, felly mae newid yn torri'n cael ei gludo fel v2 a bydd eich cod yn dal i weithio.

Dechrau cydweddiad. Dim ond y nod sydd ei angen: gadael y panel allan a gosod llinell ragosod o werthwyr gwahanol, oherwydd mae modelau wedi eu hyfforddi ar ddata gorgyffwrdd yn rhannu mannau dall a panel sy'n cytuno â'i hunan ddim yn dystiolaeth. Mae'r cydweddiad yn cael ei gosod yn y rhes yn syth a'i drin gan weinydd, felly mae'r cais yn dychwelyd cyn gynted ag y derbynnir ef.

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

Maes

• goal — y datganiad, yn eich geiriau eich hun. Angenrheidiol.
• rigor / rigor_preset — y bar y mae' r barnwr yn eich cadw at, yn bersonol neu gan enw: safon, cyhoeddiad, swyddogol, gwobr, penderfyniad. Gwrthodir rhagosod anhysbys yn hytrach na' i drosglwyddo' n ddistaw i' r rhagosodedig - mae cael ei farnu yn erbyn safon nad ydych wedi gofyn amdani yn waeth na gwall.
• seats — dau i chwe sedd drafod, pob un yn cael id model o GET /api/v1/models/ a sefyllfa ddewisol.
• referee — y model sy'n llywodraethu'r meini prawf ac yn ail-brofi'r dystiolaeth.
• max_rounds, usd_ceiling — terfynau anodd. Mae cyrraedd y terfyn yn seibio'r gêm yn hytrach na'i wario drosodd, ac mae gêm seibio'n ailgychwyn yn union lle aeth i ben.
• public — cyhoeddi' r cydweddiad gorffenedig i' r galleri gyhoeddus.

Y cydweddiad cyfan: statws, y meini prawf derbyn a sut mae pob un wedi ei ddatrys, y llyfr o ganlyniadau sefydlog, y dystiolaeth tu ôl i bob penderfyniad, a'r barn pan mae un yn bodoli. Mae cydweddiad yn rhedeg am funudau i oriau, felly pleidleisiwch bob ychydig eiliadau tra'n fyw - mae'r ymateb yn dweud wrthych pryd i stopio.

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

Cyflwr: wedi ei gloi, yn rhedeg, wedi seibio, needs_funds, wedi'i ddatrys, wedi'i ddiflannu, wedi'i dorri, wedi methu. Y pedwar olaf yw terfynellau; gellir ailgychwyn paused, needs_funds, wedi'i ddiflannu a'i dorri.

Rhoi mwy o rowndiau neu fwy o gyllideb i gêm a stopiwyd. Cedwir popeth a sefydlodd y panel - ysgrifennir canlyniadau at gyfrif unwaith ac ni ddirwynir yn ôl, a'r diweddglo wedi'i gofnodi yn atal ei symud yn ôl i ddull a fethodd eisoes.

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/ — beth sydd yn bodoli, fel y gall dibynnydd ddod o hyd i'w ffordd heb y dudalen hon.
• GET /api/v1/models/ — modelau setlo â'u lefel, ffenestr cyd-destun a chyfraddau tocyn per miliwn. Y un rhestr, fel tudalen.
• GET /api/v1/matches/ — eich cydweddiadau, y diweddaraf yn gyntaf; hidlo yn ôl statws, tudalen gydag amrediad a gwasgariad.
• GET /api/v1/account/ — balans, gwariant oes a p'un a ydych ar gredyd rhag-daliadau neu'ch allwedd ddeall eich hun.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — rhestru ac adfer allweddi. Dim ond yma y gellir creu' r allwedd gyntaf, mewn porwr.

Mae gan bob methiant yr un ffurf. Cylch ar y cod, sy'n sefydlog; mae'r neges yn proffwydoliaeth a gellir ei hail-ysgrifennu.

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

401 am allwedd ar goll neu wedi'i ddiddymu, 402 pan fo'r balans yn wag, 404 am tocyn nad yw'ch un chi, 409 am gydweddiad sy'n rhedeg eisoes, 429 pan ydych yn mynd yn rhy gyflym, 400 am unrhyw beth y bu'r cais ei hun yn anghywir.

Cyfrifir fesul bysell: 240 darlleniadau a 30 dechrau cydweddu bob munud. Llyfn ar bwrpas - beth sy'n cyfyngu cydweddiad yn wir yw ei fod yn gwastraffu eich balans, a dyma nhw i atal cylch ail-geisio neu poleri rhedeg allan. Dros y terfyn cewch 429; pleidleisio cydweddiad rhedeg bob ychydig eiliadau yn hytrach na'n barhaus.