Rapport d’audit du skill
math-proof Rapport d’audit.
Write clear, detailed mathematical proofs for academic papers. Use when
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
Info70
Les métadonnées publiques nécessitent davantage de contexte README/SKILL.md
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 math-proof
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/skills/math-proof
É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 math-proof
Dépôt
88
https://github.com/morankor/theorist-toolbox/tree/master/skills/math-proof
Licence
86
MIT
Maintenance
88
2 mois depuis le dernier push
Revue IA
55
Review approval is missing
Complétude README/SKILL.md
84
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
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
- L’approbation de revue IA est absente
- Financial research output is not financial advice; require human review before any live investment decision.
- 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
stop-slop
Eliminates predictable AI writing patterns from prose while preserving specific meaning and reader trust.
16K Stars · Rapport d’audit
unslop
Applies Cursor's prose-discipline rules to remove filler and AI writing tells from agent-facing and user-facing text.
4.8K Stars · Rapport d’audit
Humanizer
Rewrites AI-sounding text so it reads naturally while preserving every factual claim and matching the writer's voice.
37K Stars · Rapport d’audit