Скидання даних і 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 · schema v1 · manifest.json
Один об' єкт JSON на рядок, gzip, назви полів, які належать до API. Автор - Actomal, отже звантаження, яке починається посередині, отримує попереднє повне дамп, а не обрізане.
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" Тільки означає, що інструмент завершено. Друк сеансу Sage
True є доказ, не доказ.
status: "error" означає, що ми не могли запустити перевірку, це ніколи не означає, що шашки відкинули роботу.