proof-notes
Pass
Audited by Gen Agent Trust Hub on Oct 28, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: No security concerns were identified. The skill's instructions are limited to providing a structured format for the AI to annotate and verify mathematical claims and proofs.
- [INDIRECT_PROMPT_INJECTION]: The skill processes user-supplied proofs. While this represents an ingestion of untrusted data, the risk is minimal as the skill only performs logical decomposition and text formatting, and lacks access to sensitive files or network tools that could be abused through injection.
Audit Metadata