API

Avy amin'ny kaontinao no namoronana ireo famaha. Miditra, na mamorona iray — mahazo trosa fanombohana ny kaonty vaovao, izay ampy ho an'ny tena match.

Mandefa ilay famaha toy ny famantarana ny mpitondra amin'ny fangatahana tsirairay. Famantarana azo ampiasaina amin'ny salinao io, ka raisina toy ny teny fanalahidy: eo amin'ny mpizara ihany, tsy maintsy ampiasaina amin'ny mpitety, tsy maintsy ampiasaina amin'ny tahiry. Voafafa avy amin'ity pejy ity ary tsy miasa intsony avy hatrany ny famaha tafaporitsaka.

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

URL fototra: https://theorem.chat/api/v1/. JSON ny fangatahana sy ny valinteny. Ao anatin'ny làlana ny kinova, ka ny fanovana miteraka fahasimbana dia alefa ho v2 ary mbola miasa ny rindran'asao.

Manomboka match. Ny tanjona ihany no ilaina: avelao ny tontonana ary apetraka ny filaharana lasitra avy amin'ny mpamatsy samihafa, satria ny modely nampianarina tamin'ny data mifamatotra dia mizara toerana tsy hita maso ary ny tontonana izay mifanaraka amin'ny tenany dia tsy porofo. Apetraka eo amin'ny filaharana avy hatrany ny match ary miasa amin'ny mpizara, ka miverina ny fangatahana raha vao ekena.

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

_Faritra:

• goal — ny filazana, amin'ny teny ataonao manokana. Tsy maintsy atao.
• rigor / rigor_preset — ny fepetra takian'ny mpitsara anao, na amin'ny teny na amin'ny anarany: fenitra, famoahana, ofisialy, loka, fanapahan-kevitra. Tsy ekena ny safidy mialoha tsy fantatra fa tsy miova amin'ny lasitra — ratsy noho ny hadisoana ny fitsarana amin'ny fenitra tsy nangatahan'ny mpitsara anao.
• seats — roa ka hatramin'ny enina ny toerana hifanakalozana hevitra, ny tsirairay amin'izy ireny dia manana modely id avy amin'ny GET /api/v1/models/ sy ny fomba fijery safidy.
• referee — ny modely izay mifehy ny fepetra sy mijery indray ny porofo. mendrika ny fandaniana.
• max_rounds, usd_ceiling — Ny fahatongavana amin'ny fetra ambony dia manajanona ny match fa tsy ny fandaniana mihoatra azy, ary ny match naato dia miverina amin'ny toerana nijanonany.
• public — hamoaka ny match vita ho an'ny tranombakoka ho an'ny daholobe.

Ny match manontolo: ny toe-draharaha, ny fepetran'ny fankatoavana sy ny fomba nanaovana ny tsirairay, ny lisitra amin'ireo vokatra napetraka, ny porofo ao ambadiky ny fanapahan-kevitra tsirairay, ary ny didim-pitsarana rehefa misy iray.Mitohy mandritra ny minitra ka hatramin'ny ora ny match, noho izany, mifidy isaky ny segondra vitsy rehefa miaina — milaza aminao ny valinteny hoe rahoviana no tokony hijanonana.

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

Ny toe-draharaha: miandry, mandeha, miato, needs_funds, voavaha, efa tapitra, tapaka, tsy nahomby. Terminal ny efatra farany; azo averina averina ny paused, needs_funds, exhausted ary tapaka.

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/ — izay misy, mba hahafahan'ny mpanjifa mahita ny làlany tsy misy ity pejy ity.
• GET /api/v1/models/ — modely azo apetraka miaraka amin'ny ambaratongany, varavarankely sy ny tahan'ny isan-tapitrisa-token. Lisitra mitovy, toy ny pejy.
• GET /api/v1/matches/ — ny matches-nao, ny vaovao aloha; sivana araka ny toe-draharaha, pejy misy fetra sy offset.
• GET /api/v1/account/ — ny saldo, ny fandaniana mandritra ny fiainana ary raha manana karatra fandoavam-bola mialoha ianao na ny famaha fandraisanao ny andraikitra.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — Mampiseho sy manafoana famaha. Eto ihany no azo atao ny mamorona ny famaha voalohany, anatin'ny mpitety.

Miaraka amin'ny endrika mitovy ny tsy fahombiazana rehetra. Miankina amin'ny rindran'asa ny sampana, izay tsy miova; tsy misy dikany ny hafatra ary azo ovaina.

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

401 for a missing or revoked key, 402 when the balance is empty, 404 for a token that is not yours, 409 for a match that is already running, 429 when you are going too fast, 400 for anything the request itself got wrong.

Isaina araka ny famaha: 240 ny vakiana ary 30 ny match ny fanombohana isan-minitra. Tsy misy antony — ny tena mampihena ny match dia ny fandaniana ny volavolanao, ary ireo no ampiasaina hampiatoana ny fiverenan'ny fiezahana na ny fiasan'ny poller. Raha mihoatra ny fetra ianao dia mahazo 429; mandefa match mandeha isaky ny segondra vitsy fa tsy miverina hatrany.