invariant-inference
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: No security threats detected. The skill's content is focused on technical guidance for code analysis, providing patterns for loop invariants in various programming languages without any executable code, remote calls, or data exfiltration risks.
Audit Metadata