gf-formal
Pass
Audited by Gen Agent Trust Hub on Jul 2, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [NO_CODE]: The file SKILL.md does not contain any functional prompts, metadata, or executable logic. It only contains a relative path string '../../plugins/gateflow/skills/gf-formal/SKILL.md', which provides no instruction for the AI agent to follow or execute.
Audit Metadata