माहिती डम्प व 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 |
6 | 284 bytes | 13b1b3222eda8be0… |
बनविले 2026-10-18T04:17:02.319715+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" याचा अर्थ आपण तपासणी पूर्णपणे चालवू शकलो नाही; याचा कधीच अर्थ असा नाही की तपासणी कार्य नाकारले.