1delta is a decentralized margin aggregator service that allows users to directly build margin positions using established DEXes and lending protocols. This audit focused on 1delta's integration with Compound v2 and v3. During review of the smart contract code, Certora identified security issues, though none were of high severity. The full report details these findings and the responses of the 1delta team.