graph-algorithms
Pass
Audited by Gen Agent Trust Hub on Apr 5, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill employs local scripts for mathematical analysis and theorem proving using standard libraries like SymPy and Z3.- [SAFE]: Tool usage is restricted to local execution of scripts within the skill's environment via the
uvpackage manager.- [SAFE]: No evidence of remote code execution, data exfiltration, or prompt injection was found in the instructions or command patterns.
Audit Metadata