Claude-led proofs test security properties across 123 open-source libraries
Anthropic and Theorem say Claude helped verify selected compiled-code behaviours and uncover bugs, while the results remain bounded by their specifications and system assumptions.


















