AlphaUncommon
Certora/CertoraProver
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
- Owner
- Certora (organization)
- Stars
- Stars: 340
- Forks
- Forks: 52
- Language
- Kotlin
- License
- GPL-3.0
- Created
- 2025
- Topics
- blockchaincertoracertora-proverethereumformal-verificationsecurity-toolssmart-contractssolanastellarweb3
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by Certora
All 4 repos by Certora- Certora/TutorialsStars: 248SolidityPrototype
- Certora/gambitStars: 214RustPrototype
- Certora/ExamplesStars: 211SolidityPrototype
Nearby in Kotlin
All Kotlin repos- Elnix90/Dragon-LauncherStars: 341KotlinAlpha
- Kotlin/kotlin-script-examplesStars: 340KotlinAlpha
- svt/encoreStars: 340KotlinAlpha
- ResoCoder/forecast-mvvm-android-kotlinStars: 339KotlinAlpha
- juanchosaravia/autodslStars: 339KotlinAlpha