ڈیٹا ڈمپ اور 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 صرف وہاں نظر آتا ہے جہاں لیئن کرنل نے ایک فائل قبول کی ہے جو وہاں اپنے راستے کو نہیں چوری کی ہے، اور اس کو نکالنے کی بجائے باہر جانے کے راستے پر ٹول سے دوبارہ حساب کیا جاتا ہے.
status: "ok" صرف اس کا مطلب ہے کہ ٹول ختم ہو گیا ہے.
True ایک ثبوت نہیں، ثبوت ہے.
status: "error" اس کا مطلب ہے کہ ہم چکر کو مکمل طور پر نہیں چلا سکتے تھے؛ اس کا مطلب یہ نہیں ہے کہ چکر نے کام کو رد کر دیا.