Is CVE-2026-32732 actively exploited?

No active exploitation of CVE-2026-32732 has been confirmed so far. Continue monitoring, as exploit status can change.

Can CVE-2026-32732 be exploited remotely?

Yes. CVE-2026-32732 is exploitable remotely over the network (CVSS attack vector: Network).

What is the CVSS score of CVE-2026-32732?

CVE-2026-32732 has a CVSS score of 0.0 (NONE).

HOME VULNERABILITIESCVE-2026-32732

NONE

CVE-2026-32732

CWE-80Published: March 16, 2026· Updated: Mar 16, 2026

0.0

CVSS v3.1

EPSS:0.04%probability of exploitation in 30 daysPercentile:13.3th

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.

NVD Source

Technical Analysis

CVE-2026-32732 can be exploited remotely over the network without requiring physical or adjacent access, significantly expanding the attack surface for threat actors.

Exploitation does not require any privileges, though user interaction (A) is needed, which slightly reduces the risk of mass automated attacks.

CVSS v3.1 Vector Breakdown

Exploitability

Attack VectorNetwork

Attack ComplexityLow

Privileges Req.None

User InteractionA

ScopeX

Impact

Confidentiality

Integrity

Availability

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/E:X/CR:X/IR:X/AR:X/MAV:X/MAC:X/MAT:X/MPR:X/MUI:X/MVC:X/MVI:X/MVA:X/MSC:X/MSI:X/MSA:X/S:X/AU:X/R:X/V:X/RE:X/U:X