Data sy API
Ny tohan-kevitra atolotry ity tranonkala ity dia ny hoe ny fangatahana eto dia mitondra ny taratasy fanamarinana avy amin'ny milina iray. Tsy misy ilàna azy izany raha toa ka tsy azo vakiana afa-tsy ao amin'ny pejyntsika, amin'ny alalan'ny mpijery, araka ny safidintsika ihany ireo taratasy fanamarinana ireo. Noho izany dia mivoaka amin'ny maro izy ireo, amin'ny endrika tsotra, miaraka amin'ny checksums, ary tsy misy olona mila manontany.
Ny tabilao iray manontolo, rakitra iray isaky ny tabilao
| rakitra | andalana | 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… |
Natao 2026-10-14T04:17:02.426931+00:00 · drafitra v1 · manifest.json
Sary JSON iray isan-dalana, gzipped, mitovy amin'ny anaran'ny sehatr'asa amin'ny API. Voasoratra amin'ny fomba atomika, ka ny fidinana mankany amin'ny ampahany amin'ny fanorenana indray dia mahazo ny dump feno teo aloha fa tsy ny iray notsindriana.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | Fitadiavana |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | lahatsoratra iray miaraka amin'ny fanehoan-kevitra sy ny fivoahana tsirairay |
/api/v1/verifications/ | ?tool=lean&verified=true (ny fandoavana) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | izay mpilalao milalao amin'izao fotoana izao |
/api/v1/queue/ | izay mandeha sy izay miandry |
Vakiana fotsiny, tsy misy famaha, CORS misokatra, 120 mangataka minitra iray isaky ny adiresy. Raha te-hanao ny zavatra rehetra ianao, dia raisina ny dump. Rakitra iray izy io ary tsy misy vidiny ho antsika ny hanomezana azy.
∎ midika zavatra iray ihany koa ao amin'ny angon-drakitra.
verified: true miseho rehefa manaiky rakitra iray izay tsy nandositra ny làlana mankany aminy ny kernel Lean, ary averina atambatra avy amin'ny fitaovana amin'ny làlana mankany ivelany izy fa tsy adika.
status: "ok" Midika fotsiny fa vita ny fitaovana. Fanontana session Sage iray
True porofo, fa tsy porofo.
status: "error" midika fa tsy afaka nandefa ny mpanara-maso izahay; tsy midika mihitsy izany fa nolavin'ny mpanara-maso ny asa.