cs-formal
Pass
Audited by Gen Agent Trust Hub on Mar 5, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill facilitates formal verification through legitimate tools and API interactions.
- [COMMAND_EXECUTION]: Use of the
openclawCLI and system package manager is consistent with the skill's purpose and follows expected usage patterns. - [CREDENTIALS_UNSAFE]: Security-sensitive information like API keys is correctly handled via environment variables in the documentation examples.
- [EXTERNAL_DOWNLOADS]: All external references are to the primary service provider's API or official system package repositories.
Audit Metadata