October 22, 2026 0Comment Anthropic uses Claude to prove security properties in 123 open-source libraries
