Skip to main content

bamboo_agent_core/tools/
mod.rs

1//! Tool execution system for Bamboo agents.
2//!
3//! This module provides a comprehensive framework for defining, registering, and executing
4//! tools that can be used by AI agents to interact with external systems.
5//!
6//! # Architecture
7//!
8//! The tools system is built around several key components:
9//!
10//! - **accumulator**: Accumulates partial tool calls from streaming responses
11//! - **agentic**: Agentic tool execution with multi-step capabilities
12//! - **executor**: Core tool execution logic
13//! - **registry**: Tool registration and lookup
14//! - **result_handler**: Processes tool results and handles agentic support
15//! - **smart_code_review**: Specialized tool for intelligent code review
16//! - **types**: Core type definitions for tools
17//!
18//! # Key Concepts
19//!
20//! ## Tool Registry
21//!
22//! Tools are registered in a central [`ToolRegistry`] that maps tool names to their
23//! implementations. The registry supports:
24//!
25//! - Dynamic tool registration
26//! - Tool name normalization
27//! - Global singleton access via [`global_registry`]
28//!
29//! ## Tool Execution
30//!
31//! Tools implement the [`ToolExecutor`] trait and can be executed via [`execute_tool_call`].
32//! The execution flow:
33//!
34//! 1. Parse tool arguments from JSON
35//! 2. Execute the tool logic
36//! 3. Return a [`ToolResult`] with success/failure status
37//!
38//! ## Agentic Tools
39//!
40//! Some tools support "agentic" behavior, allowing multi-step execution:
41//!
42//! - [`AgenticTool`]: Marker trait for agentic tools
43//! - [`AgenticContext`]: Context for agentic execution
44//! - [`AgenticToolResult`]: Extended result type with sub-actions
45//!
46//! # Example
47//!
48//! ```rust,ignore
49//! use async_trait::async_trait;
50//! use bamboo_agent::agent::core::tools::{
51//!     execute_tool_call, FunctionCall, ToolCall, ToolError, ToolExecutor, ToolResult, ToolSchema,
52//! };
53//!
54//! struct NoopExecutor;
55//!
56//! #[async_trait]
57//! impl ToolExecutor for NoopExecutor {
58//!     async fn execute(&self, call: &ToolCall) -> Result<ToolResult, ToolError> {
59//!         Err(ToolError::NotFound(call.function.name.clone()))
60//!     }
61//!
62//!     fn list_tools(&self) -> Vec<ToolSchema> {
63//!         Vec::new()
64//!     }
65//! }
66//!
67//! #[tokio::main]
68//! async fn main() {
69//!     // Execute a tool call (this example uses a no-op executor).
70//!     let call = ToolCall {
71//!         id: "call-1".to_string(),
72//!         tool_type: "function".to_string(),
73//!         function: FunctionCall {
74//!             name: "read_file".to_string(),
75//!             arguments: r#"{\"path\":\"/tmp/test.txt\"}"#.to_string(),
76//!         },
77//!     };
78//!
79//!     let _ = execute_tool_call(&call, &NoopExecutor, None).await;
80//! }
81//! ```
82//!
83//! # Re-exports
84//!
85//! Key types and functions re-exported for convenience:
86//!
87//! - Accumulator: [`ToolCallAccumulator`], [`PartialToolCall`], [`finalize_tool_calls`]
88//! - Agentic: [`AgenticTool`], [`AgenticContext`], [`AgenticToolResult`], [`ToolGoal`]
89//! - Executor: [`ToolExecutor`], [`execute_tool_call`], [`ToolError`]
90//! - Registry: [`ToolRegistry`], [`Tool`], [`global_registry`]
91//! - Types: [`ToolCall`], [`ToolResult`], [`ToolSchema`]
92
93pub mod accumulator;
94pub mod agentic;
95pub mod bash_completion;
96pub mod context;
97pub mod executor;
98pub mod input_guard;
99mod output_cap_observation;
100pub mod registry;
101pub mod result_handler;
102pub mod smart_code_review;
103pub mod tool_runtime;
104pub mod types;
105
106pub use accumulator::{
107    finalize_tool_calls, update_partial_tool_call, update_partial_tool_call_indexed,
108    PartialToolCall, ToolCallAccumulator,
109};
110pub use agentic::{
111    convert_from_standard_result, convert_to_standard_result, AgenticContext, AgenticTool,
112    AgenticToolExecutor, AgenticToolResult, Interaction, InteractionRole, ToolGoal,
113};
114pub use bash_completion::{BashCompletionInfo, BashCompletionSink};
115pub use context::{
116    ExecutingSupervisorObservation, ToolExecutionContext, ToolExecutionSessionFlags,
117};
118pub use executor::{execute_tool_call, execute_tool_call_with_context, ToolError, ToolExecutor};
119pub use output_cap_observation::{observed_tool_output_cap, scope_tool_output_cap};
120pub use registry::{
121    global_registry, normalize_tool_name, RegistryError, SharedTool, Tool, ToolRegistry,
122};
123pub use result_handler::{
124    execute_sub_actions, handle_tool_result_with_agentic_support,
125    handle_tool_result_with_agentic_support_and_persistence, parse_tool_args,
126    parse_tool_args_best_effort, send_clarification_request, tool_start_arguments_for_display,
127    try_parse_agentic_result, ToolHandlingOutcome, MAX_SUB_ACTIONS,
128};
129pub use smart_code_review::SmartCodeReviewTool;
130pub use tool_runtime::{
131    AsyncToolCompletionInfo, AsyncToolCompletionSink, AsyncWaitKind, RunningCompletion,
132    RunningHandle, ToolClass, ToolCtx, ToolOutcome, ToolResultFuture,
133};
134pub use types::{FunctionCall, FunctionSchema, ToolCall, ToolResult, ToolResultImage, ToolSchema};
135
136/// Classification of a tool call for approval purposes.
137#[derive(Debug, Clone, Copy, PartialEq, Eq)]
138pub enum ToolMutability {
139    ReadOnly,
140    Mutating,
141}
142
143/// Read-only tools that don't require user approval.
144const READ_ONLY_TOOLS: &[&str] = &[
145    "Read",
146    "GetFileInfo",
147    "Glob",
148    "Grep",
149    "WebFetch",
150    "WebSearch",
151    "ViewImage",
152    "Workspace",
153    "BashOutput",
154    "session_note",
155    "memory_note",
156    "session_history",
157    "session_history_current",
158    "recall",
159    "session_inspector",
160    "archive_context",
161    "compact_context",
162    "Sleep",
163    // The goal self-report tool records a status only; the durable goal-state
164    // mutation happens in the engine, and it touches no user-facing state, so it
165    // never needs approval.
166    "update_goal",
167    // `notify` (an overlay tool, like `compact_context`/`session_inspector`
168    // above) fires an outbound OS popup / push side effect but mutates
169    // nothing in the session or workspace and produces no result the model
170    // reads back — safe both to run in the concurrent read-only batch
171    // (`ToolExecutor::tool_concurrency_safe`, which name-matches here since
172    // overlay tools aren't in a `BuiltinToolExecutor` registry for their own
173    // `Tool::classify()` to be consulted) and to allow through the Plan Mode
174    // gate (surfacing a heads-up is exactly the "needs attention" case Plan
175    // Mode shouldn't block).
176    "notify",
177];
178
179/// Classify a tool call as read-only or mutating.
180pub fn classify_tool(tool_name: &str) -> ToolMutability {
181    if READ_ONLY_TOOLS
182        .iter()
183        .any(|&t| t.eq_ignore_ascii_case(tool_name))
184    {
185        ToolMutability::ReadOnly
186    } else {
187        ToolMutability::Mutating
188    }
189}
190
191/// Shared Plan-mode authorization gate used by agent loops and direct tool
192/// dispatch. Unknown tools fail closed as mutating; only read-only tools and
193/// the bounded pause/clarification set are admitted.
194pub fn plan_mode_allows_tool(tool_name: &str) -> bool {
195    classify_tool(tool_name) == ToolMutability::ReadOnly
196        || [
197            "EnterPlanMode",
198            "ExitPlanMode",
199            "request_permissions",
200            "archive_context",
201            "compact_context",
202        ]
203        .iter()
204        .any(|allowed| allowed.eq_ignore_ascii_case(tool_name))
205}
206
207#[cfg(test)]
208mod tests {
209    use super::*;
210
211    #[test]
212    fn classify_compact_context_as_read_only() {
213        assert_eq!(classify_tool("compact_context"), ToolMutability::ReadOnly);
214    }
215
216    #[test]
217    fn classify_archive_context_as_read_only() {
218        assert_eq!(classify_tool("archive_context"), ToolMutability::ReadOnly);
219        assert!(plan_mode_allows_tool("ARCHIVE_CONTEXT"));
220    }
221
222    #[test]
223    fn classify_compact_context_case_insensitive() {
224        assert_eq!(classify_tool("Compact_Context"), ToolMutability::ReadOnly);
225        assert_eq!(classify_tool("COMPACT_CONTEXT"), ToolMutability::ReadOnly);
226    }
227
228    #[test]
229    fn classify_write_as_mutating() {
230        assert_eq!(classify_tool("Write"), ToolMutability::Mutating);
231    }
232
233    #[test]
234    fn classify_unknown_as_mutating() {
235        assert_eq!(
236            classify_tool("totally_unknown_tool"),
237            ToolMutability::Mutating
238        );
239    }
240
241    #[test]
242    fn classify_all_read_only_tools() {
243        for name in READ_ONLY_TOOLS {
244            assert_eq!(
245                classify_tool(name),
246                ToolMutability::ReadOnly,
247                "{name} should be classified as read-only"
248            );
249        }
250    }
251}