L' API

Les claus es creen des del vostre compte. Si us plau, signeu un compte nou, o creeu- ne un nou, s' obté un crèdit, el qual és suficient per a una coincidència real.

Envia la clau com a mostra d' ós en cada petició. És una oferta de " credential " que pot passar el vostre balanç, així que tracta- lo com una contrasenya: només una banda del servidor, mai en un navegador, mai en un repositori. Una clau filtrat està revocada d' aquesta pàgina i deixa de funcionar immediatament.

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

URL base: https://theorem.chat/api/v1 /. Les sol· licituds i respostes són JSON. La versió està en el camí, així que un canvi de canvi de vaixells com v2 i el codi continua funcionant.

Inicia una partida. Només es requereix l' objectiu: deixeu el plafó i s' asseia des de diferents proveïdors, perquè els models entrenats en llocs cecs de dades i un plafó que està d' acord amb si mateix no és evidència. La coincidència és immediatament a la cua i treballeu amb un servidor, de manera que la petició torni tan aviat com sigui acceptada.

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

Camps

• goal — La reclamació, segons les teves pròpies paraules. Cal.
• rigor / rigor_preset — la barra del cridat t' conté, verbatim o per nom: estàndard, publicació, formal, decisió. Es rebutja un ambient desconegut en comptes d' invertir en silenci per omissió ttlephint que sigui jutjat contra un estàndard que no heu demanat és pitjor que un error.
• seats — 2 a sis escons debatent, cada una id de model des d'EEB / api/v1/models / i una postura opcional.
• referee — El model que mana dels criteris i torna a comprovar les proves.
• max_rounds, usd_ceiling — Límits durs. Quan s' obté el sostre pausa la coincidència en comptes de passar- la passada, i una coincidència pausa reprendreà exactament on s' atura.
• public — Publica la coincidència amb la galeria pública.

Tot el partit: estat, el criteri d' acceptació i com es va establir, el llibre de resultats establerts, l'evidència darrere de cada sentència, i el veredicte d'una vegada n'hi ha una. Un partit s' executa durant minuts fins a hores, de manera que cada enquesta cada pocs segons, mentre que viu "2002 la resposta us diu quan s' atura.

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

Estats: en execució, pausa, necessitats_ fòstes, resolts, esgotats, aturats, fallat. Les últimes quatre són terminal; pausat, necessita_ flands, esgotats i encallats es poden reprendre.

Dóna un cop més arrodoneix o més pressupost. Tot el que el plafó establert es manté en el qual es escriuen els resultats de l' ordre psyn a un llibre i mai es torna a registrar, i el gravat acaba de deixar- lo de caminar en un enfocament que ja ha fallat.

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/ — El que existeix, així que un client pot trobar el camí sense aquesta pàgina.
• GET /api/v1/models/ — Models col·locats amb el seu corbata, finestra contextual i índex per milió de persones. La mateixa llista, com a pàgina.
• GET /api/v1/matches/ — Les vostres coincidències, primer la més nova; filtre per estat, pàgina amb límit i desplaçament.
• GET /api/v1/account/ — L'equilibri, la vida passada i si estàs en el crèdit prepagat o la teva pròpia clau deferència.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — Llista i reordena les claus. La primera clau només es pot mentar aquí, en un navegador.

Cada fallada té la mateixa forma. La branca en codi, que és estable; el missatge és prose i es pot reescriure.

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

401 per a una clau desapareguda o revocada, 402 quan l'equilibri està buit, 404 per a una mostra que no és vostra, 409 per a una coincidència que ja s' està executant, 429 quan aneu massa ràpid, 400 per a qualsevol cosa que s' hagi equivocat.

Comptat per clau: 240 llegeix i 30 coincidències comencen un minut. Llanceu a l' propòsit, el que realment limita a una coincidència és que es gasti el vostre balanç, i aquí estan per aturar un bucle reemprovador o un pol· líbol que s' està executant. Sobre el límit que rebeu 4229; l' enquesta una coincidència en cada pocs segons en comptes de contínuament.