/**
 * Public entrypoint for the `execute_bash_command` host tool.
 */
export { EXECUTE_BASH_COMMAND_COMMAND_DESCRIPTION, EXECUTE_BASH_COMMAND_HUMAN_DESCRIPTION, EXECUTE_BASH_COMMAND_KIND, EXECUTE_BASH_COMMAND_TOOL_DESCRIPTION, executeBashCommandContract, type ExecuteBashCommandDetails, type ExecuteBashCommandKind, type ExecuteBashCommandParams, type ExecuteBashCommandRequest } from './contract.js';
//# sourceMappingURL=index.d.ts.map