skills/santosomar/general-secure-coding-agent-skills/abstract-invariant-generator/Gen Agent Trust Hub
abstract-invariant-generator
Pass
Audited by Gen Agent Trust Hub on Mar 29, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill provides conceptual instructions and examples for formal verification techniques. It does not include any scripts, external dependencies, network requests, or file system operations. All content is educational and procedural in nature for use by an AI agent in a verification context.
Audit Metadata