add-dependency
Facilitates adding dependencies to Lean projects by updating the lakefile with tier validation and version management.
Install this skill
or
100/100
Security score
The add-dependency skill was audited on Feb 9, 2026. Our scanner tested it across 12 threat categories and found no security issues.
Categories Tested
Security Issues
No security issues detected
This skill passed all security checks.
Scanned on Feb 9, 2026
View Security Dashboard