Skill audit report
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'.
The Trust Score helps an agent decide whether a skill is safe enough to shortlist before installation.
GitHub adoption
WARN48
70 GitHub stars
Stars/forks activity
WARN48
70 stars, 22 forks; issue activity unavailable in current metadata
Recent maintenance
PASS88
1mo since push
License clarity
PASS86
MIT
README/SKILL.md completeness
PASS86
Metadata includes enough usage and workflow context
Dependency/runtime risk
PASS90
no major dependency risk hints in public metadata
Install availability
PASS92
npx skills add morankor/theorist-toolbox --skill codex-math
Install command safety
PASS92
standard package or runtime install path
Permission surface
PASS100
no high-risk permission surface in public metadata
Repository evidence
PASS86
https://github.com/morankor/theorist-toolbox/tree/master/codex/.agents/skills/codex-math
Review status
WARN46
AI review approval is missing
Agent Proven outcomes
INFO54
No agent outcome data yet
Checks
Install path
92
npx skills add morankor/theorist-toolbox --skill codex-math
Repository
88
https://github.com/morankor/theorist-toolbox/tree/master/codex/.agents/skills/codex-math
License
86
MIT
Maintenance
88
1mo since push
AI review
55
Review approval is missing
README/SKILL.md completeness
86
Usable description available
Dependency risk
90
no major dependency risk hints in public metadata
Install command safety
92
standard package or runtime install path
Permission surface
100
no high-risk permission surface in public metadata
Stars/forks activity
48
70 stars, 22 forks; issue activity unavailable in current metadata
Adoption
68
70 GitHub stars
Warnings
Method
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.
Compare nearby options
Wazuh - The Open Source Security Platform. Unified XDR and SIEM protection for endpoints and cloud workloads.
16K Stars · Audit report
🕵️♂️ Collect a dossier on a person by username from 3000+ sites
33K Stars · Audit report
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 · Audit report