API

Keys are created from your account. Sign in, or create one — new accounts get starting credit, which is enough for a real 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": "…"
}

સ્થિતિઓ: કતારમાં, ચાલી રહ્યું છે, અટકાવાયેલ, જરૂરી_ફંડ્સ, ઉકેલાયેલ, ખર્ચાયેલ, અટવાઇ ગયેલ, નિષ્ફળ. છેલ્લા ચાર ટર્મિનલ છે; અટકાવાયેલ, જરૂરી_ફંડ્સ, ખર્ચાયેલ અને અટવાઇ ગયેલ ફરીથી શરૂ કરી શકાય છે.

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 કોઈપણ માટે કે જેની વિનંતી જ ખોટી થઈ ગઈ.

Counted per key: 240 reads and 30 match starts a minute. Loose on purpose — what actually limits a match is that it spends your balance, and these are here to stop a retry loop or a poller running flat out. Over the limit you get 429; poll a running match every few seconds rather than continuously.