# Certora

> Certora is a smart-contract security company. Its core product, the Certora Prover, performs automated formal verification of smart contracts on EVM chains, Solana, Stellar (Soroban), and Sui, checking every reachable state and path for critical vulnerabilities. Developers write rules in the Certora Verification Language (CVL) and run verification jobs against Certora's cloud with the open-source certora-cli (certoraRun) tool.

This llms.txt was generated by the API Evangelist enrichment pipeline from the Certora public developer surface (no provider-published llms.txt was found).

## Products
- [Certora Prover](https://www.certora.com/prover): Automated formal-verification engine for smart contracts.
- [Gambit](https://www.certora.com/): Mutation-testing tool for evaluating CVL specs.
- [Audits](https://www.certora.com/audits): Expert manual smart-contract security audits.

## Docs
- [Documentation home](https://docs.certora.com/en/latest/): Prover documentation and reference manual.
- [User's Guide](https://docs.certora.com/en/latest/docs/user-guide/index.html): How to use the Prover and CVL.
- [Installation / Getting Started](https://docs.certora.com/en/latest/docs/user-guide/install.html): Install certora-cli and set the access key.
- [Prover CLI reference](https://docs.certora.com/en/latest/docs/prover/cli/index.html): certoraRun options.
- [Conf (config) file API](https://docs.certora.com/en/latest/docs/prover/cli/conf-file-api.html): JSON5 configuration for runs.
- [Release notes](https://docs.certora.com/en/latest/docs/prover/changelog/prover_changelog.html): Prover changelog.

## Packages
- [certora-cli (PyPI)](https://pypi.org/project/certora-cli/): pip3 install certora-cli
- [certora-cli-beta (PyPI)](https://pypi.org/project/certora-cli-beta/): Beta channel.

## Source
- [Certora GitHub organization](https://github.com/Certora): 270 public repositories.
- [CertoraProver](https://github.com/Certora/CertoraProver): The Prover source.
- [Documentation](https://github.com/Certora/Documentation): Docs source.

## Company
- [Pricing](https://www.certora.com/pricing): Basic (free), Premium, Enterprise tiers.
- [Blog](https://www.certora.com/blog)
- [Terms of Use](https://www.certora.com/terms)
- [Privacy Policy](https://www.certora.com/privacy)