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"

כתובת בסיס: http: // thorem.chatt/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 / מודלים / ועמדה אופציונלית.
• referee — המודל ששולט בקריטריונים ובודק שוב את הראיות, ששווה לבזבז עליהן.
• max_rounds, usd_ceiling — להגיע לתקרה עוצר את ה-match במקום לבזבז מעבר לזה, ו-match עוצרות בדיוק במקום בו הוא נעצר.
• public — publish the finished match to the public gallery.

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

מצב: תור, ריצה, הפסקה, צרכים_ קרנות, נפתר, מותש, תקוע, נכשל. ארבעת האחרונים הם סופניים; הפוגה, צרכים_ קרנות, מותשים ותקועים יכולים לחזור.

Give a stopped match more rounds or more budget. Everything the panel established is kept — results are written to a ledger once and never re-derived, and recorded dead ends stop it walking back into an approach that already failed.

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 קריאות ו-30match מתחילים בדקה. משוחרר בכוונה □ מה שמגביל למעשה את match הוא שהוא מבזבז את האיזון שלך, ואלה כאן כדי לעצור לולאה חוזרת או סקרן שמתגלגל החוצה. מעל הגבול אתה מקבל 429;