CVE-2026-32732: XSS in @leanprover/unicode-input-component

March 16, 2026

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.

References

github.com/advisories/GHSA-6ggm-pwr9-r5h2
github.com/leanprover/vscode-lean4
github.com/leanprover/vscode-lean4/pull/735
github.com/leanprover/vscode-lean4/security/advisories/GHSA-6ggm-pwr9-r5h2
leanprover.zulipchat.com/
nvd.nist.gov/vuln/detail/CVE-2026-32732

Code Behaviors & Features

Detect and mitigate CVE-2026-32732 with GitLab Dependency Scanning

Secure your software supply chain by verifying that all open source dependencies used in your projects contain no disclosed vulnerabilities. Learn more about Dependency Scanning →