Certora/CertoraProver

Was du damit machen kannst

Certora/CertoraProver ist ein öffentliches GitHub-Repository mit Kotlin als angegebener Hauptprogrammiersprache. Der letzte gespeicherte Stand meldet 337 Sterne und 48 Forks. Themen: blockchain, certora, certora prover, ethereum, formal verification, security tools. Lies Dokumentation, Lizenz und aktuelle Issues, bevor du die Software nutzt.

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

GitHub-Repositories

Sterne

337

Neue Sterne · 7 Tage

—

Forks

48

Hauptprogrammiersprache

Kotlin

Repository-Lizenz

GPL-3.0

Letzter Code-Push

7. Sept. 2026

Die Beliebtheit basiert auf GitHub-Sternen. Das Wachstum über sieben Tage erscheint nach einer vollständigen Woche gespeicherter Daten. Das ist unsere Sammlung, keine offizielle GitHub-Trending-Liste.

Quellen & Aktualität

Importierte Einträge verlinken ihre Quellen. Ein Eintrag hilft dir beim Entdecken und ist keine Empfehlung.