데이터 덤프 및 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 객체, gzip, 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 주소당 1분씩 요청합니다. 모든 것을 원한다면 덤프를 가져가세요. 하나의 파일이고 우리에게는 아무런 비용이 들지 않습니다.
∎ 데이터에도 한 가지를 의미합니다.
verified: true 리언 커널이 속이지 않은 파일을 받아들인 곳에서만 나타나며, 복사되지 않고 도구에서 끝나는 곳에서 재계산됩니다.
status: "ok" 도구가 완료되었음을 의미합니다. Sage 세션 인쇄
True 증거가 아닌 증거입니다.
status: "error" 검사자를 전혀 실행할 수 없다는 뜻입니다. 검사자가 작업을 거부했다는 뜻은 아닙니다.