Skill audit report
Use this when an AI should work on an external Lean project through the installed `lean-beam` wrapper, giving it direct efficient access to Lean's proof engine to avoid repeated inner-loop rebuilds through cheap speculative checks and zero-build module checkpoints.
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
PASS100
8d since push
License clarity
PASS86
Apache-2.0
README/SKILL.md completeness
PASS86
Metadata includes enough usage and workflow context
Dependency/runtime risk
WARN54
command execution surface, credential or environment access
Install availability
PASS92
npx skills add leanprover/lean-beam --skill lean-beam
Install command safety
PASS92
standard package or runtime install path
Permission surface
FAIL36
secrets or environment access, shell or command execution
Repository evidence
PASS86
https://github.com/leanprover/lean-beam/tree/main/skills/lean-beam
Review status
WARN46
AI review approval is missing
Agent Proven outcomes
INFO54
No agent outcome data yet
Checks
Install path
92
npx skills add leanprover/lean-beam --skill lean-beam
Repository
88
https://github.com/leanprover/lean-beam/tree/main/skills/lean-beam
License
86
Apache-2.0
Maintenance
100
8d since push
AI review
55
Review approval is missing
README/SKILL.md completeness
86
Usable description available
Dependency risk
54
command execution surface, credential or environment access
Install command safety
92
standard package or runtime install path
Permission surface
36
secrets or environment access, shell or command execution
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
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
Generate original one-ink or controlled two-ink editorial images from any theme, sentence, article idea, object, or reference photo. Always use this skill when the user asks for 单色海报、双色印刷、单色调视觉、蓝色/绿色孔版印刷、risograph、网点照片、复古或当代编辑排版、zine poster, monochrome editorial poster, duotone print, or asks to use the mono-color style. It uses an adaptive white, gray, or pale-beige substrate, no more than two printing inks, active negative space, terse human language, and strong serif/grotesk/mono typography without making retro styling the default or copying a source composition, wording, logo, or artwork. Produce both the final generation prompt and the generated raster image unless the user explicitly asks for prompt only.
1.9K Stars · Audit report
Research the last 30 days across Reddit, X, YouTube, Hacker News, Polymarket, GitHub, and the web, then synthesize a grounded brief for an AI agent.
62K Stars · Audit report
Academic Research Skills for Claude Code: research → write → review → revise → finalize
38K Stars · Audit report