getToolUseSummary method
Short summary of tool use for compact/grouped display.
Implementation
@override
String getToolUseSummary(Map<String, dynamic> input) {
final path = input['notebook_path'] as String? ?? '';
final cmd = input['command'] as String? ?? '';
return 'NotebookEdit $cmd ${p.basename(path)}';
}