propositional-logic
Pass
Audited by Gen Agent Trust Hub on Apr 5, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill provides structured guidance for solving mathematical logic problems using standard libraries and local scripts.
- [COMMAND_EXECUTION]: The skill uses the Bash tool to execute local Python scripts (
z3_solve.pyandsympy_compute.py) via theuvrunner. These scripts are used to evaluate logic formulas provided as arguments. - [EXTERNAL_DOWNLOADS]: No remote scripts or unauthorized external dependencies are downloaded or executed. All operations appear to be local or rely on pre-installed environment tools.
- [DATA_EXFILTRATION]: No network operations or attempts to access sensitive system files (e.g., SSH keys, credentials) were found.
Audit Metadata