Certora/CertoraProver

Para qué sirve

Certora/CertoraProver es un repositorio público GitHub, principalmente en Kotlin. El último registro indica 337 estrellas y 48 forks. Temas: blockchain, certora, certora prover, ethereum, formal verification, security tools. Lee documentación, licencia e incidencias actuales antes de usarlo.

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

Repositorios GitHub

Estrellas

337

Estrellas ganadas · 7 días

—

Forks

48

Lenguaje principal

Kotlin

Licencia del repositorio

GPL-3.0

Último envío de código

7 sept 2026

La popularidad se basa en estrellas. El crecimiento semanal requiere una semana de registros locales. Es nuestra colección, no la lista oficial de tendencias de GitHub.

Fuentes y actualización

Los registros importados enlazan a sus fuentes. Una ficha ayuda a descubrir, no es una recomendación.