proof-driven
Pass
Audited by Gen Agent Trust Hub on Apr 5, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill consists of instructional markdown files and code templates for property-based testing. It does not contain any executable scripts, network operations, or sensitive file access.
- [SAFE]: No prompt injection or obfuscation techniques were found. The content is consistent with its stated purpose of teaching formal verification and testing methodologies.
- [SAFE]: The referenced tools and frameworks are well-known industry standards for software verification.
Audit Metadata