cpp-to-dafny-translator
Pass
Audited by Gen Agent Trust Hub on Mar 29, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [SAFE]: The skill consists of documentation and translation guidelines. No malicious patterns or security risks were detected.
- [NO_CODE]: The skill does not include any scripts or executable files; it only provides instructions for the AI agent to follow during code translation tasks.
Audit Metadata