Claude Agent SDK bug fixes

Name: Claude Agent SDK bug fixes
Uploaded: 2026-09-22
Channel: Boris Cherny
Description: A chat thread describes using Lean to model the Claude Agent SDK and shows draft pull requests for fixes to reported software issues.

A chat thread describes using Lean to model the Claude Agent SDK and shows draft pull requests for fixes to reported software issues.