abstract-domain-explorer
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: No security risks were identified. The skill consists entirely of markdown documentation and logic workflows for abstract interpretation. It does not perform network requests, access the file system, or include any third-party code.
Audit Metadata