CVE-2026-32732 XSS in @leanprover/unicode-input-component
Attackers can execute arbitrary scripts in the VS Code Lean 4 extension via unescaped HTML in the unicode input component.
- Exploited in the wild
- Not known
- Login needed
- Not needed
- Attackable
- Over the internet
- Victim action needed
- A user has to click or open something
- Fix
- Available
What is CVE-2026-32732?
CVE-2026-32732 is a cross-site scripting vulnerability in leanprover vscode-lean4, published on 13 Mar 2026. An attacker can exploit it over the internet without logging in, and only if a user opens a file or follows a link.
Official description
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 unescaped HTML. The issue has been resolved in 0.2.0.
Weakness: CWE-80
Which versions are affected by CVE-2026-32732?
2 open source packages ship an affected version, including @leanprover/unicode-input-component.
| Package | Affected | Fixed in |
|---|---|---|
@leanprover/unicode-input-component npm | All versions | 0.2.0 |
@leanprover/unicode-input-component npm | All versions | 0.2.0 |
How do I fix CVE-2026-32732?
Upgrade @leanprover/unicode-input-component to 0.2.0 or later.
Escape output for the context it lands in and set a strict Content Security Policy. Upgrading the affected component is the real fix. More about Cross-site scripting.
Is CVE-2026-32732 being exploited?
There is no known exploitation of CVE-2026-32732 in the wild and no public exploit code.
Sources
Also known as GHSA-6ggm-pwr9-r5h2.