/**
 * KillShell Tool - Terminate background shell processes
 */
import type { Tool } from '../types.js';
import { type ShellManager } from './shell-manager.js';
/**
 * Input parameters for killShell tool
 */
export interface KillShellInput {
    /**
     * The ID of the background shell to kill
     */
    shell_id: string;
}
/**
 * Result of killShell tool
 */
export interface KillShellResult {
    /**
     * Whether the shell was successfully killed
     */
    success: boolean;
    /**
     * Shell ID
     */
    id: string;
    /**
     * Message describing the result
     */
    message: string;
}
/**
 * KillShell tool definition
 */
export declare const killShellTool: Tool<KillShellInput>;
/**
 * Factory function to create a killShell tool with custom shell manager
 */
export declare function createKillShellTool(options?: {
    /**
     * Custom shell manager to use
     */
    shellManager?: ShellManager;
}): Tool<KillShellInput>;