Certora Prover Python Packages

certora-cli

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

49K 302 37

certora-cli-alpha-master

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

42K 302 37

certora-cli-beta

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

12K 302 37

certora-cli-beta-mirror

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

10K 302 37

certora-cli-alpha-oz-publish-test

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

822 302 37

certora-cli-alpha-rahav-cert-9297-formatter-publish

Runner for the Certora Prover

281 302 37

certora-cli-alpha-oz-license

Runner for the Certora Prover

203 302 37

certora-cli-alpha-yoav-real-destructive

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

180 302 37

certora-cli-alpha-shelly-vyper04curvetaketwo

Runner for the Certora Prover

138 302 37

certora-cli-alpha-abakst-auto-erc7201-storage-extension

Runner for the Certora Prover

136 302 37

certora-cli-alpha-rahav-cert-9616-fix-map

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

128 302 37

certora-cli-alpha-rahav-cert-9018-solc6-6

Runner for the Certora Prover

122 302 37

Search Packages