fix: eliminate double API calls when using tools with streaming#753
Merged
MervinPraison merged 2 commits intomainfrom Jul 8, 2025
Merged
fix: eliminate double API calls when using tools with streaming#753MervinPraison merged 2 commits intomainfrom
MervinPraison merged 2 commits intomainfrom
![claude[bot]](https://avatars.githubusercontent.com/in/1236702?v=4&size=32){kind=avatar}
