python-to-lean4-translator
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [SAFE]: No malicious patterns, prompt injections, or data exfiltration vectors were identified in the skill content.
- [NO_CODE]: The skill consists exclusively of Markdown documentation files. It does not contain any executable scripts (.py, .js, .sh), binaries, or configuration files that perform active operations.
- [PROMPT_INJECTION]: The instructions are strictly limited to the technical task of code translation and type mapping. No override commands or safety bypass instructions were detected.
- [EXTERNAL_DOWNLOADS]: The skill references standard Lean4 libraries (e.g., Std.Data.HashMap) which are part of the official Lean4 environment and do not represent a security risk.
- [COMMAND_EXECUTION]: While the documentation describes Lean4 features like FFI (Foreign Function Interface) and system calls (IO monad), these are presented as educational references for the target language and are not used by the skill itself to execute commands on the host system.
Audit Metadata