@leanprover/unicode-input-component vulnerabilities (npm)

1 vulnerability.

• @leanprover/unicode-input-component npm XSS in @leanprover/unicode-input-component CVE-2026-32732 Fix available 0.0 NoneMarch 13, 2026