{"id":"tp-39113","type":"article-newspaper","title":"Claude Produces Proofs for 239 Entry Points Across 123 Open-Source Libraries","author":"Simon Yoon","publisher":"TOKENPOST Inc.","url":"https://www.tokenpost.com/news/technology/39113","datePublished":"2026-10-23T16:03:47.000Z","dateModified":"2026-10-23T16:03:47.000Z","language":"en","abstract":"The work covers defined, single-threaded RISC-V binaries; a public repository contains proofs for a smaller set of 60 entry points across 25 libraries.","section":"Technology","references":[]}