boundary-value-problems
Pass
Audited by Gen Agent Trust Hub on Apr 5, 2026
Risk Level: SAFECOMMAND_EXECUTION
Full Analysis
- [COMMAND_EXECUTION]: The skill executes mathematical computations using
uv run python. This includes running inline Python scripts for numerical integration withscipyandnumpy, as well as calling local scriptsscripts/sympy_compute.pyandscripts/z3_solve.pyfor symbolic manipulation and logical proofs. - [SAFE]: No sensitive data exposure, credential harvesting, or unauthorized network operations were detected. The bibliography references to mathematical literature are purely informational.
- [PROMPT_INJECTION]: The skill processes mathematical input such as matrix types and proof goals through command-line arguments. While this technically creates a surface for indirect prompt injection, it is considered safe in this context as the inputs are constrained to specialized mathematical utilities. Ingestion points: tool arguments in SKILL.md; Boundary markers: absent; Capability inventory: bash execution of local scripts; Sanitization: not specified.
Audit Metadata