🚨 GitHub 监控消息提醒
🚨 发现关键词： #POC #CVE
📦 项目名称： lean-cve-poc-14484
👤 项目作者： endrazine
🛠 开发语言： Lean
⭐ Star数量： 0 | 🍴 Fork数量： 0
📅 更新时间： 2026-10-25 11:06:00
📝 项目描述：
🔗 点击访问项目地址
🚨 发现关键词： #POC #CVE
📦 项目名称： lean-cve-poc-14484
👤 项目作者： endrazine
🛠 开发语言： Lean
⭐ Star数量： 0 | 🍴 Fork数量： 0
📅 更新时间： 2026-10-25 11:06:00
📝 项目描述：
CVE-2026-72711 — Lean 4 Kernel Soundness Bug: Inference Cache Poisoning🔗 点击访问项目地址
GitHub
GitHub - endrazine/lean-cve-poc-14484
Contribute to endrazine/lean-cve-poc-14484 development by creating an account on GitHub.
