> 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>

![](/files/nLFRwxbQxDUoGaNChDLa)

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

![](/files/IwkTRTHUQpuFLQYP8nCA)

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