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 — இரண்டு முதல் ஆறு விவாதம் இருக்கைகள், ஒவ்வொரு ஒரு மாதிரி id GET /api/v1/models/ மற்றும் ஒரு தேர்ந்தெடுக்கப்பட்ட நிலை.
• 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 கோரிக்கை தவறாக இருந்தால்.

விசை வாரியாக கணக்கிடப்பட்டது: 240 படிப்புகள் மற்றும் 30 match நிமிடங்கள் தொடங்குகிறது. நோக்கத்திற்காக மெதுவாக - உண்மையில் match ஐ வரையறுப்பது உங்கள் சமநிலையை செலுத்துவதாகும், இது மீண்டும் முயற்சி செய்யும் சுழற்சி அல்லது ஒரு பாலர் இயங்குவதைத் தடுக்க இது இங்கே உள்ளது. எல்லைக்கு மேல் நீங்கள் 429 பெறுவீர்கள்; தொடர்ந்து இயங்கும் match ஐ ஒவ்வொரு சில நொடிகளுக்கும் பாலிங் செய்யவும்.