design-by-contract
Pass
Audited by Gen Agent Trust Hub on Feb 17, 2026
Risk Level: SAFENO_CODE
Full Analysis
- NO_CODE (SAFE): The provided input consists only of a metadata JSON file (
metadata.json). No actual skill logic, prompt instructions, or executable scripts were provided for security auditing. - Metadata Analysis (SAFE): The metadata fields (id, name, description, author) were inspected. While the description mentions "execution capabilities" for automated contract verification, the metadata itself does not contain malicious instructions, obfuscation, or sensitive data exposure.
Audit Metadata