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

Date Created 2025-02-23 (29 days ago)

Commits 2 (last one 14 days ago)

Stargazers 155 (8 this week)

Watchers 2 (0 this week)

Forks 13

License gpl-3.0

Ranking

RepositoryStats indexes 630,443 repositories, of these Certora/CertoraProver is ranked #225,551 (64th percentile) for total stargazers, and #480,613 for total watchers. Github reports the primary language for this repository as Kotlin, for repositories using this language it is ranked #3,342/9,279.

Certora/CertoraProver is also tagged with popular topics, for these it's ranked: blockchain (#901/2304), ethereum (#889/2242), security-tools (#640/1131), web3 (#296/893), smart-contracts (#244/663), solana (#138/517)

Other Information

Certora/CertoraProver has Github issues enabled, there are 3 open issues and 0 closed issues.

Homepage URL: https://www.certora.com

All Topics

web3 solana certora stellar ethereum blockchain certora-prover security-tools smart-contracts formal-verification

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

2 commits on the default branch (master) since jan '22

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

The primary language is Kotlin but there's also others...

updated: 2025-03-23 @ 09:31pm, id: 937552130 / R_kgDON-HpAg