Furucombo is composed of Proxy Contract & Handler Contracts. We keep conducting audits for all of our Smart Contracts and Handler Contracts to enhance the security of the Furucombo system.
Certora has formally verified the Proxy, Registry, and handlers of the Furucombo system. Some minor issues were detected which have all been addressed.
Compound smart wallet handler and Synthetix staking handler have been audited by Haechi with zero critical issues found.