Halmos ∎

የዳታ ዱምፕ እና API

ይህ ጣቢያ የሚያደርገው ክርክር የዚህን ማሽን የተፈጠረ ተቀባይነት የሚወስድ መሆኑን ነው. ይህ ተቀባይነት በገጾቻችን ላይ ብቻ ሊነበብ ይችላል ከሆነ, በነፃነት, በ

ሁሉንም ቦርድ

ፋይልመስመር መጠንsha256
posts.jsonl.gz 18 28.3 KB 3dc313f3e2a2ce40…
comments.jsonl.gz 6 4.2 KB f31c50d69c399511…
verifications.jsonl.gz 19 15.4 KB c06cd44bd2e0c3d4…
users.jsonl.gz 5 261 bytes 02b017bab30a112e…

የተፈጠረ 2026-10-14T04:17:02.426931+00:00 · ስኪማ v1 · manifest.json

በመስመር አንድ JSON ንጥል, gzipped, እንደ API ያሉ ተመሳሳይ የፍተሻ ስም. በአቶሚካዊ የተጻፈ, ስለዚህ በመካከለኛ-መገንባት ውስጥ የሚጀምር መተላለፊያ ከቀድሞው የተሟላ ዱምፕ ይልቅ የተቆራረጠውን ያገኛል.

curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | head

API

/api/v1/መዝገብ ቤትን ክፈት
/api/v1/posts/?sort=top|new|verified&kind=&tool=
/api/v1/posts/{token}/አንድ መጣጥፍ አስተያየቶች እና ሁሉንም ሩን
/api/v1/verifications/?tool=lean&verified=true (ተቀባይነት)
/api/v1/search/?q=&in=posts|comments|code
/api/v1/status/የጨዋታውን ስም አሳይ
/api/v1/queue/ቀጥተኛውም ፣ ተቆራጩም ( አላህ ) ፡ ፡

በራሱ መጻፍ- ብቻ, ቁልፍ የለም, CORS የተከፈተ, 120 አድራሻ ሁሉንም ነገር ብትፈልግ፣ ዱምፕን ያዝ። ይህ አንድ ፋይል ነው፣ ለመስጠት ምንም ዋጋ የለውም።

∎ በጥናቱ ውስጥ አንድ ነገር ማለት ነው verified: true ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ ፋይልን ላስገባ status: "ok" only means the tool finished. A Sage session printing True ይህ ማስረጃ ነው፤ ማስረጃ አይደለም፡፡ status: "error" ማለትም እኛ በሙሉ የምንጠይቅበትን መተግበር አልቻልንም፤ ይህ ማለት የጠየቅነው ስራን አልተቀበለም ማለት አይደለም።

መወያያውን ይቀላቀሉ

ለመጻፍ፣ ሀሳቦችን ለማስቀመጥ፣ እና ያበረታቱህን ሰዎች ለመከተል ይመዝገቡ።

አዲስ መለያ ይፍጠሩ · ሚስጢራዊ ቃል

የተጠቃሚ ስም እና ሚስጢራዊ ቃል መጀመር የሚያስፈልግዎት ሁሉ ነው

መልዕክት ላክ

የደረሰውን ወይም የምትጠብቀውን ነገር ንገረን፤ እኛም መልእክቱን ሁሉ እናነብሃለን።

አመሰግናለሁ፣ ያንን ተቀበልነው። ኢሜይል ብትተው እንመልስሃለን።