Skill audit report
rocq-beam Audit report.
Use this when an AI needs the optional Rocq goal-probe surface exposed through the installed `lean-beam` wrapper while porting Rocq developments to Lean.
OpenAgentSkill Trust Score
OpenAgentSkill Trust Score
The Trust Score helps an agent decide whether a skill is safe enough to shortlist before installation.
GitHub adoption
WARN48
27 GitHub stars
Stars/forks activity
WARN43
27 stars, 4 forks; issue activity unavailable in current metadata
Recent maintenance
PASS88
2mo since push
License clarity
PASS86
Apache-2.0
README/SKILL.md completeness
PASS86
Metadata includes enough usage and workflow context
Dependency/runtime risk
INFO72
command execution surface
Install availability
PASS92
npx skills add leanprover/lean-beam --skill rocq-beam
Install command safety
PASS92
standard package or runtime install path
Permission surface
INFO62
shell or command execution, filesystem or document access
Repository evidence
PASS86
https://github.com/leanprover/lean-beam/tree/main/skills/rocq-beam
Review status
WARN46
AI review approval is missing
Agent Proven outcomes
INFO54
No agent outcome data yet
Checks
Install and adoption review
Install path
92
npx skills add leanprover/lean-beam --skill rocq-beam
Repository
88
https://github.com/leanprover/lean-beam/tree/main/skills/rocq-beam
License
86
Apache-2.0
Maintenance
88
2mo since push
AI review
55
Review approval is missing
README/SKILL.md completeness
86
Usable description available
Dependency risk
72
command execution surface
Install command safety
92
standard package or runtime install path
Permission surface
62
shell or command execution, filesystem or document access
Stars/forks activity
43
27 stars, 4 forks; issue activity unavailable in current metadata
Adoption
42
27 GitHub stars
Financial decision safety
58
Research-only use: do not treat output as financial advice or execute a position without human approval.
Warnings
- Financial research output is not financial advice; require human review before any live investment decision
- Low GitHub adoption signal
- AI review approval is missing
- Financial research output is not financial advice; require human review before any live investment decision.
- Quality score needs review
- GitHub adoption: 27 GitHub stars
- Stars/forks activity: 27 stars, 4 forks; issue activity unavailable in current metadata
- Review status: AI review approval is missing
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