Whether the reader allows the WebMCP tools: their latest choice on this page, else what their saved settings say, else the default.
Where settings are persisted
The general.agentTools setting
general.agentTools
Whether the reader allows the WebMCP tools: their latest choice on this page, else what their saved settings say, else the default.