Certora/CertoraProver
KotlinGPL-3.0active
Health
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
Health Breakdown
Activity25
Community25
Maintenance11
Popularity25
#blockchain#certora#certora-prover#ethereum#formal-verification#security-tools#smart-contracts#solana#stellar#web3
Should you contribute to Certora/CertoraProver?
Certora/CertoraProver has a FoundDev health score of 86/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.
Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in Kotlin, so prior Kotlin experience will shorten ramp-up.
Licensed under GPL-3.0, a standard OSI-approved license — safe to contribute to under normal employer IP policies.
Community
KotlinGPL 3.0
active
0d ago
