formal-verification-guide
Pass
Audited by Gen Agent Trust Hub on Apr 13, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill serves as a documentation and educational resource for formal methods in computer science.
- [SAFE]: Provides a shell command example for executing the TLC model checker using a Java JAR file. This is a standard instructional pattern for the TLA+ verification workflow.
- [SAFE]: Python code snippets utilize the 'z3' library for SMT solving, which is a well-established and trusted tool in the research community.
Audit Metadata