web_search
Search the web through configured Serper, Brave, or keyless DuckDuckGo. Results are snippets, not inspected page evidence. Open relevant pages with fetch_url before relying on their contents. Provider failures are distinct from an empty search.
Contract
Section titled “Contract”Effect: read. Evidence role: discovery_only.
Search public web.
Parameters
Section titled “Parameters”This is the current provider-facing JSON Schema, generated from the runtime definition.
{ "type": "object", "properties": { "query": { "type": "string" }, "count": { "type": "number" } }, "required": [ "query" ]}Execution requirements
Section titled “Execution requirements”The ordinary admission and tool execution checks apply.
Expected postconditions
Section titled “Expected postconditions”Inspect the returned status, summary and data; do not infer success from a tool call alone.