skills/arabelatso/skills-4-se/program-to-tlaplus-spec-generator/Snyk

program-to-tlaplus-spec-generator

Pass

Audited by Snyk on Mar 6, 2026

Risk Level: LOW

Full Analysis

No issues detected.

Audit Metadata

Risk Level

LOW

Analyzed

Mar 6, 2026, 10:20 PM