# Certora/CertoraProver

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

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

Certora/CertoraProver, dépôt open source à 341 étoiles sur GitHub. Carte Alpha de RepoMasters. The Certora Prover is the state-of-the-art security tool for…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [Certora](https://repo.masters-masters.com/owners/Certora) |
| Étoiles | 341 |
| Forks | 52 |
| Langage | [Kotlin](https://repo.masters-masters.com/languages/kotlin) |
| Licence | GPL-3.0 |
| Création | 2025 |
| Sujets | blockchain, certora, certora-prover, ethereum, formal-verification, security-tools, smart-contracts, solana, stellar, web3 |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [Certora/CertoraProver](https://github.com/Certora/CertoraProver) |

## Fiche du dépôt

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

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de Certora

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

## D’autres dépôts Kotlin

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.