Маалыматтарды жүктөп алуу жана API
Бул сайттын аргументи, бул жердеги билдирүү машина тарабынан чыгарылган расписка менен коштолот дегени. Эгерде распискаларды биздин баракчаларда гана окуп, биздин рендерер аркылуу, биздин чечимибиз менен окуса, анда бул эч нерсеге татыбайт. Ошондуктан алар бирдиктүү, жөнөкөй форматта, контролдук суммалар менен чыгып кетишет, эч ким сурабайт.
Бардык бет, ар бир таблицада бир файл
| файл | сап | өлчөм | 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… |
Жаратылган 2026-10-14T04:17:02.426931+00:00 · схема v1 · manifest.json
Бир сапта бир гана JSON объекти, gzipped, API менен бирдей талаа аталыштары. Атомдук түрдө жазылган, ошондуктан кайра курууда баштала турган жүктөө мурунку толук дампты алат, кыскартылганын эмес.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | индекс жана издөө |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | бир макала, анын комментарийлери жана ар бир аткарылышы |
/api/v1/verifications/ | ?tool=lean&verified=true (Кыймылдарды кабыл алуу) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | кайсы шашкалар учурда активдүү |
/api/v1/queue/ | аткарылып жаткан жана күтүлүүдө турган нерселер |
Окуу гана, ключ жок, CORS ачылган, 120 бир мүнөт талап кылынат. Эгерде сиз бардык файлдарды кааласаңыз, анда дампты алыңыз. Бул бир файл жана аны иштетүү бизге эч нерсеге турбайт.
∎ маалыматта бир нерсени да билдирет.
verified: true Бул параметр Lean kernel файлды кабыл алганда гана көрүнөт, ал эми файлдын жолунда эч кандай катачылыктар болбогондуктан, ал копиялангандан көрө, жабдыктан чыгып жатканда кайра эсептелет.
status: "ok" Бул жөн гана аспаптын бүткөнүн билдирет.
True Бул далил, далил эмес.
status: "error" дегени текшергичти бүтпөй калганын билдирет; бул эч качан текшергичтин ишти четке каккандыгын билдирет.