smart-contract-formal-verification
Pass
Audited by Gen Agent Trust Hub on Nov 11, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [SAFE]: The skill serves as a documentation template and data schema for recording formal verification results. It does not perform any actions or execute code.
- [NO_CODE]: No scripts or executable tools are included in the skill. It consists entirely of markdown documentation.
Audit Metadata