
repos
16
ecosystems
4
languages
8
commits
226
─── top repos · by commits
─── repositories
16 totalCVLDoc parser backend
Using mutations to improve specs and test suites
convert the NatSpec comment on a spec file(s) to a JSON file.
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
Certora Run GitHub Action
Certora modified Solana Platform Tools
Examples of Solana applications verification with the Certora Prover
Frying some eggs
An index repository with submodules for different examples of Certora projects
CVLR: Certora Verification Language for Rust
An index repository with submodules for different examples of Certora projects
WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressions, and calls.
Certora Tokenized Vault for Solana Tutorial
─── peer developers
─── ecosystems
─── languages
- Rust7
- Shell2
- Ruby1
- Kotlin1
- Svelte1
- Python1
- Solidity1
- Java1
─── subscriber view
Unlock the full view of ozcodes
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.



















