proof-carrying-code-generator
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [NO_CODE]: The skill package contains only Markdown documentation and code templates. There are no executable scripts, binaries, or configuration files included.
- [SAFE]: Security scanning detected no malicious patterns, prompt injections, or obfuscation. The skill serves as a legitimate resource for formal verification and safety-critical software development.
Audit Metadata