cpp-to-dafny-translator
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [SAFE]: A comprehensive review of the skill's Markdown files found no malicious instructions, prompt injections, or data exfiltration attempts. All examples provided are standard algorithms and data structures.
- [NO_CODE]: The skill package is composed entirely of instructional documentation and reference materials. It does not contain any executable files, scripts, or configurations that could perform automated tasks on a system.
Audit Metadata