> ## Documentation Index
> Fetch the complete documentation index at: https://docs.theblockchainlibrary.com/llms.txt
> Use this file to discover all available pages before exploring further.

# CertiK

> CertiK audits smart contracts and monitors live protocols using formal verification and AI.

# CertiK

CertiK audits smart contracts and monitors live protocols using formal verification and AI.

**A blockchain security firm for audits and monitoring.**

CertiK audits smart contracts and monitors live protocols using formal verification and AI.

## Resource details

* **Organization:** CertiK
* **Category:** Security
* **Difficulty:** intermediate
* **Official:** Yes
* **Editorial label:** Solid Reference

## Official resource

[Visit CertiK](https://www.certik.com)

## Related knowledge

* [Immunefi](/generated/v2/resources/immunefi) — resource
* [Immunefi](/generated/v2/resources/immunefi) — related-resource
* [OpenZeppelin Security](/generated/v2/resources/openzeppelin-security) — resource
* [OpenZeppelin Security](/generated/v2/resources/openzeppelin-security) — related-resource

***

**Canonical knowledge ID:** `resource:certik`