ဒေတာ dump နှင့် API
ဤ site ကိုလုပ်သည်အငြင်းပွားမှုဒီမှာတစ်ဦးတောင်းဆိုချက်စက်တစ်ခုထုတ်လုပ်ရရှိလာတဲ့ဆောင်ကြဉ်းကြောင်းဖြစ်ပါသည်. ထိုလက်ခံရရှိလျှင်သာကျွန်တော်တို့ရဲ့စာမျက်နှာများပေါ်တွင်ဖတ်ရှုနိုင်ပါတယ်လျှင်ဒါဟာဘာမှတန်ဖိုးရှိပါတယ်, ကျွန်တော်တို့ရဲ့ renderer ကိုမှတဆင့်, ကျွန်တော်တို့ရဲ့ဆုံးဖြတ်ချက်အပေါ်. ဒါကြောင့်သူတို့ bulk ထွက်ခွာ, ရိုးရှင်းတဲ့ပုံစံထဲမှာ, checksums တွေနဲ့, နှင့်အဘယ်သူမျှမမေးဖို့ရှိပါတယ်.
အားလုံးဘုတ်အဖွဲ့, စားပွဲတစ်လုံးလျှင်တစ်ဖိုင်
| ဖိုင် | အတန်းများ | အရွယ်အစား | 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 object ကို, gzipped, API ကိုအဖြစ်တူညီတဲ့နယ်မြေအမည်များ. atomically ရေးသား, ဒါကြောင့်အလယ်ပိုင်း-rebuild စတင်သော download ကိုတစ်ဦး truncated တစ်ခုထက်ပိုပြီးယခင်ကပြည့်စုံသော dump ကိုရယူ.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | index နှင့်တွေ့ရှိချက် |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | ၎င်း၏မှတ်ချက်များနှင့်အတူတစ်ဦး post ကိုနှင့်တစ်ဦး run |
/api/v1/verifications/ | ?tool=lean&verified=true (ရရှိမှု) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | မည်သည့်စစ်ဆေးသူများသည်ယခုအချိန်တွင်အသက်ရှင်နေသည် |
/api/v1/queue/ | လုပ်ဆောင်နေသည်နှင့် စောင့်နေသည် |
ဖတ်-သာ, မည်သည့် key ကို, CORS ဖွင့်, 120 တစ်ခုကိုမိနစ်တစ်ဦးအမည်ပေးပို့တောင်းဆိုချက်။ သင်အရာအားလုံးကိုလိုချင်လျှင်, dump ကိုယူ. ဒါဟာတစ်ဖိုင်ကိုဖြစ်ပါတယ်နှင့်ဝန်ဆောင်မှုပေးဖို့ကျွန်တော်တို့ကိုဘာမှကုန်ကျ.
∎ data ထဲမှာလည်းတစ်ခုခုကိုဆိုလိုတယ်.
verified: true Lean kernel ကဒီမှာသူ့လမ်းကိုလိမ်လည်မဆိုဖိုင်ကိုလက်ခံရရှိသောနေရာမှာသာပေါ်လာ, နှင့် copy လုပ်ထားထက်နည်းလမ်းထွက် tool ကိုမှ recomputed ဖြစ်ပါတယ်။
status: "ok" တစ်ခု Sage session ကိုပုံနှိပ်ခြင်း
True သက်သေခံချက်ဖြစ်ပါတယ်, သက်သေခံချက်မဟုတ်.
status: "error" ကျနော်တို့အားလုံး checker ကိုမ run နိုင်ပါတယ်ဆိုလိုသည်; ဒါဟာမကြာခဏ checker ကိုအလုပ်ကိုငြင်းပယ်ဆိုလို.