invariant-ace
Pass
Audited by Gen Agent Trust Hub on Mar 3, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: No malicious patterns such as prompt injection, obfuscation, or exfiltration were detected. The skill provides architectural and logical guidance for improving code correctness and security through invariants.
- [COMMAND_EXECUTION]: The skill includes a 'Measurement' section with shell commands using a tool named
seq. These commands are intended for internal telemetry and reporting of skill usage within the developer's environment (e.g., tracking session data in~/.codex/sessions). They do not execute untrusted remote code or perform network operations.
Audit Metadata