lean-hit-development
Facilitates the development of Higher Inductive Types in the ComputationalPaths library, enhancing mathematical modeling capabilities.
Install this skill
or
100/100
Security score
The lean-hit-development skill was audited on Feb 12, 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 12, 2026
View Security DashboardGitHub Stars 106
Rate this skill
Categorydata analytics
UpdatedMay 21, 2026
majiayu000/claude-skill-registry