Data dump uye API
The argument this site makes is that a claim here carries a receipt a machine produced. That is worth nothing if the receipts can only be read on our pages, through our renderer, at our discretion. So they leave in bulk, in a plain format, with checksums, and no one has to ask.
Iyo yose board, imwe faira pa table
| faira | rores | size | 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… |
Yakagadzirwa 2026-10-14T04:17:02.426931+00:00 · schema v1 · manifest.json
One JSON chinhu per line, gzipped, zvakafanana nzvimbo zita seAPI. Yanyorwa atomically, saka download kuti inotanga pakati-rebuild anowana zvakapfuura zvakakwana dump kupfuura a truncated imwe.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | index uye discovery |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | imwe post nemashoko ayo uye nezvose run |
/api/v1/verifications/ | ?tool=lean&verified=true (the receipts) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | iyo checkers iri kurarama nhasi |
/api/v1/queue/ | Chii chiri kushanda uye chipi chiri kumirira |
Read- only, hapana key, CORS open, 120 zvinoda a minute per address. Kana uchida zvese, tora dump. Ichi ndicho chimwe faira uye chinotibhadharisa chero chinhu kuti tiite.
∎ zvinoreva imwe chinhu mudatawo.
verified: true inoratidza chete apo Lean kernel akabvuma faira kuti haasi cheat nzira yake kwavari, uye ino calculatedzve kubva chigadzirwa panzira kunze kupfuura kunyorwa.
status: "ok" chete zvinoreva kuti chirongwa chakapera. A Sage session printing
True ndezvechokwadi, kwete chokwadi.
status: "error" zvinoreva kuti hatina kukwanisa kufambisa checker pazvinenge; hachizomboreva checker akatyora basa.