For the complete documentation index, see llms.txt. This page is also available as Markdown.

Security and Audits

Various Security Audits Below

Bug Bounty

Our current bug bounty program can be found on Remedy: https://r.xyz/bug-bounty/programs/tokemak

Audits

Hexens

autoUSD Audit - March 2025

Read more

Autopilot Full System Audit - May 2024

Read more

Autopilot Full System Follow Up - July 2024

Read more

Certora

LMPStrategy Security Assessment & Formal Verification Report - Jan/March 2024

Read more

Hats Finance - Autopilot

Crowd Competition Smart Contract Audit, February - March 2024

Read more

Halborn - Autopilot

Autopilot (Autopools) Contracts - Preliminary Smart Contract Audit - Sept 2023

Read more

Halborn - Autopilot

Autopilot Pricing Contracts - Formal Verification Report - Sept 2023

Read more

Sherlock - Autopilot

Autopilot Contracts - Crowd Competition - Sept 2023

Read more

Halborn - accTOKE

accTOKE Contract - Nov 2022

Read more

Last updated

Was this helpful?