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
Confiance
Catégorie: web3-analyticsAudit
Annuaire de skills
Découvrez des skills réutilisables pour les AI agents.
Recherchez de vrais skills GitHub par tâche et vérifiez Stars, confiance, audit, catégorie et chemin d’installation avant de les utiliser.
Chaque recommandation reste clairement reliée à son dépôt, son audit et son chemin d’installation.