Certora/CertoraProver

À quoi ça sert

Certora/CertoraProver est un dépôt GitHub public, principalement en Kotlin. Le dernier relevé indique 337 étoiles et 48 forks. Sujets : blockchain, certora, certora prover, ethereum, formal verification, security tools. Lis la documentation, la licence et les issues actuelles avant utilisation.

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

Dépôts GitHub

Étoiles

337

Étoiles gagnées · 7 jours

—

Forks

48

Langage principal

Kotlin

Licence du dépôt

GPL-3.0

Dernier envoi de code

7 sept. 2026

La popularité vient des étoiles. La croissance hebdomadaire nécessite une semaine de relevés locaux. C'est notre collection, pas le classement officiel de GitHub.

Sources et actualité

Les fiches importées citent leurs sources. Une fiche aide à découvrir, sans recommander le service.