Boris Cherny used Opus 5.5 and Lean to verify the Claude Agent SDK · Lean Weekly

Boris Cherny used Opus 5.5 and Lean to verify the Claude Agent SDK