Data dump ndi API
Mfundo imeneyi sitepe ndi kuti lamulo pano amabweretsa chitsimikizo makina anapanga. Kuti ndi zoposa chilichonse ngati chitsimikizo angathe kuwerengedwa patsamba lathu, mwa njira yathu render, pa ife nzeru. Choncho iwo apite mu bulk, mu mtundu wachikhalidwe, ndi checksums, ndi aliyense ayenera kufunsa.
M'mbali zonse board, imodzi wapamwamba pa tabu
| fayilo | mizere | Kukula | 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… |
Yapangidwa 2026-10-14T04:17:02.426931+00:00 · schema v1 · manifest.json
Chochitika chimodzi cha JSON pa mzere, chozizira, zofanana ndi dzina la m'munda monga API. Zolemba za atomiki, kuti kutsitsa komwe kumayamba pakati pa kubwezeretsa kumalandira kutsitsa komaliza koyambirira kuposa kuchotsa.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | index ndi kuzindikira |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | imodzi post ndi ndemanga zake ndi aliyense run |
/api/v1/verifications/ | ?tool=lean&verified=true (ma receipts) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | amene checkers ndi moyo pano |
/api/v1/queue/ | zimene zikuyenda ndi zimene zikuyembekezera |
Kuwerenga-mwakhama, palibe batani, CORS otsegulira, 120 amafuna mphindi pa adiresi. Ngati mukufuna zonse, kulandira dump. Ndi imodzi wapamwamba ndi kuwononga ife chilichonse kulowerera.
∎ amatanthauza chinthu chimodzi mu deta kwambiri.
verified: true amaoneka kokha pamene Lean kernel anavomereza fayilo yomwe siyochita chinyengo chake, ndipo imawerengedwanso kuchokera pa chida panjira yotuluka kuposa kusindikizidwa.
status: "ok" amatanthauza kuti chida chomaliza. A Sage sewero kusindikiza
True ndi umboni, si umboni.
status: "error" amatanthauza kuti sitingathe kuyendetsa woyang’anira pa zonse; si nthawi zonse kumatanthauza woyang’anira anakana ntchito.