prove-geometric-theorem
Pass
Audited by Gen Agent Trust Hub on Mar 18, 2026
Risk Level: SAFEPROMPT_INJECTION
Full Analysis
- [PROMPT_INJECTION]: The skill ingests untrusted user input in the form of theorem statements and hypotheses, which are then processed using system tools like Bash, Write, and Edit. This configuration presents a surface for indirect prompt injection.
- Ingestion points: Theorem statement and Given information inputs specified in SKILL.md.
- Boundary markers: Absent; there are no clear delimiters or instructions to the agent to isolate potentially malicious content within the user-provided geometric data.
- Capability inventory: The skill is permitted to use Bash, Write, Edit, Grep, and Glob tools as defined in the frontmatter.
- Sanitization: Absent; the procedure does not include steps for validating or sanitizing external mathematical claims before they are used in logical derivations or computations.
Audit Metadata