Skip to content

Product

leanprover @leanprover/unicode-input-component vulnerabilities

1 published CVE affecting leanprover @leanprover/unicode-input-component, from public sources (CVE.org, NVD, CISA KEV, FIRST EPSS, OSV).

Total
1
Critical
0
High
0
Medium
0
Low
0
Unscored
1
CISA KEV
0

Latest leanprover @leanprover/unicode-input-component CVEs

Newest publication first

  1. CVE-2026-32732 XSS in @leanprover/unicode-input-component

    Published
    NoneCVSS 0.0 EPSS 0.35%

    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 i...

Sources: CVE.org, NVD, CISA KEV, FIRST EPSS, OSV and public exploit-reference metadata. Product matching comes from the published CVE records. A proof-of-concept means public code exists; it is not evidence of exploitation.