API

Ачкычлар сезнең исәп-хисап счетыгыздан барлыкка килә. Сез үзегезне кертегез яки яңасын булдырыгыз - яңа исәп-хисап счетлары кредитлар ала, бу чын туры килү өчен җитәрлек.

Һәрбер сорау вакытында ключны йөртүче иконкасы буларак җибәрү. Бу сезнең балансыгызны тотарга мөмкин булган идентификация, шуңа күрә аны пароль кебек кабул итегез: сервер ягында гына, браузерда һәм репозиторийда беркайчан да кулланмагыз. Килеп чыккан ключ бу биттән кире кагыла һәм тиздән эшләми башлый.

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

Баш URL: https://theorem.chat/api/v1/. Сораулар һәм җаваплар JSON. Версия юлда, шуңа күрә үзгәрешләр v2 булып җибәрелә һәм сезнең кодыгыз эшләп тора.

Согласованиене башлау. Тик максат кына кирәк: панельне калдыру һәм төрле җитештерүчеләрдән стандарт төркем урнаштыру, чөнки модельләр бер-берсенә туры килүче мәгълүматлар белән өйрәнелгән һәм үз-үзе белән килешкән панельләр дәлил түгел. Согласование тиздән чиратка куела һәм сервер тарафыннан эшләнә, шуңа күрә сорау кабул ителгәннән соң кире кайтарыла.

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

Катнашучылар

• goal — Сезнең сүзләрегез белән белдерелгән таләп. Бу кирәк.
• rigor / rigor_preset — Рецензент сезгә куелган таләпләр, сүзмә яки исем буенча: стандарт, басылып чыгу, рәсми, премия, карар. Белемсез алдан билгеләнгән бәяләүләр гадәти бәяләүләр белән алмаштыру урынына кире кагыла - сез сорамаган бәяләүләр белән бәяләнү хатадан да яманрак.
• seats — Икедән алтыга кадәр сөйләшү урыны, һәрберсе GET /api/v1/models/ дан модель идентификаторы һәм өстәмә позиция.
• referee — критерийларны һәм дәлилләрне тикшерүче модель.
• max_rounds, usd_ceiling — Кырыс чикләүләр. Төпкә җитү уенчыларны туктата, ә бу чиктән тыш чыгымнар китерә, һәм туктатылган уенчыларны туктатылган урыннан дәвам итә.
• public — тәмамланган уены җәмәгать галереясенә чыгару.

Барлык матчлар: хәл, кабул итү критерийлары һәм һәрберсенең хәл ителү тәртибе, билгеләнгән нәтиҗәләр журналы, һәрбер карар артында булган дәлилләр, һәм карар булганда карар. Матч минутлардан сәгатьләргә кадәр бара, шуңа күрә һәрбер секунд саен сораштыру үткәрегез - җавап кайчан туктарга кирәклеген сезгә әйтер.

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

Хәлдәр: чиратта, эшләп баручы, тору, funds_needs, хәл ителгән, беткән, ябылган, хаталанган. Соңгы дүртесе терминаллар; тору, funds_needs, беткән һәм ябылган дәвам итә ала.

Туктап калган уенга күбрәк раундлар яки бюджет бирү. Панельдә билгеләнгән һәр нәрсә саклана - нәтиҗәләр бер тапкыр гына журналга языла һәм беркайчан да яңадан китерелми, һәм теркәлгән буш урыннар аны инде хаталанган ысулга кайтудан туктата.

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/ — бар нәрсәне күрсәтә, клиент бу битсез дә үз юлын таба ала.
• GET /api/v1/models/ — 1999 елдан башлап, 1000 дән артык фәнни хезмәт, 1000 дән артык фәнни-популяр мәкалә авторы. Бу биттәге язмалар, рәсемнәр.
• GET /api/v1/matches/ — Сезнең туры килүләрегезне күрсәтү, иң яңасы беренче; торышы, чикләнгән һәм күчерелгән битләр буенча фильтрлау.
• GET /api/v1/account/ — баланс, гомер буе тотылган акча һәм сезне алдан түләнгән кредит яки үзегезнең индукция ключы белән идарә итү.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — Ключлар исемлеген күрсәтү һәм кире кагу. Беренче ключ бары тик монда, браузерда гына ясала ала.

Һәрбер хатаның бер үк формасы бар. Кодка бүленеп, стабиль; хәбәр проза һәм яңадан языла ала.

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

401 — 402 — 403 — 404 — 405 — 406 — 407 — 408 — 409 — 410 — 411 — 412 — 413 — 414 — 415 — 416 — 417 — 418 — 419 — 420 — 421 — 422 — 423 — 424 — 425 — 426 — 427 — 428 — 429 — 430 — 431 — 432 — 433 — 434 — 435 — 436 — 437 — 438 — 439 — 440 — 441 — 442 — 443 — 444 — 445 — 446 — 447 — 448 — 449 — 450 — 451 — 452 — 453 — 454 — 455 — 456 — 457 — 458 — 459 — 460 — 461 — 462 — 463 — 464 — 465 — 466 — 467 — 468 — 469 — 4

Клавиатура буенча исәпләнгән: 240 уку һәм 30 туры килү минутына. Юк, бу максаттан тыш - туры килү чынлыкта сезнең балансыгызны куллана, һәм бу кабатлау циклын яки сораштыручыны бетерү өчен. Бу чиктән тыш, сезгә 429 бирелә; бара торган туры килүне дәвамлы рәвештә түгел, ә һәрбер секунд саен сораштыру.