Browse all 1 CVE security advisories affecting leanprover. AI-powered Chinese analysis, POCs, and references for each vulnerability.
| CVE ID | Title | CVSS | Severity | Published |
|---|---|---|---|---|
| CVE-2026-32732 | XSS in @leanprover/unicode-input-component — vscode-lean4CWE-80 | 6.1AI | MediumAI | 2026-03-13 |
This page lists every published CVE security advisory associated with leanprover. Each entry links to a detailed page with CVSS scoring, CWE classification, affected products and references. AI-generated Chinese analysis is provided for fast triage.