skills/daemon-blockint-tech/agentic-enteprises-skill/software-assurance-formal-methods-specialist/Gen Agent Trust Hub
software-assurance-formal-methods-specialist
Pass
Audited by Gen Agent Trust Hub on Jun 13, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [SAFE]: The skill contains no executable code, shell commands, or network-active tools. It is comprised entirely of Markdown-based guidance for formal verification workflows.
- [NO_CODE]: There are no Python scripts, Node.js packages, or binary executables included in the skill package. All logic is provided through natural language instructions.
- [PROMPT_INJECTION]: No patterns of instruction override, safety filter bypass, or system prompt extraction were found in the skill body or metadata.
- [DATA_EXFILTRATION]: No access to sensitive file paths (~/.ssh, ~/.aws, .env) or network exfiltration patterns (curl, wget, POST requests) are present.
- [EXTERNAL_DOWNLOADS]: The skill does not reference or attempt to download any external dependencies or remote scripts.
Audit Metadata