import type React from 'react'; export interface ToolPickerItem { name: string; owner: string; category: string; enabled: boolean; exposure: 'direct' | 'lazy' | 'disabled'; mutating: boolean; permission: string; descMode: 'extend' | 'simple'; description: string; } export interface ToolsPickerProps { items: ToolPickerItem[]; selected: number; busy?: boolean | undefined; hint?: string | undefined; filter?: string | undefined; } export declare function ToolsPicker({ items, selected, busy, hint, filter, }: ToolsPickerProps): React.ReactElement; //# sourceMappingURL=tools-picker.d.ts.map