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
308
Stars
70/100
Confianza
Categoría: web3-analyticsAuditoría
Directorio de skills
Descubre skills reutilizables para AI agents.
Busca skills reales de GitHub por tarea y revisa stars, confianza, auditoría, categoría y ruta de instalación antes de utilizarlos.
Cada recomendación conserva un vínculo claro con su repositorio, auditoría y ruta de instalación.