Skills
Navigate
skills/eventb-rossi/eventb-skill/eventb/Snyk

eventb

Pass

Audited by Snyk on Sep 7, 2026

Risk Level: LOW
Full Analysis

No issues detected.

Audit Metadata
Risk Level
LOW
Analyzed
Sep 7, 2026, 10:27 AM