manage-tool-contextagents-and-tools/tool-use/manage-tool-context

Every read this site has made of the page, newest first. A date is when upstream edited the page, where upstream publishes that, and otherwise when the poller caught the edit; each row says which of the two it is.