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 unicode input component with a basic HTML text field.
Affected software
Click a technology to see all vulnerabilities affecting it.
| Platform | Package | Vulnerable versions | Fixed in |
|---|---|---|---|
| npm package | @leanprover/unicode-input-component | < 0.2.0 | 0.2.0 |
References
- https://github.com/leanprover/vscode-lean4/security/advisories/GHSA-6ggm-pwr9-r5h2
- https://nvd.nist.gov/vuln/detail/CVE-2026-32732
- https://github.com/leanprover/vscode-lean4/pull/735
- https://github.com/leanprover/vscode-lean4
- https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/weird.20behavior.20in.20loogle.20searchbar/near/578502003
- CVSS vector
CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:A/VC:N/VI:N/VA:N/SC:N/SI:N/SA:N- Weakness (CWE)
CWE-80- Platform
- npm
- Package
@leanprover/unicode-input-component- Disclosed
- 16.03.2026
- Updated
- 11.10.2026 10:22
Sources and licenses
OSV / GitHub Advisory Database - GHSA-6ggm-pwr9-r5h2 - CC BY 4.0
Vulnerability history: @leanprover/unicode-input-component
All published vulnerabilities of this package (npm package), newest first. Shows whether this is a one-off slip or a package that needs watching.
This is the only known vulnerability of this package.
Know which vulnerabilities affect your application
With the DockRay integration and software inventory enabled, DockRay checks reported component versions against known vulnerabilities and notifies you about confirmed matches. Coverage depends on the supported technology and available advisory data.