lean4monaco (>=1.1.0, <=1.1.7) potentially affected by CVE-2026-32732 via @leanprover/unicode-input-component (0.1.9)

@leanprover/unicode-input-component NPM version 0.1.9 is affected by a known vulnerability. The following packages have a transitive dependency on @leanprover/unicode-input-component and may be impacted: - lean4monaco =1.1.0, =1.1.7 Source cves: CVE-2026-32732 Source advisory: GHSA-6GGM-PWR9-R5H2...

XSS in @leanprover/unicode-input-component

Impact Projects that use @leanprover/unicode-input-component are vulnerable to an XSS exploit in 0.1.9 of the package and lower. The component re-inserted text in the input element back into the input element as unescaped HTML. Patches The issue has been resolved in 0.2.0. Workarounds Replace the...

CVE-2026-32732: Improper Neutralization of Script-Related HTML Tags in a Web Page (Basic XSS)

Lean 4 VS Code Extension is a Visual Studio Code extension for the Lean 4 proof assistant. Projects that use @leanprover/unicode-input-component are vulnerable to an XSS exploit in 0.1.9 of the package and lower. The component re-inserted text in the input element back into the input element as...

lean4monaco (>=1.1.0, <=1.1.7) potentially affected by CVE-2026-32732 via @leanprover/unicode-input-component (0.1.9)

@leanprover/unicode-input-component NPM version 0.1.9 is affected by a known vulnerability. The following packages have a transitive dependency on @leanprover/unicode-input-component and may be impacted: - lean4monaco =1.1.0, =1.1.7 Source cves: CVE-2026-32732 Source advisory: MEND:CVE-2026-32732...