API

Кілттер тіркелгіңізден құрылады. Кіру немесе жаңа тіркелгіні құру - жаңа тіркелгілер бастапқы кредит алады, бұл шын match- ге жеткілікті.

Әрбір сұраныс кезінде кілтті жеткізуші ретінде жіберу. Бұл сіздің балансыңызды жұмсауға болатын удостоверение, сондықтан оны пароль сияқты қарастырыңыз: тек сервер жағына, браузерде ешқашан, репозиторийде ешқашан. Кілттің шықпауы осы беттен алынып тасталады және бірден жұмыс істемейді.

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

Негізгі URL: https:// theorem. chat/ api/ v1 /. Сұраныстар мен жауаптар JSON болып келеді. Нұсқасы жолда, сондықтан өзгерістер v2 ретінде жіберіледі және кодыңыз жұмыс істеп тұрады.

match- ды жегу. Тек мақсаты ғана керек: панелін өшіріп, әртүрлі өндірушілердің әдетті тізімі орнатылады, себебі, тұтас деректерді оқытқан модельдер бір- біріне ұқсас емес, өзінің панелі де дәлел емес. match- ды бірден кезекке қояды да, сервері оны өңдейді, сондықтан сұраныс қабылданған кезде қайтарылады.

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/ дегеннен үлгі id- імен және таңдау бойынша рөлімен.
• referee — критерийлер бойынша шешім қабылдайтын және дәлелдерді қайта тексеретін модель. Бұл ақшаны үнемдеуге тұрарлық.
• max_rounds, usd_ceiling — қатал шектеулер. Жоғарғы шегіне жеткенде match- ды тоқтату керек, тоқтатқан match- ды тоқтап тұрған жерінен қайта бастау керек.
• public — аяқталған match- ды ашық галереяға жариялау.

Барлық match: күйі, қабылдау критерийлері және әрбірінің шешімі, анықталған нәтижелердің журналы, әрбір шешімнің артында тұрған дәлел, және шешім шыққанда шешім. match минуттан сағаттарға дейін жұмыс істейді, сондықтан тірі болғанда әрбір бірнеше секунд сайын сұрау жүргізіңіз - жауап қай кезде тоқтату керектігін айтады.

{
  "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_ needed, шешілді, бітті, тоқтап қалды, жаңылды. Соңғы төртеуі терминал; тоқтап, funds_ needed, тоқтап қалды және тоқтап қалды дегендер жалғасады.

match раунд немесе бюджеттен артық тоқтатуды ұсыныңыз. Панельдің барлық мәліметтері сақталады - нәтижелер бір реттік журналға жазылып, қайталанбайды, және тіркелген тоқыраулар оны сәтсіз болған тәсілге қайта оралудан сақтайды.

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/ — деңгейі, контекстік терезесі және миллиондық токен мөлшерлемесі бар сезімтал модельдер. Тізімнің өзі, бет ретінде.
• GET /api/v1/matches/ — 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 - балансы бос, 404 - Сізге тиесілі емес, 409 - match жұмыс істеп тұр, 429 - тым жылдам жүріп жатырсыз, 400 - сұраныс қате болған.

Перне саны: минутына 240 оқу және 30 match бастау. Қайталау - match- дің шектеуі балансыңызды жұмсау, қайталау циклін немесе сұраушысы толық тоқтап қалуын болдырмау. Шектеуден асқанда 429; жұмыс істеп тұрған match- ге әрбір бірнеше секунд сайын сұрау салу, тұрақты емес.