cpp-to-dafny-translator

The skill is coherent and benign: it purposefully translates C/C++ code to Dafny with verification annotations, focusing on memory safety and formal verification. There are no detected patterns for credential access, remote exfiltration, or supply-chain risks. The footprint aligns with its stated goal, and its risk profile remains low to moderate (primarily due to the inherent risk of mis-specification in translation, which is a correctness/verification risk rather than a security risk).