import type { ExtensionAPI } from '@earendil-works/pi-coding-agent';
/**
 * Tools registered with `exposure: 'deferred'` stay out of the system prompt and are found
 * through pi's built-in `tool_search`. When `tool_search` is not active they would be
 * unreachable, so declare them directly instead. Call from `session_start`.
 *
 * Only tools pi still has registered are declared: an explicit `--tools` allowlist or
 * `--exclude-tools` drops unnamed extension tools from the registry (`getAllTools()`), so
 * the fallback never re-enables a tool the user left out.
 */
export declare function declareUnlessSearchable(pi: Pick<ExtensionAPI, 'getActiveTools' | 'setActiveTools' | 'getAllTools'>, names: readonly string[]): void;