🤖
lean4-theorem-proving
skills.shLow RiskAI agent skill for lean4 theorem proving from cameronfreer
@cameronfreer8 installs
Category
🤖Coding Agents
Installs
8
Rank
#0
Last Updated
Unknown
🔒Security Analysis
Risk ScoreLow Risk
Safe0/10Risky
No special permissions detected. This skill appears to have minimal system access.
Minimal system access, safe to use
Analysis
Provides lean4 theorem proving capabilities. Maintained by cameronfreer.
Use Cases
- Development workflow automation
LOW Complexity
Source Code
View on GitHubRelated Skills
Explore More Skills
Discover more skills from the skills.sh directory with security analysis.