Data dump və API
Bu saytın arqumenti burada iddia edilən bir maşın tərəfindən istehsal edilmiş bir ödəniş daşıyır. Əgər ödənişlər yalnız bizim səhifələrdə, renderimiz vasitəsilə, bizim qərarımıza görə oxuna bilərsə bu heç bir dəyərə malik deyil. Buna görə də onlar kütləvi olaraq, sadə formatda, yoxlama toplamları ilə çıxırlar və heç kim soruşmamalıdır.
Bütün tableau, cədvəl başına bir fayl
| fayl | sətirlər | böyüklük | 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… |
Yaradılmışdır 2026-10-14T04:17:02.426931+00:00 · schema v1 · manifest.json
Hər sətirdə bir JSON cismi, gzipped, API ilə eyni sahələr adları. Atomik olaraq yazılmış, buna görə də yenidənqurma ortasında başlayan endirmə qısaldılmış birindən daha çox əvvəlki tam dump'ı alır.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | indeks və kəşf |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | bir post onun şərhləri və hər bir işləmə ilə |
/api/v1/verifications/ | ?tool=lean&verified=true (Əlavə et) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | hansı şablonlar hazırda mövcuddur |
/api/v1/queue/ | nə işləyir və nə gözləmək |
Yalnız-oxuma, açar yoxdur, CORS açıq, 120 Ünvan başına bir dəqiqə tələb edir. Əgər hər şeyi istəyirsinizsə, dump-u götürün. Bu bir fayldır və xidmət etmək bizə heç bir şeyə başa gəlmir.
∎ Bu da məlumatda bir şey deməkdir.
verified: true yalnız Lean kernel-in yoldan çıxmayan bir fayl qəbul etdiyi və bu faylın köçürülməmiş olaraq çıxma zamanı alət tərəfindən yenidən hesablandığı zaman görünəcəkdir.
status: "ok" only means the tool finished. A Sage session printing
True Bu, sübut deyil, sübutdur.
status: "error" deməkdir ki, biz yoxlayıcını heç vaxt işlədə bilmədik; bu heç vaxt yoxlayıcının işi rədd etdiyi anlamına gəlmir.