API

Lyklar eru búin til úr reikningnum þínum. Skráðu þig inn eða búðu til einn - nýir reikningar fá upphafskredit, sem er nóg fyrir alvöru match.

Senda lykilinn sem tákn fyrir handhafa við hverja beiðni. Það er auðkenni sem getur eytt innistæðu þinni, þannig að meðhöndlaðu það eins og lykilorð: aðeins á miðlarahliðinni, aldrei í vafra, aldrei í geymslu. Lekur lykill er afturkallaður á þessari síðu og hættir að virka samstundis.

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

Grunnslóð: https://theorem.chat/api/v1/. Beiðnir og svör eru JSON. Útgáfan er í slóðinni, þannig að brottfall breytingar er flutt sem v2 og kóðinn þinn heldur áfram að vinna.

Byrjaðu match. Aðeins markmið er krafist: láta spjaldið út og sjálfgefið lineup er setið frá mismunandi söluaðilum, vegna þess að módel þjálfuð á skarast gögn deila blinda bletti og spjaldið sem er sammála með sjálfum sér er ekki sönnun. match er í biðröð strax og unnið af miðlara, þannig að beiðnin kemur aftur um leið og það er samþykkt.

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

Reitur

• goal — Krefjan, með þínum eigin orðum. Nauðsynlegt.
• rigor / rigor_preset — Stöðugleiki er sá staðall sem dómarinn heldur þér við, bókstaflega eða með nafni: staðall, útgáfa, formleg, verðlaun, ákvörðun. Óþekkt forstilling er hafnað frekar en hljóðlega skipt út fyrir sjálfgefið - að vera dæmdur gegn staðli sem þú baðst ekki um er verra en mistök.
• seats — Tveir til sex umræðu sæti, hver líkan id frá GET /api/v1/models/ og valfrjáls staða.
• referee — Líkanið sem ræður viðmiðunum og endurskoðar sönnunargögn. Verð að eyða í.
• max_rounds, usd_ceiling — Þegar takmarkinu er náð er match stöðvað frekar en að eyða fyrir ofan það og match sem er í stöðvun heldur áfram nákvæmlega þar sem það hætti.
• public — Birta fullunna match í almenningsgalleríið.

Allt match: staða, viðurkenningu viðmið og hvernig hver var sett upp, bókhald af staðfestum niðurstöðum, sönnunargögn á bak við hverja ákvörðun, og dóm þegar það er einn.A match keyrir í mínútur til klukkustundir, svo kanna á nokkrum sekúndum meðan lifandi - svarið segir þér hvenær á að hætta.

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

Staða: í biðröð, í gangi, í hléi, needs_funds, leyst, tæmdur, fastur, mistókst.Síðasta fjögur eru endastöð; í hléi, needs_funds, tæmdur og fastur er hægt að halda áfram.

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/ — Það sem er til, svo viðskiptavinur getur fundið leið sína án þessa síðu.
• GET /api/v1/models/ — seatable módel með tier þeirra, samhengi glugga og á milljón-tákn verð. Sama lista, eins og síðu.
• GET /api/v1/matches/ — matches þinn, nýjasta fyrst; sía eftir stöðu, síðu með takmörkum og offset.
• GET /api/v1/account/ — Jafnvægi, ævi eyða og hvort þú ert á fyrirframgreitt lán eða eigin ályktun lykill.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — Listi yfir lykla og afturköllun þeirra. Fyrsti lykillinn er aðeins hægt að búa til hér, í vafra.

Hver bilun hefur sömu lögun. grein á kóða, sem er stöðugt; skilaboð eru prósa og má endurskrifa.

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

401 fyrir vantar eða afturkallaður lykill, 402 þegar jafnvægi er tómt, 404 fyrir tákn sem er ekki þinn, 409 fyrir match sem er þegar í gangi, 429 þegar þú ert að fara of hratt, 400 fyrir eitthvað beiðni sjálft fékk rangt.

Telja fyrir hvern lykil: 240 lestur og 30 match ræsir á mínútu. Laus í tilgangi - það sem raunverulega takmarkar match er að það eyðir jafnvægi þínu, og þetta er hér til að stöðva endurreyna lykkju eða poller hlaupandi flatt út. Yfir takmörkin færðu 429; poll a keyrandi match á nokkrum sekúndum frekar en stöðugt.