Skill audit report
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.
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
2mo since push
License clarity
PASS86
MIT
README/SKILL.md completeness
INFO76
Public metadata needs stronger README/SKILL.md context
Dependency/runtime risk
PASS90
no major dependency risk hints in public metadata
Install availability
PASS92
npx skills add morankor/theorist-toolbox --skill proof-readability
Install command safety
PASS92
standard package or runtime install path
Permission surface
PASS86
filesystem or document access
Repository evidence
PASS86
https://github.com/morankor/theorist-toolbox/tree/master/codex/.agents/skills/proof-readability
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 proof-readability
Repository
88
https://github.com/morankor/theorist-toolbox/tree/master/codex/.agents/skills/proof-readability
License
86
MIT
Maintenance
88
2mo since push
AI review
55
Review approval is missing
README/SKILL.md completeness
84
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
86
filesystem or document access
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
Review a branch or diff against repository standards and the originating spec in two independent analysis passes.
169K Stars · Audit report
Platform to build admin panels, internal tools, and dashboards. Integrates with 25+ databases and any API.
41K Stars · Audit report
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 report