Nemo backend Zig binary (nemo): HTTP server, SQLite persistence, and client for the Lean /lean/v0/* API. Build from the repository root (where build.zig lives): zig build zig build run Sources live under backend/src/.