c-cpp-to-lean4-translator
Pass
Audited by Gen Agent Trust Hub on Mar 29, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill is a documentation-only resource providing templates and patterns for code translation. It does not include any executable scripts, tool invocations, or configuration that could lead to unauthorized system access or data exfiltration. Analysis of all 10 threat categories (including prompt injection, obfuscation, and remote code execution) found no malicious patterns or security risks.
Audit Metadata