leanprover 厂商漏洞列表 / CVE 中文分析 3

leanprover 厂商相关 3 条 CVE 漏洞，含 AI 中文分析、POC、CVSS 评分与受影响产品。

找到 1 条结果 / 3 清除筛选

Top products by leanprover: lean4 vscode-lean4

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

本页汇总了 leanprover 厂商截至目前公开的全部 3 条 CVE 漏洞。每条漏洞均包含 CVSS 评分、CWE 弱点分类、受影响产品与参考链接，并附带 AI 生成的中文分析以便快速判断风险。