Certora/CertoraProver

O que faz

Certora/CertoraProver é um repositório público GitHub, principalmente em Kotlin. O último registro informa 337 estrelas e 48 forks. Temas: blockchain, certora, certora prover, ethereum, formal verification, security tools. Leia documentação, licença e issues atuais antes de usar.

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

Repositórios GitHub

Estrelas

337

Estrelas ganhas · 7 dias

—

Forks

48

Linguagem principal

Kotlin

Licença do repositório

GPL-3.0

Último envio de código

7 de set. de 2026

A popularidade usa estrelas. O crescimento semanal precisa de uma semana de registros locais. É nossa coleção, não a lista oficial de tendências do GitHub.

Fontes e atualização

Registros importados têm links para as fontes. Um registro ajuda a descobrir, não é uma recomendação.