CVE-2026-32732 | BDVDB-2026-320552 Detail

leanprovervscode-lean4

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.

Impact#

Per CVSS v4.0: confidentiality impact none, integrity impact none, availability impact none. Attack vector: network.

Weaknesses#

CWE-80 Improper Neutralization of Script-Related HTML Tags in a Web Page (Basic XSS)

References#

Exploit#

No public exploit known

History#

Version 12026-03-13Record published in the CVE List.
Version 22026-03-16Most recent update recorded in the CVE List.

Published

Published: 2026-03-13
Last modified: 2026-03-16

Vendor information

Vendor: leanprover
Product: vscode-lean4

All leanprover vulnerabilities

Score

0.0 None

EPSS

less than 1%, Very Low

Estimated chance of exploitation in the next 30 days. EPSS percentile: 28.6.

KEV

Not listed in the CISA Known Exploited Vulnerabilities catalog.

Impact

Not classified

Action

No specific action is recorded in the source data. Check the references for vendor guidance.

Affected Systems

Vulnerable
< 0.2.0
Fixed
Not stated

Scoring System

CVSS v4.0

0.0 None

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

Metric breakdown
Attack Vector	Network
Attack Complexity	Low
Attack Requirements	None
Privileges Required	None
User Interaction	Active
Vulnerable System Confidentiality	None
Vulnerable System Integrity	None
Vulnerable System Availability	None
Subsequent System Confidentiality	None
Subsequent System Integrity	None
Subsequent System Availability	None

CVSS v3.1

Not available

CVSS v3.0

Not available

CVSS v2

Not available

Source: CVE List v5 (record); CISA KEV (kev, action); FIRST EPSS (epss).