📦 GitHub 全球红队渗透资源中转站。
旨在收录那些“好用却难找”的安全项目。
🔗 定时推送:GitHub Trending (Security)
🛠 必备清单:后渗透、远控、免杀、提权工具集
📅 更新频率:每日精选,绝不灌水。
⚠️ 本频道仅供安全研究与授权测试使用。
旨在收录那些“好用却难找”的安全项目。
🔗 定时推送:GitHub Trending (Security)
🛠 必备清单:后渗透、远控、免杀、提权工具集
📅 更新频率:每日精选,绝不灌水。
⚠️ 本频道仅供安全研究与授权测试使用。
🚨 GitHub 监控消息提醒
🚨 发现关键词: #CVE-2026 #POC
📦 项目名称: lean-cve-poc
👤 项目作者: endrazine
🛠 开发语言: Lean
⭐ Star数量: 22 | 🍴 Fork数量: 1
📅 更新时间: 2026-08-22 01:52:37
📝 项目描述:
🔗 点击访问项目地址
🚨 发现关键词: #CVE-2026 #POC
📦 项目名称: lean-cve-poc
👤 项目作者: endrazine
🛠 开发语言: Lean
⭐ Star数量: 22 | 🍴 Fork数量: 1
📅 更新时间: 2026-08-22 01:52:37
📝 项目描述:
CVE-2026-72844 : Example of proving "0 = 1" using a vulnerability in the Lean 4 kernel.🔗 点击访问项目地址