Деректерді шығару және 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
One JSON object per line, gzipped, same field names as the API. Written atomically, so a download that starts mid-rebuild gets the previous complete dump rather than a truncated one.
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" Тек құрал біткен дегенді білдіреді. A Sage session printing
True бұл дәлел, дәлел емес.
status: "error" дегеніміз тексерушілер мүлдем орындалмады деген сөз. Бұл тексерушілер жұмысты қабылдамады дегенді білдірмейді.