proof-writer
Pass
Audited by Gen Agent Trust Hub on Mar 17, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill follows a structured workflow for mathematical proof generation and contains no instructions that attempt to bypass safety guidelines or manipulate agent behavior.
- [DATA_EXFILTRATION]: The tool list is restricted to local file system operations (Read, Write, Edit, Grep, Glob). There are no network-enabled tools or patterns indicating that data is being sent to external servers.
- [COMMAND_EXECUTION]: No patterns for shell command execution or arbitrary script running were identified. The skill focuses exclusively on processing and writing text-based mathematical content.
Audit Metadata