CVE-2026-32732 PUBLISHED

XSS in @leanprover/unicode-input-component

Assigner: GitHub_M
Reserved: 13.03.2026 Published: 13.03.2026 Updated: 13.03.2026

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.

Metrics

CVSS 4.0

CVSS Vector: 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
CVSS Score: 0

Exploitability Metrics		Vulnerable System Impact Metrics		Subsequent System Impact Metrics
Attack Vector	Network	Confidentiality	None	Confidentiality	None
Attack Complexity	Low	Integrity	None	Integrity	None
Attack Requirements	None	Availability	None	Availability	None
Privileges Required	None
User Interaction	Active

CVSS 4.0

Product Status

Vendor	leanprover
Product	vscode-lean4
Versions	Version < 0.2.0 is affected

References

Problem Types

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