proof-structure-analyzer
Pass
Audited by Gen Agent Trust Hub on Nov 2, 2026
Risk Level: SAFEINDIRECT_PROMPT_INJECTION
Full Analysis
- [INDIRECT_PROMPT_INJECTION]: The skill is designed to ingest and analyze external mathematical proofs, creating a potential surface for indirect prompt injection attacks where malicious instructions could be embedded in the proof text.
- Ingestion points: Processes mathematical proofs provided by users or retrieved from files (as described in SKILL.md).
- Boundary markers: There are no explicit delimiters or instructions provided to the agent to ignore potentially malicious embedded content within the proofs.
- Capability inventory: The skill is configured with access to powerful system tools including
Bash,Read,Write,Edit,Glob, andGrep(defined in theallowed-toolsmetadata). - Sanitization: No input validation or sanitization mechanisms are specified for the incoming mathematical content.
Audit Metadata