Dead Code Link

arXiv:2605.21434 · detector external_links · incontrovertible · 2026-05-21 05:33:58.080602+00:00

critical external_links dead_code_link

URL 'https://github.com/agentic-prover/aprover/tree/main/findings/vibeos_full_' returned status 404 (Not Found) at last check.

Paper page Integrity report arXiv

Evidence payload

{
  "checked_at_unix": 1779341637.6146154,
  "final_url": "https://github.com/agentic-prover/aprover/tree/main/findings/vibeos_full_",
  "host_kind": "github",
  "status_code": 404,
  "status_text": "Not Found",
  "url": "https://github.com/agentic-prover/aprover/tree/main/findings/vibeos_full_",
  "verdict_class": "incontrovertible"
}