statechart
Pass
Audited by Gen Agent Trust Hub on Oct 24, 2026
Risk Level: SAFECOMMAND_EXECUTIONEXTERNAL_DOWNLOADS
Full Analysis
- [COMMAND_EXECUTION]: The skill executes local Node.js scripts and the TLA+ Model Checker (tlc2.TLC via Java) to parse formal specifications and generate state graphs.
- [EXTERNAL_DOWNLOADS]: If requested by the user via the --png flag, the skill invokes
npxto run the@mermaid-js/mermaid-clipackage to render charts into image files. - [SAFE]: The skill's operations are confined to the local filesystem and well-defined toolchains (TLA+ and Mermaid). No evidence of data exfiltration, prompt injection, or malicious obfuscation was found.
Audit Metadata