Certora Verify

Name: Certora Verify
Author: Certora

by CertoraSecurity758 downloads

clawhub install Certora/certora-verify

github.comAdded 5d ago

What it does

Write and verify formal specifications for smart contracts using Certora's automated prover and CVL language.

Any EVM chain (Solidity verification)

Certora Prover access (free for open-source), Java 11+

Write and run Solidity-native smart contract tests with Foundry's blazing-fast test runner.

testing

13,745

Run static analysis on Solidity contracts with Slither to detect vulnerabilities and code issues.

Monitor, manage, and automate smart contract operations with OpenZeppelin Defender.

Detect smart contract vulnerabilities using Mythril's symbolic execution and SMT solving.