CVE Feed

    Dashboard / CVE / CVE-2026-32732

    CVE-2026-32732

    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.

    Published:Mar 13, 2026
    Last Modified:Apr 16, 2026
    EPS:Mar 13, 2026
    EPSS Score:0.00064
    CVSS Score:0

    Affected Products

    Vendor
    Leanprover
    Product
    Vscode-lean4

    Exploits

    No exploit reference

    Common Vulnerability Scoring System

    Attack Vector
    Network
    Adjacent
    Local
    Physical
    Privileges Required
    None
    Low
    High
    User Interaction
    None
    Required
    Scope
    Unchanged
    Changed
    Confidentiality
    None
    Low
    High
    Integrity
    None
    Low
    High
    Availability
    None
    Low
    High