# Certora

> Move fast, break nothing

Certora provides formal verification tools for smart contract security, automatically identifying vulnerabilities before deployment.

Certora provides formal verification tools for blockchain security. It analyzes smart contracts on Ethereum, Solana, and Stellar by checking execution paths against specifications. Users define security rules in a verification language, enabling detection of bugs before deployment. The system generates counterexamples when vulnerabilities are found and secures high-value blockchain protocols.

- Type: Company
- Sector: Security
- Status: Active
- Profile: https://thegrid.id/profiles/certora

## Products

- [Certora Prover](https://thegrid.id/profiles/certora): Certora Prover performs formal verification of smart contracts by analyzing bytecode against rules. The system decompiles blockchain code to intermediate representation, applies static analysis, generates verification conditions, and uses solvers to detect rule violations. It supports EVM, Solana, and Stellar through a unified workflow. (Blockchain Development Security Tools, Live, Main Product)
- [Certora Gambit](https://thegrid.id/profiles/certora): Certora Gambit identifies weaknesses in smart contract specifications by generating mutations of code to test formal verification coverage. The tool injects code variants with intentional bugs, testing the effectiveness of verification rules in catching vulnerabilities. It categorizes mutations to help developers focus on critical areas and improve security specifications. (Blockchain Development Security Tools, Live)

## Links

- [Main](https://www.certora.com)
- [Documentation](https://docs.certora.com)
- [Blog](https://www.certora.com/blog)
- [Media Kit/branding](https://drive.google.com/drive/folders/1bX6brwm_lkWxuJsCRZ6gFccysQyHLpoi)
- [Terms of Service](https://www.certora.com/terms)
- [Privacy policy](https://www.certora.com/privacy)
- [Twitter / X](https://x.com/CertoraInc)
- [LinkedIn](https://linkedin.com/company/certora)
- [GitHub](https://github.com/Certora)
- [YouTube](https://www.youtube.com/@certora2268)

## Legal

This data is provided under two licensing models.

Model 1 - open data. The open data core is licensed under the Open Database License (ODbL) — a copyleft/share-alike license allowing free use, modification, and sharing for any purpose. Attribution is required: include "Powered by The Grid" linking to https://thegrid.id wherever the data is used. Derivative databases must be shared under ODbL terms. Trademarks, logos, and brand names (marked "Special TPIP") are not covered by the ODbL. For ML/AI use: training datasets that substantially extract ODbL data are Derivative Databases and must be shared under ODbL if publicly used; models must be attributed in documentation.

Model 2 - commercial licenses. The Grid Data Service (TGDS) is also available as a commercial license. See [Web Services Terms](https://about.thegrid.id/legal/web-services-terms) for commercial use that is not covered by the open data service.

The following applies to both licensing models.
- All data is provided AS IS with no guarantees of accuracy.
- The Grid does not provide investment, legal, or tax advice, and
- a project's presence in The Grid's data does not imply endorsement.


- [Data Licensing & Disclaimers](https://about.thegrid.id/legal/data-licensing-and-disclaimers): Licensing models and disclaimers
- [Open Data (ODbL)](https://about.thegrid.id/legal/open-data): Open Database License terms and scope for The Grid's open data service.
- [Attribution Guidelines](https://about.thegrid.id/legal/open-data-attribution-guidelines): How to attribute The Grid's data when using the open data service.
- [Web Services Terms](https://about.thegrid.id/legal/web-services-terms): commercial Terms for using data services.
- [All Legal Documents](https://about.thegrid.id/legal): Full index of terms, policies, and disclosures

## Optional

- [TGS Field Descriptions](https://github.com/The-Grid-Data/workspace-public/blob/main/references/tgs-field-descriptions.md): Schema field definitions for The Grid's data model
- [TGS JSON Structure](https://github.com/The-Grid-Data/workspace-public/blob/main/references/tgs-json-structure.md): Data model structure and relationships
- [Product Type Definitions](https://github.com/The-Grid-Data/workspace-public/blob/main/references/product-type-definitions.md): Definitions for each product type
- [Product Type Classification](https://github.com/The-Grid-Data/workspace-public/blob/main/references/product-type-classification.md): Guide for classifying products into types
- [Grid MCP Guide](https://github.com/The-Grid-Data/workspace-public/blob/main/grid-search/skills/grid-query/references/grid-mcp-guide.md): How to query The Grid programmatically via MCP