getStats method

ToolStats? getStats(
  1. String name
)

Get stats for a specific tool.

Implementation

ToolStats? getStats(String name) {
  final reg = _tools[name];
  if (reg == null) return null;
  return ToolStats(
    name: reg.name,
    category: reg.category,
    executionCount: reg.executionCount,
    avgDurationMs: reg.avgDurationMs,
    lastExecutedAt: reg.lastExecutedAt,
    enabled: reg.enabled,
    restricted: reg.restricted,
  );
}