डेटा डम्प र एपीआई
तर्क यो साइट बनाउँछ कि एक दाबी यहाँ एक मशीन उत्पादन एक प्राप्ति बोक्छ छ. त्यो प्राप्ति मात्र हाम्रो पृष्ठहरूमा पढ्न सकिन्छ भने केही मूल्य छ, हाम्रो रेन्डरर मार्फत, हाम्रो विवेक मा. त्यसैले तिनीहरू ठूलो मात्रा छोड्न, एक साधारण ढाँचामा, checksums संग, र कसैले सोध्न छ.
सम्पूर्ण बोर्ड, प्रति तालिका एउटा फाइल
| फाइल | पङ्क्ति | साइज | 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, एपीआई जस्तै नै फिल्ड नामहरू। एटमically लेखिएको, त्यसैले मध्य-पुनर्निर्माण सुरु भएको डाउनलोडले एक काटिएको एकको सट्टा अघिल्लो पूर्ण डम्प प्राप्त गर्दछ।
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 कर्नेल त्यहाँ यसको बाटो धोका छैन फाइल स्वीकार गरेको देखिन्छ, र यो प्रतिलिपि भन्दा बाहिर बाटो मा उपकरण देखि recomputed छ।
status: "ok" उपकरण समाप्त मात्र अर्थ। एक साजे सत्र मुद्रण
True प्रमाण, एक प्रमाण छैन छ।
status: "error" हामी सबै जाँचकर्ता चलाउन सकेन अर्थ; यो जाँचकर्ता काम अस्वीकार कहिल्यै अर्थ.