None 0.0Published Mar 13, 2026

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

Updated under an hour ago (Oct 26, 2026, 9:30 PM ET)

Does this affect you?

It affects leanprover vscode-lean4. Add what you run to find out whether that includes you.

No exploitation reported and no EPSS estimate yet.

Do this next

Start free and add your stack

Free account, 1 product

Every CVE for leanprover vscode-lean4

Exploited in the last 30 days

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.

CVSS: 0.0 NONE (v4.0, CNA)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
Known exploited: Not in CISA's KEV catalog
EPSS (exploitation in the next 30 days): Not loaded for this CVE
Assigned by: GitHub_M
NVD analysis: Deferred
Record last updated: Mar 16, 2026
First seen by InfoSec Signals: Oct 9, 2026

Affected products

Affected products

leanprover vscode-lean4 leanprover:vscode_lean4 (from the name)	before 0.2.0	CNA record

References

References

https://github.com/leanprover/vscode-lean4/security/advisories/GHSA-6ggm-pwr9-r5h2	x-refsource-confirm
https://github.com/leanprover/vscode-lean4/pull/735	x-refsource-misc
https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/weird.20behavior.20in.20loogle.20searchbar/near/578502003	x-refsource-misc

The CVE record on cve.org NVD's entry

The CVE record is authoritative. Products marked “from the name” were identified from the CNA's free-text names, not a CPE, and are matched less certainly. This product uses the NVD API but is not endorsed or certified by the NVD.