invariant-inference
Pass
Audited by Gen Agent Trust Hub on Mar 29, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill consists of purely educational and instructional content regarding formal verification and invariant inference techniques. No executable code, network operations, sensitive data access, or malicious prompt patterns were identified.
Audit Metadata