predicate-logic
Pass
Audited by Gen Agent Trust Hub on Apr 5, 2026
Risk Level: SAFECOMMAND_EXECUTIONPROMPT_INJECTION
Full Analysis
- [COMMAND_EXECUTION]: The skill uses the Bash tool to execute specialized Python scripts (scripts/z3_solve.py and scripts/sympy_compute.py) via the uv package manager to process logic formulas.
- [PROMPT_INJECTION]: The skill exposes a surface for indirect prompt injection where user-supplied mathematical formulas are interpolated into shell commands as arguments.
- Ingestion points: Logic formulas passed to scripts/z3_solve.py and scripts/sympy_compute.py.
- Boundary markers: Not present in command templates.
- Capability inventory: Bash tool usage for script execution.
- Sanitization: Not explicitly implemented in the provided skill instructions.
Audit Metadata