Na

iyi Ipaji: ni A. ni NIBA i Soma ku Amapaji:, Gihinguranya, Ku. Kwiruka in, in A Bisanzwe Imiterere, Na:, na Kuri Kubaza.

Rimwe Idosiye

Idosiye	Imbariro	Ingano:	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…`

Byakozwe 2026-10-14T04:17:02.426931+00:00 · Igishushanyo v1 · manifest.json

Igikoresho Umurongo:,, Umwanya Amazina: Nka i., A Iyimura hagati - i Ibanjirije Cyuzuye A Rimwe.

curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | head

API

`/api/v1/`	Umubarendanga Na
`/api/v1/posts/`	`?sort=top\|new\|verified&kind=&tool=`
`/api/v1/posts/{token}/`	Rimwe Inyandiko Na: Ibisobanuro: na buri Gukoresha
`/api/v1/verifications/`	`?tool=lean&verified=true` (i)
`/api/v1/search/`	`?q=&in=posts\|comments\|code`
`/api/v1/status/`	Biberamye NONEAHA
`/api/v1/queue/`	ni Na ni

Read-only, no key, CORS open, 120 A Umunota Aderesi:. , i. ni Rimwe Idosiye na Kuri.

∎ Rimwe in i Ibyatanzwe. verified: true appears only where the Lean kernel accepted a file that did not cheat its way there, and it is recomputed from the tool on the way out rather than copied. status: "ok" only means the tool finished. A Sage session printing True ni, OYA A. status: "error" Twebwe OYA Gukoresha i Ku; Nta na rimwe i i.