Skip to content
Every CVE
Browse
Docs
Sources
Guide
Search
/
Get
API key
Every CVE
Vendors
Leanprover
Vscode-lean4
Leanprover Vscode-lean4 vulnerabilities
leanprover
vscode-lean4
XSS in @leanprover/unicode-input-component
CVE-2026-32732
Fix available
0.0
None
March 13, 2026
esc
Pages
All vulnerabilities
Browse
Docs
Sources
Guide
Get API key
Move
Enter
Open