CVE-2026-32732

CVE-2026-32732 is a none-severity vulnerability with a CVSS 4.0 base score of 0.0. It is not currently listed as actively exploited by CISA, and its EPSS exploit-prediction score is low. The underlying weakness is classified as CWE-80.

Key facts

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.

Frequently asked questions

What is CVE-2026-32732?
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.
How severe is CVE-2026-32732?
CVE-2026-32732 has a CVSS 4.0 base score of 0.0, rated none severity.
Is CVE-2026-32732 being actively exploited?
It is not currently listed in CISA's KEV catalog. Its EPSS exploit-prediction score is 0% (25th percentile), an estimate of the probability of exploitation in the next 30 days.
How do I fix CVE-2026-32732?
Review the linked vendor and NVD advisories for patched versions and mitigations, then upgrade or apply the recommended workaround.
Does CVE-2026-32732 have an EU (EUVD) identifier?
Yes. CVE-2026-32732 is tracked in the ENISA EU Vulnerability Database (EUVD) as EUVD-2026-12181.
When was CVE-2026-32732 published?
CVE-2026-32732 was published on 2026-03-16 and last updated on 2026-06-17.

References

Other CWE-80 vulnerabilities

Browse all CWE-80 vulnerabilities →