January 2026 monthly summary for input-output-hk/ouroboros-leios-formal-spec. The month focused on improving developer onboarding and build clarity for Agda-based workflows. Key feature delivered: Documentation: Clarify Agda Build Instructions. Impact: Updated the README to reference the correct Agda build file name (replacing Everything.agda with formal-spec.lagda.md), reducing user confusion and support requests and improving first-build success. Major bugs fixed: none reported this period. Overall impact: Enhanced maintainability and developer productivity by making the build process clearer and easier to follow for contributors and users. Technologies/skills demonstrated: documentation best practices, clear communication of build requirements, version control discipline, and understanding of Agda-based workflows.