math-frml-agen-patt
Pass
Audited by Gen Agent Trust Hub on Jun 23, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill is purely instructional and provides a framework for planning mathematical proofs and decomposing subgoals. It does not contain any executable code, shell commands, or network-enabled functionality.
- [SAFE]: The instructions include proactive security guidance, specifically warning the agent not to install external runtimes or third-party math agents without a prior security review.
Audit Metadata