Skill audit report

lean-beam 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.

BLOCKED · BLOCKNeeds reviewGenerated Nov 9, 2026Heuristic metadata audit

Audit

Trust

Quality

Security

Maintain

Install

OpenAgentSkill Trust Score

Manual review

OpenAgentSkill Trust Score

The Trust Score helps an agent decide whether a skill is safe enough to shortlist before installation.

GitHub adoption

WARN

27 GitHub stars

Stars/forks activity

WARN

27 stars, 4 forks; issue activity unavailable in current metadata

Recent maintenance

PASS

2mo since push

License clarity

PASS

Apache-2.0

README/SKILL.md completeness

PASS

Metadata includes enough usage and workflow context

Dependency/runtime risk

WARN

command execution surface, credential or environment access

Install availability

PASS

npx skills add leanprover/lean-beam --skill lean-beam

Install command safety

PASS

standard package or runtime install path

Permission surface

FAIL

secrets or environment access, shell or command execution

Repository evidence

PASS

https://github.com/leanprover/lean-beam/tree/main/skills/lean-beam

Review status

WARN

AI review approval is missing

Agent Proven outcomes

INFO

No agent outcome data yet

Checks

Install and adoption review

6 Passed · 18 Needs review

Install path

PASS

npx skills add leanprover/lean-beam --skill lean-beam

Repository

PASS

https://github.com/leanprover/lean-beam/tree/main/skills/lean-beam

License

PASS

Apache-2.0

Maintenance

PASS

2mo since push

AI review

CHECK

Review approval is missing

README/SKILL.md completeness

PASS

Usable description available

Dependency risk

FIX

command execution surface, credential or environment access

Install command safety

PASS

standard package or runtime install path

Permission surface

FIX

secrets or environment access, shell or command execution

Stars/forks activity

FIX

27 stars, 4 forks; issue activity unavailable in current metadata

Adoption

CHECK

27 GitHub stars

Financial decision safety

CHECK

Research-only use: do not treat output as financial advice or execute a position without human approval.

Warnings

Dependency or permission surface needs review
Permission surface may require sandboxing
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
Permission surface needs review: secrets or environment access, shell or command execution
GitHub adoption: 27 GitHub stars
Stars/forks activity: 27 stars, 4 forks; issue activity unavailable in current metadata
Dependency/runtime risk: command execution surface, credential or environment access
Permission surface: secrets or environment access, shell or command execution

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.

Install path

Review the report before installing into production agents.

$ npx skills add leanprover/lean-beam --skill lean-beam

Agent-readable metadata

Machine decision packet

Embedded JSON exposes suited tasks, suited agents, install command, trust score, safety gate, alternatives, and do-not-use conditions for agent review.

Install policy: block
Best agents: Codex + Claude Code
Alternatives: 3

Open agent JSON

Signals

Audit score: 70/100
Quality: 53/100
Trust: 69/100
Install safety: 92/100
Permission surface: 36/100
Maintenance: 2mo since push
Events: 10 events
GitHub stars: 27
Last push: Sep 8, 2026

Agent safety v2

26/100 · Avoid automatic install

Blocked for auto-installblock

This skill should not be selected by an agent without explicit human security review.

Do not auto-install. Inspect the source, dependencies, and permission surface first.

Metadata combines secrets access with shell or command execution
High-risk permission hints: Shell or command execution, Secrets or environment access

Shell or command execution

high

Skill metadata references terminal, CLI, shell, subprocess, or command execution workflows.

Browser automation

medium

Skill may drive a browser or interact with web pages.

Network access

medium

Skill likely fetches remote pages, APIs, repositories, or external services.

Filesystem access

medium

Skill may read or write project files, documents, generated artifacts, or local workspace state.

High-risk permission hints: Shell or command execution, Secrets or environment access
Dependency or permission surface needs review

Back to skill Alternatives Audit badge SVG

Compare nearby options

Related skills to audit next

Last30days Skill

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.

64K Stars · Audit report

Academic Research Skills

Academic Research Skills for Claude Code: research → write → review → revise → finalize

38K Stars · Audit report

mono-color

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