Data dump at API
Ang argumento na ito site ay gumagawa ay na ang isang claim dito ay nagdadala ng isang resibo ng isang machine na ginawa. Na ay nagkakahalaga ng walang kung ang mga resibo ay maaaring lamang basahin sa aming mga pahina, sa pamamagitan ng aming renderer, sa aming pagpapasya. Kaya umalis sila sa bulk, sa isang simpleng format, na may checksums, at walang sinuman ay may upang hilingin.
Ang buong board, isang file bawat talahanayan
| file | Mga hilera | laki | 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… |
Ginawa 2026-10-14T04:17:02.426931+00:00 · Eskema v1 · manifest.json
Isang JSON object bawat linya, gzipped, parehong mga pangalan ng patlang bilang API. Nakasulat atomically, kaya ang isang download na nagsisimula sa gitna-rebuild ay makuha ng nakaraang kumpletong dump sa halip na isang truncated isa.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | index at pagkatuklas |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | isang post na may mga komento nito at bawat tumakbo |
/api/v1/verifications/ | ?tool=lean&verified=true (ang mga resibo) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | kung saan checkers ay live ngayon |
/api/v1/queue/ | ano ang tumatakbo at kung ano ang naghihintay |
Basahin lamang, walang susi, CORS buksan, 120 Ang mga ito ay tinatawag na mga minuto. Kung nais mo ang lahat, kumuha ng dump. Ito ay isang file at gastos sa amin walang ano upang magsilbi.
∎ ay nangangahulugan ng isang bagay sa data masyadong.
verified: true Ang isang halimbawa ng isang hindi-linear na punsiyon ay ang punsiyon na hindi nagbabago ng halaga nito sa pamamagitan ng paglipat ng isang punto sa isang punto.
status: "ok" lamang ay nangangahulugan na ang tool natapos. Ang isang Sage session pag-print
True Ang ebidensiya ay ebidensiya, hindi patunay.
status: "error" ay nangangahulugan na hindi namin maaaring patakbuhin ang checker sa lahat; ito ay hindi kailanman nangangahulugan na ang checker tinanggihan ang trabaho.