mino-design-by-contract
Pass
Audited by Gen Agent Trust Hub on Jul 16, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill implements a strictly structured workflow for requirement analysis and contract generation.
- [SAFE]: No external network requests, remote code execution, or credential access patterns were found in any of the files.
- [SAFE]: All references to external files are internal to the skill directory or point to other local skills (e.g.,
skills/mino-core/), which is standard for modular agent design. - [SAFE]: Indirect prompt injection risks are mitigated by the highly structured output schemas and the requirement for objective, observable evidence.
Audit Metadata