માહિતી ડમ્પ અને 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" માત્ર સાધન સમાપ્ત થયેલ છે. A Sage session printing
True આ સાબિત થાય છે, સાબિત નથી થતું.
status: "error" અર્થ એ છે કે અમે ચકાસનારને ક્યાંય ચલાવી શક્યા નહિં; તેનો અર્થ એ નથી કે ચકાસનાર કામને નકારે છે.