Struct CtxAgentTool 

pub struct CtxAgentTool;

Trait Implementations

impl McpTool for CtxAgentTool

fn publishes_every_source(&self, args: Option<&Map<String, Value>>) -> bool

Declared for read and wait (which answers like read). Its reply is fixed text and, per message, the category and sender the message was posted with, its age, and the message as ScratchpadEntry::served_message serves it — which publishes the files of a source-bound message and marks the capture incomplete for a message typed by an agent or stored without a binding. The reply reads no project source of its own.

Not declared: export (agent table, message metadata, optionally a file write), receive_knowledge and recall_diary/diaries (stores without a binding), and every action that returns no stored message.

fn name(&self) -> &'static str

Tool name as registered in the MCP protocol (e.g. “ctx_tree”).

fn tool_def(&self) -> Tool

MCP tool definition including JSON schema. This replaces the corresponding entry in granular_tool_defs().

fn handle( &self, args: &Map<String, Value>, ctx: &ToolContext, ) -> Result<ToolOutput, ErrorData>

Execute the tool. Args are the raw JSON-RPC arguments. ctx provides access to resolved paths and project state.

fn produces_machine_readable(&self, _args: Option<&Map<String, Value>>) -> bool

Whether this invocation yields a machine-readable payload (e.g. JSON) that must reach the client byte-exact and parseable. When true, the dispatch pipeline suppresses every human-oriented decoration (auto-context briefing, verify footer, hints, checkpoints, deprecation notices) and terse compression for this call, returning the pure body. Keyed on args because most tools emit machine-readable output only for an opt-in format flag (e.g. format=json); defaults to false (#990).

fn attests_source_free(&self, _args: Option<&Map<String, Value>>) -> bool

Attestation that this invocation derives its output from the caller’s arguments and lean-ctx’s own state only — it reads no project source, provider or stored copy of one. Replay admission relies on it: an output with no captured source set is replayed under protection only when its tool attests this. The default is false: “no source was observed” is not proof, an uninstrumented reader publishes none either. Override only for a tool whose handler was read for exactly this.