{"cve":"CVE-2026-32732","nvd":{"published":"2026-03-16T14:19:43.580","modified":"2026-06-17T10:36:17.387","status":"Deferred","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.","cvss_v4":{"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","score":0.0},"cvss_v3":null,"cwes":["CWE-80"],"references":["https://github.com/leanprover/vscode-lean4/pull/735","https://github.com/leanprover/vscode-lean4/security/advisories/GHSA-6ggm-pwr9-r5h2","https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/weird.20behavior.20in.20loogle.20searchbar/near/578502003"],"products":[],"source":"nvd","synced_at":"2026-10-19T22:26:19.218427112+00:00"},"epss":{"cve":"CVE-2026-32732","score":0.00318,"percentile":0.24794,"date":"2026-10-31"},"kev":null,"osv":[{"id":"GHSA-6ggm-pwr9-r5h2","url":"https://osv.dev/vulnerability/GHSA-6ggm-pwr9-r5h2","summary":"XSS in @leanprover/unicode-input-component","modified":"2026-03-16T16:56:19.366316Z","packages":[{"ecosystem":"npm","name":"@leanprover/unicode-input-component","purl":"pkg:npm/%40leanprover/unicode-input-component","ranges":["<0.2.0"],"fixed":["0.2.0"]}]}],"attribution":["This product uses the NVD API but is not endorsed or certified by the NVD.","EPSS scores: FIRST Exploit Prediction Scoring System, https://www.first.org/epss","Known exploited vulnerabilities: CISA Known Exploited Vulnerabilities Catalog, https://www.cisa.gov/known-exploited-vulnerabilities-catalog","Package advisories: OSV (https://osv.dev), from the GitHub Advisory Database, PyPA, Go, RustSec and other ecosystem databases, under CC-BY 4.0 or CC0","CVE records: the CVE Program's CVE List (https://www.cve.org), under its terms of use (https://www.cve.org/Legal/TermsOfUse). CVE is a registered trademark of The MITRE Corporation; this product is not affiliated with the CVE Program."]}