Cozy Finance is a modular protection system where EVM protocols create safety modules that pool capital to cover predefined loss events. The Cozy Router is the execution layer that lets users run multi-step Cozy actions in one call and handles token movement/approvals across modules. EulerVaultHelpers is the Router integration layer for Euler Vaults, exposing supply, withdraw, borrow, repay, and combined convenience flows.

In its review of the EulerVaultHelpers and TokenHelpers contracts, the Certora team identified only one low-severity issue which was resolved. The report below contains details of the threat analysis performed and all findings.