# Neo.K × EveMissLab

Canonical website: https://thisoneisneok.com/

This is Neo.K's personal site. It holds a bilingual personal blog, small experimental applications, the MSSP field lab, Lean4 formalization entries with their companion papers, and a selection of books. It is not the complete paper corpus, and it is not the index of Neo.K's other sites.

Papers publish in three formats from one source: /html/papers/{id}.html, /pdf/papers/{id}.pdf, and /md/papers/{id}.md. MSSP examples publish their full source on the example page.

Primary machine-readable index:
https://thisoneisneok.com/ai/site-index.md

Blog metadata:
https://thisoneisneok.com/ai/blog-index.json

Content-generation guide:
https://thisoneisneok.com/source/site-source-guide.md

Wider network:
https://evemiss.com/ — main navigation site, reaching most of the network
https://evemisslab.com/ — research and application brand entrance