Таърихи фурӯзон ва 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 файли қабулшударо, ки ба он роҳ надодааст, қабул мекунад, пайдо мешавад ва он аз асбоб дар роҳи баромадан ба ҷои нусхабардорӣ аз нав ҳисоб карда мешавад.
status: "ok" Ин танҳо маънои онро дорад, ки асбоб ба итмом расид.
True Ин гувоҳӣ аст, на далел.
status: "error" маънои онро дорад, ки мо наметавонем санҷишро дар ҳама ҷо иҷро кунем; ин маънои онро надорад, ки санҷиш корро рад кардааст.