Module tools 

Agent Tooling

Tools available to agents for interacting with the workspace. Implements: read_file, search_code, apply_patch, run_command

Structs

AgentTools

Agent tools for workspace interaction

ToolCall

Tool call request from LLM

ToolDefinition

Tool definition for LLM function calling

ToolParameter

Tool parameter definition

ToolResult

Tool result from agent execution

Functions

cleanup_sandbox

Clean up a specific sandbox workspace.

cleanup_session_sandboxes

Clean up all sandbox workspaces for a session.

copy_from_sandbox

Copy a file from a sandbox back to the live workspace, preserving relative paths.

copy_to_sandbox

Copy a file from the workspace into a sandbox, preserving relative paths.

create_sandbox

Create a sandbox workspace for provisional verification.

get_tool_definitions

Get tool definitions for LLM function calling

list_sandbox_files

List all files in a sandbox directory as workspace-relative paths.