Claude Code, Skill
Lean Skills
Lean 4 and Mathlib workflows: developing and refactoring proofs, searching Mathlib, driving Lake builds, and auditing whether statements and the prose citing them mean what they claim.
Compatibility: Not stated.
Grade C
One Medium finding. Read the report before installing.
Not a guarantee. A hygiene check of the source at the commit shown, not a security audit.
PERMISSION_SHELL_UNDECLARED
Why this grade
- PERMISSION_SHELL_UNDECLARED Medium
Runs shell commands that the manifest or description does not mention.
skills/lean-claims-review/scripts/sweep.py, line 256
p = subprocess.run(writer + [r["name"], "supported"],
Any High, or two or more Medium findings, give D. One Medium gives C. Low findings or a security Note give B. Each code names a finding behind the letter.
Grades are a hygiene check of the source at the commit shown, on the date checked, not a security audit or a guarantee. The free directory grades are automated. Before release, a PlugVet engineer reviews every paid report and any grade we hold back, including all F grades, against the source code and the evidence we quote.
What was checked
Plain notes from the hygiene checks.
Permissions
Concern
requests shell access. No manifest field names shell or command execution.
PERMISSION_SHELL_UNDECLARED
skills/lean-claims-review/scripts/sweep.py, line 256
p = subprocess.run(writer + [r["name"], "supported"],
skills/lean-claims-review/scripts/test_sweep.py, line 134
return subprocess.run(
Install and update
Pass
No install-time script found, and dependencies are pinned or absent.
Network
Pass
No network call found.
Secrets
Concern
reads a credential or environment file.
SECRETS_PATH_DOTENV
.gitignore, line 5
# Secrets and local credentials (.env.example stays tracked).
.gitignore, line 6
.env
.gitignore, line 8
!.env.example
Agent instructions
Pass
No instruction to ignore earlier instructions or to hide a step.
Obfuscation
Pass
No encoded or minified payload found.
Licence
Pass
A licence file is present (LICENSE).
Maintainer activity
Pass
The latest commit is within the last 365 days.
Note
Hygiene check of commit 0af5d05bb153. requests shell access. No manifest field names shell or command execution. reads a credential or environment file.
Date and source
Date checked:
github.com
Commit graded: 0af5d05bb1534b74fa3a46f247af6e65d89d184a
This link goes to the original host. PlugVet does not host or check what you download from there, and installing it is your own decision and risk.