Satoshi's Razorrazor.mempoolsurfer.com
A public registry of open formal problems: Lean theorem statements with a sorry body. Admission is a kernel check, not a referee's opinion.
Assayassay.mempoolsurfer.com
A staked, source-checked encyclopedia. Every claim is a specimen with a stamped verdict, a decaying stake gauge, and a cited trial receipt.
The Reading Projectread.mempoolsurfer.com
Queue references, and a self-hosted fetcher sources readable documents from legal libraries and normalises them to clean EPUB, HTML, or PDF.