All 1 CVE vulnerabilities found in vscode-lean4, with AI-generated Chinese analysis, references, and POCs.
Vendor: leanprover
| CVE ID | Title | CVSS | Severity | Published |
|---|---|---|---|---|
| CVE-2026-32732 | XSS in @leanprover/unicode-input-component CWE-80 | 6.1AI | MediumAI | 2026-03-13 |
All 1 known CVE vulnerabilities affecting vscode-lean4 with full Chinese analysis, references, and POCs where available.