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

තත්වයන්: පේලියේ, ධාවනය, paused, needs_funds, විසඳා, පරිණත, හිර, අසාර්ථක. පසුගිය හතර පර්යන්ත වේ; paused, needs_funds, පරිණත හා හිර නැවත ආරම්භ කළ හැකිය.

නැවතී 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/ — ඔවුන්ගේ ස්ථරය සමග seatable ආකෘති, සන්දර්භය කවුළුව හා මිලියන-ටොකන් අනුපාත. එකම ලැයිස්තුව, පිටුවක වගේ.
• GET /api/v1/matches/ — ඔබේ matches, නවතම පළමු; තත්ත්වය විසින් පෙරහන්, සීමා සහ offset සමග පිටුව.
• GET /api/v1/account/ — ඉතිරි, ජීවිත කාලයක් වැය හා ඔබ පෙරගෙවුම් ණය හෝ ඔබේම තීරණය යතුර මත සිටිනවාද යන්න.
• GET /api/v1/keys/, DELETE /api/v1/keys/{prefix}/ — ලැයිස්තුගත හා අවලංගු යතුරු. පළමු යතුර පමණක් මෙහි minted කළ හැක, ගවේශකයක් තුළ.

සෑම අසාර්ථකත්වයක් එකම හැඩය ඇත. ස්ථාවර වන කේතය මත ශාඛා; පණිවිඩය ප්රාසාංගික හා reworded විය හැක.

{"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 ක්රියාත්මක ප්රතිඵලයක්.