skills/rade-nugroho/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 Oct 5, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: No security issues were detected. The skill consists exclusively of markdown documentation and guidance for formal methods and software assurance workflows. It does not request any dangerous permissions, execute shell commands, or perform network operations.
Audit Metadata