Skip to content

← Public intelligence

npm package

@leanprover/unicode-input-component

Open actionable advisories and recorded vendor fixes. This public package view has no inventory attached and cannot establish whether your deployment is affected. A vendor fix never resolves your finding; verify your installed version and the source guidance.

Open advisories

1 actionable advisory, newest first. Withdrawn advisories and news are excluded. Coverage is partial.

  1. UnratednpmAmendedPublished

    XSS in @leanprover/unicode-input-component

    CVE-2026-32732 · GHSA-6ggm-pwr9-r5h2

    Affected
    • npm @leanprover/unicode-input-component < 0.2.0
    Fixed in
    0.2.0· Vendor fix available
    Issue
    Impact 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. Patches The issue has been resolved in 0.2.0. Workarounds Replace the unicode input component with a basic HTML text field.

    Recommended action: Upgrade to 0.2.0 or later, then redeploy and verify.A vendor fix does not resolve your finding until you verify it in your own systems.

    Sources:osv.dev (1)github.com (2)Source checked Evidence →