history_manager


Description:

public Manager? history_manager { get; set; }

Reference to History Manager to access Manager.tools registry.

This is used to discover available tools and get tool metadata. Can be null if tools registry is not available.