esbmc-verification
Pass
Audited by Gen Agent Trust Hub on Feb 27, 2026
Risk Level: SAFEEXTERNAL_DOWNLOADSCOMMAND_EXECUTION
Full Analysis
- [SAFE]: The skill provides legitimate documentation and tools for formal software verification. No malicious patterns such as prompt injection, data exfiltration, or persistence mechanisms were detected.
- [EXTERNAL_DOWNLOADS]: The documentation references the official ESBMC GitHub repository (github.com/esbmc/esbmc) for tool installation. This is a trusted source consistent with the skill's purpose and the author context.
- [COMMAND_EXECUTION]: The skill includes shell scripts (scripts/full-audit.sh and scripts/quick-verify.sh) designed to automate the execution of the ESBMC verification tool on local source code. These scripts use standard command-line parameters to perform security audits and bug-hunting tasks.
Audit Metadata