theory-proof-sketcher
Pass
Audited by Gen Agent Trust Hub on Jul 5, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill consists exclusively of markdown-based instructions for mathematical reasoning and theorem sketching. It does not contain any executable scripts, shell commands, or external dependencies. There are no network operations, sensitive file access patterns, or prompt injection vulnerabilities detected.
Audit Metadata