> For the complete documentation index, see [llms.txt](https://messier.gitbook.io/catalogue-de-messier/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://messier.gitbook.io/catalogue-de-messier/messier-dao/audit.md).

# Audit

Virgo's smart contract underwent rigorous auditing by three well-regarded auditors in preparation for the dApp launch:

1. SolidProof Audit: No critical, high, or medium issues were found in the audit.
2. CertiK Audit: The primary Virgo contract successfully passed CertiK's audit, and continuous real-time security monitoring through CertiK Skynet is in place.
3. Beosin Audit: VirgoDAO's audit covered key modules and governance aspects.
