# Certora/CertoraProver

<https://repo.masters-masters.com/en/repos/Certora/CertoraProver>

[Home](https://repo.masters-masters.com/en) › [Certora](https://repo.masters-masters.com/en/owners/Certora) › [CertoraProver](https://repo.masters-masters.com/en/repos/Certora/CertoraProver)

Certora/CertoraProver has 341 stars on GitHub. Its RepoMasters card: Alpha tier. The Certora Prover is the state-of-the-art security tool for automated formal…

| Field | Value |
| --- | --- |
| Owner | [Certora](https://repo.masters-masters.com/en/owners/Certora) |
| Stars | 341 |
| Forks | 52 |
| Language | [Kotlin](https://repo.masters-masters.com/en/languages/kotlin) |
| License | GPL-3.0 |
| Created | 2025 |
| Topics | blockchain, certora, certora-prover, ethereum, formal-verification, security-tools, smart-contracts, solana, stellar, web3 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [Certora/CertoraProver](https://github.com/Certora/CertoraProver) |

## Repository

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

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by Certora

- [Certora/Tutorials · ★ 248 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/Certora/Tutorials)
- [Certora/gambit · ★ 215 · Rust · Prototype](https://repo.masters-masters.com/en/repos/Certora/gambit)
- [Certora/Examples · ★ 211 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/Certora/Examples)

## Nearby in Kotlin

- [israel-ivase/Google-AI-Edge-Gallery · ★ 341 · Kotlin · Alpha](https://repo.masters-masters.com/en/repos/israel-ivase/Google-AI-Edge-Gallery)
- [ComposeFlow/ComposeFlow · ★ 341 · Kotlin · Alpha](https://repo.masters-masters.com/en/repos/ComposeFlow/ComposeFlow)
- [Elnix90/Dragon-Launcher · ★ 341 · Kotlin · Alpha](https://repo.masters-masters.com/en/repos/Elnix90/Dragon-Launcher)
- [WGwangguan/SeparatedEditText · ★ 341 · Kotlin · Alpha](https://repo.masters-masters.com/en/repos/WGwangguan/SeparatedEditText)
- [itkacher/OkHttpProfiler · ★ 341 · Kotlin · Alpha](https://repo.masters-masters.com/en/repos/itkacher/OkHttpProfiler)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.