Ndebata na API
The argument nke a saịtị na-eme bụ na a claim ebe a na-eburu a receipt a igwe-emepụta. Na-eweta ihe ọ bụla ma ọ bụrụ na receipt nwere ike na-agụ na anyị peeji, site na anyị render, na anyị n'aka. Ya mere ha na-ahapụ na bulk, na a plain format, na checksums, na onye ọ bụla nwere ike ịjụ.
Bódi ahụ niile, faịlụ otu n'ime táàbụ̀ ọbụla
| Faịlụ | Ụlọọrụ | _Ụhara: | 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… |
E mepụtara 2026-10-14T04:17:02.426931+00:00 · schema v1 · manifest.json
Otu ihenhọrọ JSON n'ụdị ọbụla, gzipped, aha ebe dị ka API. E depụtara ya n'ụzọ atomik, yabụ nbudata nke na-amalite n'etiti-nrụnyeghachi na-enweta dump zuru ezu nke gara aga n'ebe ọbụla n'ebe ọbụla.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | Indentị na nwughari |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | otu ozi na-akọwa ya nakwa ọbụna ọbụna |
/api/v1/verifications/ | ?tool=lean&verified=true (Nhazi) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | Chéèks̀ọ̀lụ̀ ndị ahụ nọ n'ọrụ ugbua |
/api/v1/queue/ | ihe na-arụ ọrụ na ihe na-echere |
Gụọ-ọfụụ, kii ọbụla, CORS mepee, 120 N'ihe achọrọ nkeji n'ọnụọgụgụ adreesị. Ọ bụrụ na ịchọrọ ihe niile, were dump. Ọ bụ faịlụ otu na ọ na-efu anyị ihe ọbụla iji rụọ ọrụ.
∎ na-egosi ihe n'ime data.
verified: true Na-egosi naanị ebe Lean kernel na-anabata faịlụ nke anaghị egosi ụzọ ya ebe ahụ, na ọ na-enyocha ya site na tùlè na ụzọ ya n'ime kama ịpị ya.
status: "ok" Na-egosi naanị na tùleè ahụ gwụchara. A Sage session printing
True bụ ihe atụ, ọ bụghị ihe atụ.
status: "error" N'ihi na anyị agaghị enwe ike ijikwa onyenhọrọ ahụ n'ụzọ ọ bụla; ọ dịghị mgbe ọ pụtara na onyenhọrọ ahụ hapụla ọrụ ahụ.