> For the complete documentation index, see [llms.txt](https://docs.aftermath.finance/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.aftermath.finance/perpetuals/audit.md).

# Audit

### OtterSec

{% file src="/files/iFL4ERKr0LTpUBdi6Vn3" %}

### Certora

{% file src="/files/Gc78nbD80NdGoAcrmTsA" %}