lean_ctx/tools/registered/
ctx_verify.rs

1use rmcp::model::Tool;
2use rmcp::ErrorData;
3use serde_json::{json, Map, Value};
4
5use crate::server::tool_trait::{get_str, McpTool, ToolContext, ToolOutput};
6use crate::tool_defs::tool_def;
7
8pub struct CtxVerifyTool;
9
10impl McpTool for CtxVerifyTool {
11    fn name(&self) -> &'static str {
12        "ctx_verify"
13    }
14
15    fn tool_def(&self) -> Tool {
16        tool_def(
17            "ctx_verify",
18            "Verification observability — tool call statistics.",
19            json!({
20                "type": "object",
21                "properties": {
22                    "action": { "type": "string", "description": "stats" },
23                    "format": { "type": "string" }
24                }
25            }),
26        )
27    }
28
29    fn handle(
30        &self,
31        args: &Map<String, Value>,
32        _ctx: &ToolContext,
33    ) -> Result<ToolOutput, ErrorData> {
34        let action = get_str(args, "action").unwrap_or_else(|| "stats".to_string());
35        if action != "stats" {
36            return Err(ErrorData::invalid_params(
37                "unsupported action (expected: stats)",
38                None,
39            ));
40        }
41        let format = get_str(args, "format");
42        let out = crate::tools::ctx_verify::handle_stats(format.as_deref())
43            .map_err(|e| ErrorData::invalid_params(e, None))?;
44        Ok(ToolOutput {
45            text: out,
46            original_tokens: 0,
47            saved_tokens: 0,
48            mode: Some(action),
49            path: None,
50        })
51    }
52}
lean_ctx/tools/registered/ctx_verify.rs

lean_ctx/tools/registered/
ctx_verify.rs
