https://vulnerability.circl.lu Contains only the most 10 recent sightings. http://www.rssboard.org/rss-specification python-feedgen en Fri, 28 Aug 2026 17:50:08 +0000 https://vulnerability.circl.lu/sighting/08cc83b1-3b9b-4066-9e45-4cdd039f1bd7/export {"uuid": "08cc83b1-3b9b-4066-9e45-4cdd039f1bd7", "vulnerability_lookup_origin": "1a89b78e-f703-45f3-bb86-59eb712668bd", "author": "9f56dd64-161d-43a6-b9c3-555944290a09", "vulnerability": "CVE-2026-72844", "type": "published-proof-of-concept", "source": "https://t.me/GithubRedTeam/99139", "content": "\ud83d\udea8 GitHub \u76d1\u63a7\u6d88\u606f\u63d0\u9192\n\n\ud83d\udea8 \u53d1\u73b0\u5173\u952e\u8bcd\uff1a #CVE-2026 #POC\n\n\ud83d\udce6 \u9879\u76ee\u540d\u79f0\uff1a lean-cve-poc\n\ud83d\udc64 \u9879\u76ee\u4f5c\u8005\uff1a endrazine\n\ud83d\udee0 \u5f00\u53d1\u8bed\u8a00\uff1a Lean\n\u2b50 Star\u6570\u91cf\uff1a 22 | \ud83c\udf74 Fork\u6570\u91cf\uff1a 1\n\ud83d\udcc5 \u66f4\u65b0\u65f6\u95f4\uff1a 2026-08-22 01:52:37\n\n\ud83d\udcdd \u9879\u76ee\u63cf\u8ff0\uff1a\nCVE-2026-72844 : Example of proving \"0 = 1\" using a vulnerability in the Lean 4 kernel.\n\n\ud83d\udd17 \u70b9\u51fb\u8bbf\u95ee\u9879\u76ee\u5730\u5740", "creation_timestamp": "2026-08-23T00:00:31.897363Z"} {"uuid": "08cc83b1-3b9b-4066-9e45-4cdd039f1bd7", "vulnerability_lookup_origin": "1a89b78e-f703-45f3-bb86-59eb712668bd", "author": "9f56dd64-161d-43a6-b9c3-555944290a09", "vulnerability": "CVE-2026-72844", "type": "published-proof-of-concept", "source": "https://t.me/GithubRedTeam/99139", "content": "\ud83d\udea8 GitHub \u76d1\u63a7\u6d88\u606f\u63d0\u9192\n\n\ud83d\udea8 \u53d1\u73b0\u5173\u952e\u8bcd\uff1a #CVE-2026 #POC\n\n\ud83d\udce6 \u9879\u76ee\u540d\u79f0\uff1a lean-cve-poc\n\ud83d\udc64 \u9879\u76ee\u4f5c\u8005\uff1a endrazine\n\ud83d\udee0 \u5f00\u53d1\u8bed\u8a00\uff1a Lean\n\u2b50 Star\u6570\u91cf\uff1a 22 | \ud83c\udf74 Fork\u6570\u91cf\uff1a 1\n\ud83d\udcc5 \u66f4\u65b0\u65f6\u95f4\uff1a 2026-08-22 01:52:37\n\n\ud83d\udcdd \u9879\u76ee\u63cf\u8ff0\uff1a\nCVE-2026-72844 : Example of proving \"0 = 1\" using a vulnerability in the Lean 4 kernel.\n\n\ud83d\udd17 \u70b9\u51fb\u8bbf\u95ee\u9879\u76ee\u5730\u5740", "creation_timestamp": "2026-08-23T00:00:31.897363Z"} https://vulnerability.circl.lu/sighting/08cc83b1-3b9b-4066-9e45-4cdd039f1bd7/export Sun, 23 Aug 2026 00:00:31 +0000 https://vulnerability.circl.lu/sighting/93571fc7-e793-465e-bca7-91e0dcaf505e/export {"uuid": "93571fc7-e793-465e-bca7-91e0dcaf505e", "vulnerability_lookup_origin": "1a89b78e-f703-45f3-bb86-59eb712668bd", "author": "9f56dd64-161d-43a6-b9c3-555944290a09", "vulnerability": "CVE-2026-72844", "type": "published-proof-of-concept", "source": "https://t.me/GithubRedTeam/99139", "content": "\ud83d\udea8 GitHub \u76d1\u63a7\u6d88\u606f\u63d0\u9192\n\n\ud83d\udea8 \u53d1\u73b0\u5173\u952e\u8bcd\uff1a #CVE-2026 #POC\n\n\ud83d\udce6 \u9879\u76ee\u540d\u79f0\uff1a lean-cve-poc\n\ud83d\udc64 \u9879\u76ee\u4f5c\u8005\uff1a endrazine\n\ud83d\udee0 \u5f00\u53d1\u8bed\u8a00\uff1a Lean\n\u2b50 Star\u6570\u91cf\uff1a 22 | \ud83c\udf74 Fork\u6570\u91cf\uff1a 1\n\ud83d\udcc5 \u66f4\u65b0\u65f6\u95f4\uff1a 2026-08-22 01:52:37\n\n\ud83d\udcdd \u9879\u76ee\u63cf\u8ff0\uff1a\nCVE-2026-72844 : Example of proving \"0 = 1\" using a vulnerability in the Lean 4 kernel.\n\n\ud83d\udd17 \u70b9\u51fb\u8bbf\u95ee\u9879\u76ee\u5730\u5740", "creation_timestamp": "2026-08-22T19:00:04.227835Z"} {"uuid": "93571fc7-e793-465e-bca7-91e0dcaf505e", "vulnerability_lookup_origin": "1a89b78e-f703-45f3-bb86-59eb712668bd", "author": "9f56dd64-161d-43a6-b9c3-555944290a09", "vulnerability": "CVE-2026-72844", "type": "published-proof-of-concept", "source": "https://t.me/GithubRedTeam/99139", "content": "\ud83d\udea8 GitHub \u76d1\u63a7\u6d88\u606f\u63d0\u9192\n\n\ud83d\udea8 \u53d1\u73b0\u5173\u952e\u8bcd\uff1a #CVE-2026 #POC\n\n\ud83d\udce6 \u9879\u76ee\u540d\u79f0\uff1a lean-cve-poc\n\ud83d\udc64 \u9879\u76ee\u4f5c\u8005\uff1a endrazine\n\ud83d\udee0 \u5f00\u53d1\u8bed\u8a00\uff1a Lean\n\u2b50 Star\u6570\u91cf\uff1a 22 | \ud83c\udf74 Fork\u6570\u91cf\uff1a 1\n\ud83d\udcc5 \u66f4\u65b0\u65f6\u95f4\uff1a 2026-08-22 01:52:37\n\n\ud83d\udcdd \u9879\u76ee\u63cf\u8ff0\uff1a\nCVE-2026-72844 : Example of proving \"0 = 1\" using a vulnerability in the Lean 4 kernel.\n\n\ud83d\udd17 \u70b9\u51fb\u8bbf\u95ee\u9879\u76ee\u5730\u5740", "creation_timestamp": "2026-08-22T19:00:04.227835Z"} https://vulnerability.circl.lu/sighting/93571fc7-e793-465e-bca7-91e0dcaf505e/export Sat, 22 Aug 2026 19:00:04 +0000