vscode-lean4 产品漏洞列表 / CVE 中文分析 1

vscode-lean4 产品相关 1 条漏洞，AI 中文标题与摘要、CVSS、POC 一站汇总。

CVE ID	标题	CVSS	风险等级	Published
CVE-2026-32732	Lean 4 VS Code Extension 安全漏洞 CWE-80	6.1^AI	Medium^AI	2026-03-13

vscode-lean4 产品累计公开 1 条 CVE 漏洞，本页提供按时间倒序的完整列表，包含 CVSS、CWE、AI 中文摘要与可获取的 POC 链接。