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. Dependency Scanning using SBOM also detects vulnerabilities from proprietary advisories that this site does not include. Learn more about Dependency Scanning using SBOM →