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

ሁኔታዎች: ተከታታይ, የሚሰራ, የተቆለፈ, needs_funds, የተፈታ, የተጠናቀቀ, የተጣመመ, የተሳሳተ. የመጨረሻዎቹ አራት ተርሚናል ናቸው; የተቆለፈ, 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/ — your matches, newest first; filter by status, page with limit and offset.
• 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 በየጥቂት ሰከንዶች ይልቅ ያለማቋረጥ.