> 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="/files/llfrFnyMPDTCyy00blyS" 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 %}
