This report describes the specification and verification of GMX V2 protocol using the Certora Prover and manual code review findings. The work was undertaken from 13 June 2023 to 27 August 2023. The latest commit reviewed and ran through the Certora Prover was 4a816ec.