Laporan audit skill
codex-math Laporan 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.
Adopsi GitHub
Peringatan48
70 star GitHub
Aktivitas star/fork
Peringatan48
70 star dan 22 fork; aktivitas issue tidak tersedia dalam metadata saat ini
Pemeliharaan terbaru
Lulus88
2 bulan sejak push
Kejelasan lisensi
Lulus86
MIT
Kelengkapan README/SKILL.md
Lulus86
Metadata memuat konteks penggunaan dan alur kerja yang cukup
Risiko dependensi/runtime
Lulus90
Tidak ada petunjuk risiko dependensi besar dalam metadata publik
Ketersediaan pemasangan
Lulus92
npx skills add morankor/theorist-toolbox --skill codex-math
Keamanan perintah pemasangan
Lulus92
Jalur pemasangan paket atau runtime standar
Cakupan izin
Lulus100
Tidak ada cakupan izin berisiko tinggi dalam metadata publik
Bukti repositori
Lulus86
https://github.com/morankor/theorist-toolbox/tree/master/codex/.agents/skills/codex-math
Status peninjauan
Peringatan46
Persetujuan tinjauan AI belum ada
Hasil terbukti Agent
Info54
Belum ada data hasil Agent
Pemeriksaan
Tinjauan pemasangan dan adopsi
Jalur pemasangan
92
npx skills add morankor/theorist-toolbox --skill codex-math
Repositori
88
https://github.com/morankor/theorist-toolbox/tree/master/codex/.agents/skills/codex-math
Lisensi
86
MIT
Pemeliharaan
88
2 bulan sejak push
Tinjauan AI
55
Review approval is missing
Kelengkapan README/SKILL.md
86
Usable description available
Risiko dependensi
90
Tidak ada petunjuk risiko dependensi besar dalam metadata publik
Keamanan perintah pemasangan
92
Jalur pemasangan paket atau runtime standar
Cakupan izin
100
Tidak ada cakupan izin berisiko tinggi dalam metadata publik
Aktivitas star/fork
48
70 star dan 22 fork; aktivitas issue tidak tersedia dalam metadata saat ini
Adopsi
68
70 star GitHub
Peringatan
- Persetujuan tinjauan AI belum ada
- 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
Metode
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.
Bandingkan opsi sekitar
Skill terkait untuk diaudit berikutnya
Wazuh
Wazuh - The Open Source Security Platform. Unified XDR and SIEM protection for endpoints and cloud workloads.
16K Star · Laporan audit
Maigret
🕵️♂️ Collect a dossier on a person by username from 3000+ sites
33K Star · Laporan 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 Star · Laporan audit