Struct CtxKnowledgeTool 

pub struct CtxKnowledgeTool;

Trait Implementations

impl McpTool for CtxKnowledgeTool

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

Declared for recall, timeline and search. Their replies are fixed text, the request’s own arguments, and stored facts with their identity and counters; every fact passes ctx_knowledge::fact_served, which publishes the files of a fact bound to sources and marks the capture incomplete for a fact without a binding. A judgement line under a recalled fact marks it too. search adds session entries only as the originless rule serves them, which is never while protection is active.

Not declared: remember (echoes the value and previews similar facts), status, wakeup and export (rendered by the knowledge store, which consults no binding), relations*, restore, consolidate*, gotcha, pattern, the bridge and embeddings actions (other stores or no fact value), and the rest (no stored fact in the reply).

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 rights_name(&self) -> &'static str

The name of the handler this tool runs, for the session rights’ denied_tools (process-v1 §9): an alias names the tool it delegates to, so denying that tool denies every name it is reachable under.

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.