Files
PoC-in-GitHub/2026/CVE-2026-72711.json

35 lines
1.2 KiB
JSON

[
{
"id": 1344311298,
"name": "lean-cve-poc-14484",
"full_name": "endrazine\/lean-cve-poc-14484",
"owner": {
"login": "endrazine",
"id": 535115,
"avatar_url": "https:\/\/avatars.githubusercontent.com\/u\/535115?v=4",
"html_url": "https:\/\/github.com\/endrazine",
"user_view_type": "public"
},
"html_url": "https:\/\/github.com\/endrazine\/lean-cve-poc-14484",
"description": "CVE-2026-72711 — Lean 4 Kernel Soundness Bug: Inference Cache Poisoning",
"fork": false,
"created_at": "2026-08-23T23:26:42Z",
"updated_at": "2026-10-25T11:06:00Z",
"pushed_at": "2026-10-25T11:05:36Z",
"stargazers_count": 0,
"watchers_count": 0,
"has_discussions": false,
"forks_count": 0,
"allow_forking": true,
"is_template": false,
"web_commit_signoff_required": false,
"has_pull_requests": true,
"pull_request_creation_policy": "all",
"topics": [],
"visibility": "public",
"forks": 0,
"watchers": 0,
"score": 0,
"subscribers_count": 0
}
]