python-to-lean4-translator
Pass
Audited by Gen Agent Trust Hub on Mar 29, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill consists of markdown instructions and code snippets for translation logic. No malicious patterns, external downloads, or command execution vulnerabilities were identified in the content.
Audit Metadata