Tokemak is now Auto Finance. Click to read the full announcement.
Auto Finance
LogoLogo
Ctrlk
auto.financeGithubXDiscord
  • Auto Pools Protocol
    • Introduction
    • Autopools tl;dr
    • Protocol Mechanics
    • Autopool Receipt Tokens
    • Staking TOKE
    • Custom Autopools
    • Glossary
  • USING THE APP
    • App Guide
    • With Wallet Services
    • Troubleshooting
  • Developer Docs
    • Contracts Overview
    • Security and Audits
      • Hexens: autoUSD March 25th 2025
      • Hexens: Autopilot Follow Up/Updates Audit July 2024
      • Hexens: Tokemak Autopilot May 2024
      • Certora: LMPStrategy Security Assessment & Formal Verification Report - Jan/March 2024
      • Hats.Finance, Crowd Competition Smart Contract Audit, February - March 2024
      • Halborn - Autopilot (Autopools) Contracts - Preliminary Smart Contract Audit - Sept 2023
      • Halborn - Autopilot Pricing Contracts - Formal Verification Report - Sept 2023
      • Sherlock - Autopilot Contracts - Crowd Competition - Sept 2023
      • Halborn - accTOKE Contract - Nov 2022
    • Integrating
  • Additional Links
    • Community Resources
Powered by GitBook
On this page

Was this helpful?

  1. Developer Docs
  2. Security and Audits

Sherlock - Autopilot Contracts - Crowd Competition - Sept 2023

Logohttps://audits.sherlock.xyz/contests/101/reportaudits.sherlock.xyz
PreviousHalborn - Autopilot Pricing Contracts - Formal Verification Report - Sept 2023NextHalborn - accTOKE Contract - Nov 2022

Last updated 1 year ago

Was this helpful?