index_channel
Index Discord channels into local memory. Use when the index looks stale relative to the current date (see Index Freshness in context) or when retrieval returns old/partial results. mode=‘refresh’ fetches the newest messages now (fast). mode=‘deep’ queues a full history backfill in the background crawler (replaces the old /index command).
Contract
Section titled “Contract”Effect: read. Evidence role: discovery_only.
Index channels (refresh or deep backfill).
Parameters
Section titled “Parameters”This is the current provider-facing JSON Schema, generated from the runtime definition.
{ "type": "object", "properties": { "channel_ids": { "type": "array", "description": "Channel IDs to index. Defaults to the current channel.", "items": { "type": "string" } }, "mode": { "type": "string", "description": "'refresh' (default) = fetch newest messages to close offline gaps (fast). 'deep' = queue full history backfill via the background crawler (slow, walks to the very beginning)." }, "limit": { "type": "number", "description": "For refresh mode: max messages to fetch (100-2000, default 500)." } }, "required": []}Execution requirements
Section titled “Execution requirements”The ordinary admission and tool execution checks apply.
Expected postconditions
Section titled “Expected postconditions”- channel index updated or backfill queued