Skill-Audit-Bericht
proof-readability Audit-Bericht.
Polish verified mathematical proofs without changing their mathematical content. Use after a proof has been accepted by the user, a reviewer, Lean, or a co-math review cycle; or when asked to improve proof exposition, readability, signposting, notation, references, or grammar while preserving the original argument.
OpenAgentSkill Trust Score
OpenAgentSkill Trust Score
The Trust Score helps an agent decide whether a skill is safe enough to shortlist before installation.
GitHub-Akzeptanz
Warnung48
70 GitHub-Stars
Star-/Fork-Aktivität
Warnung48
70 Stars und 22 Forks; Issue-Aktivität ist in den aktuellen Metadaten nicht verfügbar
Aktuelle Wartung
Bestanden88
2 Monate seit dem letzten Push
Lizenzklarheit
Bestanden86
MIT
README/SKILL.md-Vollständigkeit
Info76
Öffentliche Metadaten benötigen mehr README/SKILL.md-Kontext
Abhängigkeits-/Laufzeitrisiko
Bestanden90
Keine wesentlichen Abhängigkeitsrisikohinweise in öffentlichen Metadaten
Installationsverfügbarkeit
Bestanden92
npx skills add morankor/theorist-toolbox --skill proof-readability
Sicherheit des Installationsbefehls
Bestanden92
Standard-Paket- oder Laufzeit-Installationspfad
Berechtigungsumfang
Bestanden86
Dateisystem- oder Dokumentzugriff
Repository-Nachweis
Bestanden86
https://github.com/morankor/theorist-toolbox/tree/master/codex/.agents/skills/proof-readability
Prüfstatus
Warnung46
KI-Prüffreigabe fehlt
Agent-validierte Ergebnisse
Info54
Noch keine Agent-Ergebnisdaten
Prüfungen
Installations- und Adoptionsprüfung
Installationspfad
92
npx skills add morankor/theorist-toolbox --skill proof-readability
Repository
88
https://github.com/morankor/theorist-toolbox/tree/master/codex/.agents/skills/proof-readability
Lizenz
86
MIT
Wartung
88
2 Monate seit dem letzten Push
KI-Prüfung
55
Review approval is missing
README/SKILL.md-Vollständigkeit
84
Usable description available
Abhängigkeitsrisiko
90
Keine wesentlichen Abhängigkeitsrisikohinweise in öffentlichen Metadaten
Sicherheit des Installationsbefehls
92
Standard-Paket- oder Laufzeit-Installationspfad
Berechtigungsumfang
86
Dateisystem- oder Dokumentzugriff
Star-/Fork-Aktivität
48
70 Stars und 22 Forks; Issue-Aktivität ist in den aktuellen Metadaten nicht verfügbar
Akzeptanz
68
70 GitHub-Stars
Warnungen
- KI-Prüffreigabe fehlt
- 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
Methode
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.
Nahe Optionen vergleichen
Ähnliche Skills als Nächstes prüfen
Code Review
Review a branch or diff against repository standards and the originating spec in two independent analysis passes.
169K Stars · Audit-Bericht
Appsmith
Platform to build admin panels, internal tools, and dashboards. Integrates with 25+ databases and any API.
41K Stars · Audit-Bericht
Implement
Implement work from an approved spec or ticket set, run focused and full tests, invoke code review, and commit the result to the current branch.
176K Stars · Audit-Bericht