ActiveLow Risk
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
72
Momentum
Verdict
Healthy, actively maintained repository. Suitable for use as a dependency.
Analysis Summary
Certora/CertoraProver (Kotlin) is an actively developed project, 1 year old. With 59 commits and 6 PRs in the last 30 days, the project shows consistent momentum (score: 72/100). It has 302 stars and 38 forks.
Activity Signals
Stars
302
Forks
38
Open Issues
25
Language
Kotlin
License
GPL-3.0
Contributors
26+
Commits (7d)
10
Commits (30d)
59
PRs (30d)
6
Issues (30d)
0
Last Push
yesterday
Created
Feb 23, 2025
Raw Data
Momentum Score
72 / 100
Status
active
Risk Level
low
Commits (7d)
10
Commits (30d)
59
PRs (30d)
6
Issues (30d)
0
Open Issues
25
Contributors
26+
Analyzed 5/20/2026, 8:59:14 PM. (Live)