design-by-contract
Pass
Audited by Gen Agent Trust Hub on Aug 28, 2026
Risk Level: SAFEINDIRECT_PROMPT_INJECTION
Full Analysis
- [SAFE]: The skill is entirely descriptive, providing a framework for the agent to document software design using the 'Design by Contract' methodology. It contains no executable scripts, shell commands, or network requests.
- [INDIRECT_PROMPT_INJECTION]: The skill creates a surface for processing external design data provided by users or other skills. 1. Ingestion points: Runtime design decisions described in SKILL.md. 2. Boundary markers: Absent. 3. Capability inventory: None; the skill is limited to generating text and diagrams and lacks any side-effect capabilities like file system access or command execution. 4. Sanitization: Not applicable as the output is restricted to natural language documentation.
Audit Metadata