Developed foundational formal verification infrastructure for the Anastasia-Labs/midgard repository by integrating Lean4 mechanization as a dedicated submodule. This work established a modular architecture that enables Lean4-based theorem proving workflows, laying the groundwork for future verification tooling and proof development. Leveraging skills in formal verification, submodule management, and theorem proving, the implementation focused on maintainability and upgradeability, creating clear integration points for subsequent enhancements. The use of Git for submodule integration and Lean as the verification language ensured a robust setup for advancing code correctness guarantees, positioning the project for accelerated adoption of formal methods in future development cycles.