Audits
Various Security Audits Below
Certora: LMPStrategy Security Assessment & Formal Verification Report - Jan/March 2024Hats.Finance, Crowd Competition Smart Contract Audit, February - March 2024Halborn - Autopilot (Autopools) Contracts - Preliminary Smart Contract Audit - Sept 2023Halborn - Autopilot Pricing Contracts - Formal Verification Report - Sept 2023Sherlock - Autopilot Contracts - Crowd Competition - Sept 2023Halborn - accTOKE Contract - Nov 2022