foundations-formal-methods
Pass
Audited by Gen Agent Trust Hub on Sep 23, 2026
Risk Level: SAFE
Full Analysis
- [COMMAND_EXECUTION]: The script
scripts/test_check_finite_model.pyusessubprocess.runto execute the skill's own internal checker script during automated testing. This behavior is standard for unit testing local components and poses no risk to the host environment. - [EXTERNAL_DOWNLOADS]: The skill references theoretical sources and documentation from well-known and trusted entities, such as Microsoft Azure and the SMT-LIB organization. These references are used solely for user guidance and do not involve remote code execution or data exfiltration.
Audit Metadata