Hi,
The protocol specifies that there's a notification sent to clients when the list of tools or resources changes on the server-side, but I'm not sure how to trigger this. Does it happen automatically when add_resource gets called, or do I need to trigger something manually?
thanks