Claude Code head says AI used Lean to check Agent SDK, producing 16 PRs

Free preview
At 8:39 a.m. Japan time on September 23, Boris Cherny, Anthropic’s head of Claude Code, said on X that short prompts to Claude Opus 5.5 led it to check the Claude Agent SDK with L…
Members only
Continue reading with membership
Read full news reports, our analysis, future scenarios and all member features.
¥980 per month, tax included
Join paid membershipRenews monthly. Cancel from My account. Terms

