API

Nøgler oprettes fra din konto. Log på, eller oprette en ~ nye konti får start kredit, hvilket er nok til en reel match.

Send nøglen som en bærer token på hver anmodning. Det er et legitimationsoplysninger, der kan bruge din saldo, så behandle det som en adgangskode: server- side kun, aldrig i en browser, aldrig i et lager. En lækket nøgle tilbagekaldes fra denne side og stopper med at arbejde med det samme.

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

Base URL: https://theorem.chat/api/v1/. Anmodninger og svar er JSON. Versionen er i stien, så en bryde ændring skibe som v2 og din kode holder arbejder.

Start en match. Kun målet er påkrævet: lad panelet være ude og en standard lineup sidder fra forskellige leverandører, fordi modeller trænet på overlappende data deler blinde pletter og et panel, der er enig med sig selv er ikke bevis. match er i kø straks og arbejdet af en server, så anmodningen returnerer så snart det er accepteret.

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

Felter

• goal — kravet, med dine egne ord. Kræves.
• rigor / rigor_preset — den bar dommeren holder dig til, ordret eller ved navn: standard, offentliggørelse, formel, præmie, beslutning. En ukendt forudindstillet afvises snarere end roligt byttet for standard ~ bliver bedømt mod en standard, du ikke beder om er værre end en fejl.
• seats — To til seks debatsæder, hver en model id fra GET /api/v1/modeller / og en valgfri holdning.
• referee — Den model, der styrer kriterierne og kontrollerer beviserne igen.
• max_rounds, usd_ceiling — At nå loftet pauser match i stedet for at bruge forbi det, og en pause match genoptager præcis hvor det stoppede.
• public — publicere den færdige match til det offentlige galleri.

Hele match: status, accept kriterier og hvordan hver blev afgjort, regnskabsbogen af etablerede resultater, beviser bag hver afgørelse, og dommen, når der er en. En match kører i minutter til timer, så meningsmåling hvert par sekunder, mens live ~ svaret fortæller dig, hvornår du skal stoppe.

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

Statuser: kø, kører, pause, needs_ funds, løst, udmattet, fast, mislykkedes. De sidste fire er terminal; pause, needs_funds, udmattet og fast kan genoptages.

Giv en stoppet match flere runder eller mere budget. Alt det oprettede panel holdes! resultater er skrevet til en regnskabsbog én gang og aldrig re-afledt, og registrerede døde ender stoppe det gå tilbage i en tilgang, der allerede mislykkedes.

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/ — Hvad der findes, så en kunde kan finde vej uden denne side.
• GET /api/v1/models/ — seværdighedsmodeller med deres niveau, kontekstvindue og per million-token satser. Samme liste, som en side.
• GET /api/v1/matches/ — din matches, nyeste først; filter efter status, side med grænse og forskydning.
• GET /api/v1/account/ — balance, levetid og om du er på forudbetalt kredit eller din egen inferens nøgle.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — liste og tilbagekalde taster. Den første nøgle kan kun præget her, i en browser.

Hver fiasko har samme form. Branch på kode, som er stabil; besked er prosa og kan omformuleres.

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

401 for en manglende eller tilbagekaldt nøgle, 402 når saldoen er tom, 404 for en token, der ikke er din, 409 for en match, der allerede kører, 429 når du går for hurtigt, 400 for noget, som anmodningen selv fik galt.

Optælling pr nøgle: 240 læser og 30 match starter i minuttet. Løs på formålet! Hvad der faktisk begrænser en match er, at det bruger din balance, og disse er her for at stoppe en retry loop eller en poller kører fladt ud. Over grænsen får du 429; poll en kører match hvert par sekunder snarere end kontinuerligt.