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.

INFO

Published Date :

2026-03-13T21:43:22.209Z

Last Modified :

2026-03-13T21:43:22.209Z

Source :

GitHub_M
AFFECTED PRODUCTS

The following products are affected by CVE-2026-32732 vulnerability.

No data.

REFERENCES

Here, you will find a curated list of external links that provide in-depth information to CVE-2026-32732.

URL Resource
https://github.com/leanprover/vscode-lean4/pull/735 cve-icon
https://github.com/leanprover/vscode-lean4/security/advisories/GHSA-6ggm-pwr9-r5h2 cve-icon
https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/weird.20behavior.20in.20loogle.20searchbar/near/578502003 cve-icon
Login to claim this CVE

CVSS Vulnerability Scoring System

Detailed values of each vector for above chart.
Attack Vector
Attack Complexity
Attack Requirements
Privileges Required
User Interaction
VS Confidentiality
VS Integrity
VS Availability
SS Confidentiality
SS Integrity
SS Availability