lean-theorem-proving-guide
Pass
Audited by Gen Agent Trust Hub on Apr 13, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill provides documentation and Python usage examples for the LeanAgent project, which facilitates theorem proving through formal verification. No malicious code or suspicious patterns were found.
- [SAFE]: External references and metadata links point to legitimate repositories and documentation sites associated with the Lean 4 proof assistant and the Lean Dojo research group.
Audit Metadata