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

# Audit Report

**Certik -** blockchain security, utilizing best-in-class Formal Verification and AI technology to secure and monitor blockchains, smart contracts, and Web3 apps.\
Report: <https://www.certik.com/projects/killswitch>

![](https://2848548487-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2F-MX2ZPq3oPp3ll0b4nFi%2Fuploads%2FHHPJqqZBi7CyFp5LrYla%2Fimage.png?alt=media\&token=3720fbe0-75e3-40ce-880a-04e536174ac7)

Inspex - Cybersecurity professional service, specialized in blockchain and smart contract audit\
Report:<https://app.inspex.co/library/killswitch#?scope=killswitch-autocompound>

![](https://2848548487-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2F-MX2ZPq3oPp3ll0b4nFi%2Fuploads%2Fi2sPacxdpJKZU5CS1Ac8%2Fimage.png?alt=media\&token=3497745a-a8b9-44cb-8bd2-c3c5e2a3bd75)

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