Rapport d’audit du skill
codex-math Rapport d’audit.
Run an adversarial mathematical workflow in Codex: verify proofs, write hard proofs, explore conjectures, search for counterexamples, and triage possible gaps. Use for important theorem checks, failed proof attempts, conjectures, independent verification, or requests like 'audit this proof', 'find a counterexample', 'explore this claim', or 'verify the math'.
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
Avertissement48
70 stars GitHub
Activité stars/forks
Avertissement48
70 stars et 22 forks; l’activité des issues n’est pas disponible dans les métadonnées actuelles
Maintenance récente
Validé88
2 mois depuis le dernier push
Clarté de licence
Validé86
MIT
Complétude README/SKILL.md
Validé86
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 morankor/theorist-toolbox --skill codex-math
Sécurité de la commande d’installation
Validé92
Chemin d’installation standard de package ou runtime
Surface de permissions
Validé100
Aucune surface de permissions à haut risque dans les métadonnées publiques
Preuve du dépôt
Validé86
https://github.com/morankor/theorist-toolbox/tree/master/codex/.agents/skills/codex-math
État de revue
Avertissement46
L’approbation de revue IA est absente
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 morankor/theorist-toolbox --skill codex-math
Dépôt
88
https://github.com/morankor/theorist-toolbox/tree/master/codex/.agents/skills/codex-math
Licence
86
MIT
Maintenance
88
2 mois depuis le dernier push
Revue IA
55
Review approval is missing
Complétude README/SKILL.md
86
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
100
Aucune surface de permissions à haut risque dans les métadonnées publiques
Activité stars/forks
48
70 stars et 22 forks; l’activité des issues n’est pas disponible dans les métadonnées actuelles
Adoption
68
70 stars GitHub
Avertissements
- L’approbation de revue IA est absente
- Quality score needs review
- GitHub adoption: 70 GitHub stars
- Stars/forks activity: 70 stars, 22 forks; issue activity unavailable in current metadata
- Review status: AI review approval is missing
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
Wazuh
Wazuh - The Open Source Security Platform. Unified XDR and SIEM protection for endpoints and cloud workloads.
16K Stars · Rapport d’audit
Maigret
🕵️♂️ Collect a dossier on a person by username from 3000+ sites
33K Stars · Rapport d’audit
Nuclei
Nuclei is a fast, customizable vulnerability scanner powered by the global security community and built on a simple YAML-based DSL, enabling collaboration to tackle trending vulnerabilities on the internet. It helps you find vulnerabilities in your applications, APIs, networks, DNS, and cloud configurations.
29K Stars · Rapport d’audit