RiskWire Real-time vulnerability intelligence

This week Pricing Live dashboard

High 7.1

CVE-2026-72711

Proof-of-Concept Exploit Released for Lean 4 Kernel Soundness Vulnerability CVE-2026-72711

Vendor / product: Lean 4

Event date: 2026-08-24

Public PoC: Yes

First tracked by RiskWire: 2026-10-26

Sources & citations (2)

oss-security - CVE-2026-72711: Lean 4 kernel soundness bug — inference cache poisoning via opaque declarations (0 = 1 demonstrated) openwall.com · 2026-10-26
CVE-2026-72711: Lean 4 kernel soundness bug — inference cache poisoning via opaque declarations (0 = 1 demonstrated) seclists.org · 2026-10-25

References

View on NVD ↗ View on MITRE CVE ↗ Search CISA ↗ KEV lookup tool

See CVE-2026-72711 in context

RiskWire tracks every exploited CVE this week, cross-referenced against CISA KEV with federal remediation deadlines. Filtered to your vendor stack.

Book a 20-min demo →