mermaid-to-proverif
Pass
Audited by Gen Agent Trust Hub on Oct 15, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill operates as a high-level instruction set for generating formal verification code. It defines clear mappings for cryptographic primitives like Diffie-Hellman, digital signatures, and HKDF, ensuring that generated models adhere to established formal methods practices.
- [SAFE]: The instructions emphasize security best practices for modeling, such as reachability queries as structural sanity checks and injective authentication to detect replay attacks. There are no attempts to bypass safety filters or perform unauthorized system operations.
- [SAFE]: Analysis of the provided files, including the skill instructions and reference materials, found no evidence of prompt injection, data exfiltration, obfuscation, or persistence mechanisms. All URLs and paths referenced are internal to the skill's documentation and examples.
Audit Metadata