Rapport d’audit du skill
CertoraProver Rapport d’audit.
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
Trust Score OpenAgentSkill
Trust Score OpenAgentSkill
The Trust Score helps an agent decide whether a skill is safe enough to shortlist before installation.
Adoption GitHub
Info62
308 stars GitHub
Activité stars/forks
Avertissement57
308 stars et 40 forks; l’activité des issues n’est pas disponible dans les métadonnées actuelles
Maintenance récente
Validé88
3 mois depuis le dernier push
Clarté de licence
Validé86
GPL-3.0
Complétude README/SKILL.md
Validé90
Les métadonnées incluent suffisamment de contexte d’usage et de workflow
Risque dépendances/runtime
Validé90
Aucun indice majeur de risque de dépendance dans les métadonnées publiques
Disponibilité de l’installation
Validé92
npx skills add Certora/CertoraProver
Sécurité de la commande d’installation
Validé92
Chemin d’installation standard de package ou runtime
Surface de permissions
Validé86
Accès au système de fichiers ou aux documents
Preuve du dépôt
Validé86
https://github.com/Certora/CertoraProver
État de revue
Validé88
Données de revue IA disponibles
Résultats prouvés par Agent
Info54
Pas encore de données de résultats Agent
Vérifications
Revue d’installation et d’adoption
Chemin d’installation
92
npx skills add Certora/CertoraProver
Dépôt
88
https://github.com/Certora/CertoraProver
Licence
86
GPL-3.0
Maintenance
88
3 mois depuis le dernier push
Revue IA
88
Approved with no listed issues
Complétude README/SKILL.md
90
Usable description available
Risque de dépendances
90
Aucun indice majeur de risque de dépendance dans les métadonnées publiques
Sécurité de la commande d’installation
92
Chemin d’installation standard de package ou runtime
Surface de permissions
86
Accès au système de fichiers ou aux documents
Activité stars/forks
57
308 stars et 40 forks; l’activité des issues n’est pas disponible dans les métadonnées actuelles
Adoption
68
308 stars GitHub
Financial decision safety
58
Research-only use: do not treat output as financial advice or execute a position without human approval.
Avertissements
- Financial research output is not financial advice; require human review before any live investment decision
- Financial research output is not financial advice; require human review before any live investment decision.
- Quality score needs review
- Stars/forks activity: 308 stars, 40 forks; issue activity unavailable in current metadata
Méthode
This report combines public metadata, AI review output, repository freshness, install readiness, OpenAgentSkill events, quality scoring, trust checks, and the agent safety gate. It is not a full source-code security review.
Comparer les options proches
Skills associés à auditer ensuite
Union
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
74K Stars · Rapport d’audit
Fuel Core
Rust full node implementation of the Fuel v2 protocol.
57K Stars · Rapport d’audit
Go Ethereum
Go implementation of the Ethereum protocol
51K Stars · Rapport d’audit