paperproof-validator
Transforms formal Lean 4 proofs into intuitive visualizations, enhancing understanding of proof structures and tactics.
Install this skill
or
100/100
Security score
The paperproof-validator skill was audited on Mar 1, 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 Mar 1, 2026
View Security DashboardGitHub Stars 7
Rate this skill
Categorydata analytics
UpdatedMay 21, 2026
vscodefrontendbackenddata-scientistux-designerfrontend-developerbackend-developerproduct-managergithubdata analyticsdesigndevelopmentproduct
plurigrid/asi