lean4-prover
Facilitates formal verification and theorem proving using Lean 4, enabling rigorous mathematical validation and proof search.
Install this skill
or
79/100
Security score
The lean4-prover skill was audited on May 23, 2026 and we found 3 security issues across 3 threat categories, including 1 high-severity. Review the findings below before installing.
Categories Tested
Security Issues
high line 22
Piping content to sh shell
SourceSKILL.md
| 22 | curl https://elan.lean-lang.org/install.sh -sSf | sh |
medium line 22
Curl to non-GitHub URL
SourceSKILL.md
| 22 | curl https://elan.lean-lang.org/install.sh -sSf | sh |
low line 22
External URL reference
SourceSKILL.md
| 22 | curl https://elan.lean-lang.org/install.sh -sSf | sh |
Scanned on May 23, 2026
View Security Dashboard