This report details the formal verification and manual security audit of Claynosaurz NFT, performed by Certora between April 11, 2025, and April 18, 2025. The scope included 9 contracts. The project allows users to purchase a boosterpack which would then be burned in exchange for newly created NFTs. The project contains a registry module to manage the various roles in the protocol, and a display module to comply with Sui’s display standard.