API

किल्ली तुमच्या खात्यापासून बनविले जातात. दाखलन करा, किंवा एक बनवा - नविन खात्यास प्रारंभिक क्रेडिट मिळते, जे वास्तविक match साठी पुरेसे आहे.

प्रत्येक विनंतीवर किल्ली बेअरर टोकन नुरूप पाठवा. हे एक ओळखचिन्ह आहे जे तुमचे बॅलन्स खर्च करू शकते, म्हणून गुप्तशब्द नुरूप हाताळा: फक्त सर्वर-साईड, कधीही ब्राऊजर मध्ये नाही, कधीही रिपोझिटरी मध्ये नाही. एक लीक किल्ली या पानातून रद्द केली जाते व तत्काळ कार्य करणे थांबविले जाते.

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

[Translation temporarily unavailable. Please try again.]

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 / मॉडेल्स / आणि एक वैकल्पिक स्थिती.
• referee — या मॉडेलमध्ये निकषांवर नियंत्रण ठेवले जाते आणि पुरावे पुन्हा तपासले जातात.
• max_rounds, usd_ceiling — match च्या वर खर्च करण्याऐवजी, 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 for a missing or revoked key, 402 when the balance is empty, 404 for a token that is not yours, 409 for a match that is already running, 429 when you are going too fast, 400 for anything the request itself got wrong.

प्रत्येक कि नुसार गणना: 240 वाचन आणि 30 match मिनिट सुरू. उद्देशावर हळुवार - match ची वास्तविक मर्यादा म्हणजे ते तुमचे बॅलन्स वापरते, आणि हे पुन्हा प्रयत्न लूप किंवा पोलर धावणे बंद करण्यासाठी येथे आहेत. मर्यादेच्या वर तुम्हाला 429 मिळते; धावणारे match धावण्याऐवजी दर काही सेकंदांनी पोल करा.