perf(server): cut chatty tool-update frames by 90% (#8368)

7e4ce3bbb1Adamulek123 committed on 9/1/2026, 10:11:41 AM· committed by GitHubparent8f1ef8b
5 files changedLine totals unavailable