> For the complete documentation index, see [llms.txt](https://docs.cleo.exchange/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.cleo.exchange/security-and-legal-considerations/formal-audits.md).

# Formal Audits

{% hint style="warning" %}
Cleopatra is an authorized fork of RAMSES, thus inherits the same security
{% endhint %}

<figure><img src="https://574688988-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FYMqlsCWiUq0hugfAqLjK%2Fuploads%2FoAV7zzr8vvrMk3i1ydxv%2Fimage.png?alt=media&amp;token=89d5caee-6ff4-4486-ae2c-e9017924464c" alt=""><figcaption></figcaption></figure>

**RAMSES CL has commissioned a thorough security audit by yAudit** (Yearn Academy's auditing arm) to formally verify the secure stature of our V2 codebase and the BUSL protected contracts. yAudit has a stellar track record and is a coalition made up of very talented and proven experts within the DeFi landscape.\
\
The formal audit report can be found at: <https://reports.yaudit.dev/reports/06-2023-RAMSES/>

{% hint style="success" %}
The CLEO codebase is professionally audited
{% endhint %}