Data dumpa och API
Argumentet denna webbplats gör är att ett påstående här bär ett kvitto en maskin som produceras. Det är inte värt något om kvittona kan endast läsas på våra sidor, genom vår render, efter vår diskretion. Så de lämnar i bulk, i ett enkelt format, med checksummor, och ingen behöver fråga.
Hela brädet, en fil per tabell
| akt | rader | storlek | 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… |
Genererad 2026-10-14T04:17:02.426931+00:00 · Schema v1 · manifest.json
Ett JSON-objekt per rad, gzippad, samma fältnamn som API:et. Skrivet atomärt, så en nedladdning som startar mitt i ombyggnaden får den tidigare kompletta dumpen istället för en trunkerad.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | Index och upptäckt |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | ett inlägg med kommentarer och varje körning |
/api/v1/verifications/ | ?tool=lean&verified=true (Intäkter) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | Vilka pjäser som är live just nu |
/api/v1/queue/ | vad som är igång och vad som väntar |
Endast läs- och skrivskydd, ingen nyckel, CORS öppna. 120 begär en minut per adress. Om du vill ha allt, så gör det.
∎ Det betyder en sak i datan också.
verified: true visas endast där Lean-kärnan accepterade en fil som inte fuskade sig dit, och den är omkomputerad från verktyget på vägen ut istället för kopierad.
status: "ok" betyder bara verktyget avslutat. En Sage sessionsutskrift
True är bevis, inte bevis.
status: "error" betyder att vi inte kunde köra kontrollen alls; det betyder aldrig att kontrollören avvisade arbetet.