Certora provides smart contract security through its Certora Prover tool. The Prover compares smart contract code to a formal specification, automatically locating bugs or proving their absence. It offers complete path coverage for a set of safety rules defined by the user and is designed to be integrated into the CI pipeline. Certora also offers formal verification services and has worked with clients in the DeFi, gaming, and NFT industries.