Certora/CertoraProver

A cosa serve

Certora/CertoraProver è un repository GitHub pubblico, principalmente in Kotlin. L'ultimo rilevamento indica 337 stelle e 48 fork. Temi: blockchain, certora, certora prover, ethereum, formal verification, security tools. Leggi documentazione, licenza e issue attuali prima dell'uso.

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

Repository GitHub

Stelle

337

Stelle ottenute · 7 giorni

—

Fork

48

Linguaggio principale

Kotlin

Licenza del repository

GPL-3.0

Ultimo invio di codice

7 set 2026

La popolarità usa le stelle. La crescita settimanale richiede una settimana di rilevazioni locali. È la nostra raccolta, non la classifica ufficiale GitHub.

Fonti e aggiornamenti

Le schede importate citano le fonti. Una scheda aiuta a scoprire, non è una raccomandazione.