The Compound Treasury Manager is a smart contract that manages funds with multisig and safeguard features. Certora has reviewed the Solidity code and found no major security issues. The details of the code reviewed and the methodology used can be found in the linked report.