Browse all 3 CVE security advisories affecting leanprover. AI-powered Chinese analysis, POCs, and references for each vulnerability.
| CVE ID | Title | CVSS | Severity | Published |
|---|---|---|---|---|
| CVE-2026-72711 | Lean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free Variable — lean4 CWE-20 | 6.3 | Medium | 2026-08-24 |
| CVE-2026-72844 | Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections — lean4 CWE-843 | 6.3 | Medium | 2026-08-20 |
| CVE-2026-32732 | XSS in @leanprover/unicode-input-component — vscode-lean4 CWE-80 | 6.1AI | Medium AI | 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.