create-formal-verification-skill
Pass
Audited by Gen Agent Trust Hub on Oct 22, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill is designed to improve software quality through formal verification methods. It includes instructions for identifying high-risk areas such as concurrency and state machines.
- [SAFE]: The workflow incorporates standard verification best practices, such as ensuring models are 'able to fail' (mutation testing) to verify the accuracy of the checker.
- [SAFE]: The instruction to make a 'scratch change' to the codebase is explicitly coupled with a requirement to 'drop the scratch change' afterwards, ensuring the repository remains in its original state after verification testing.
Audit Metadata