LeanCTX 83个MCP工具全解：从ctx_read到ctx_proof的完整清单

LeanCTX 83个MCP工具全解：从ctx_read到ctx_proof的完整清单

【免费下载链接】lean-ctxLeanCTX — Context Intelligence for AI systems.项目地址: https://gitcode.com/gh_mirrors/le/lean-ctx

LeanCTX 是一个为 AI 编码系统提供上下文智能（Context Intelligence）的开源项目，核心能力是通过 MCP（Model Context Protocol）向 AI 编辑器暴露一整套ctx_*工具，用会话缓存、增量读取和智能压缩大幅降低 token 消耗。本文带你完整过一遍 LeanCTX 的 MCP 工具清单：从最常用的ctx_read到用于机器校验的ctx_proof，帮你快速搞懂每个工具"是干什么的、什么时候用"。

一、MCP 工具有什么用？为什么是 83 个？

当你把 LeanCTX 接入 Claude Code、Codex、Cursor 等 AI 客户端后，客户端原本自带的"读文件 / 搜索 / 跑命令"等原生工具会被替换为 LeanCTX 注册的 MCP 工具。这些工具在读取代码时自动做缓存与压缩——比如未变化的文件重读只花约 13 个 token，而不是几千个。

所有工具统一注册在 rust/src/server/registry.rs 中，每个工具的参数定义（tool_def()）位于 rust/src/tools/registered/ 目录下对应的源文件。最权威的人类可读索引是这份官方工具地图：docs/reference/appendix-mcp-tools.md，自动生成的详细参数版在 docs/reference/generated/mcp-tools.md。

工具数量取决于你选择的 Profile：

一条命令即可切换：lean-ctx tools <minimal\|standard\|power>。

二、核心读写组：ctx_read 与它的伙伴们

这是日常使用频率最高的一组，minimal档的 5 个工具全部在这里：

进阶玩法：

• ctx_multi_read/ctx_smart_read：一次读多个文件，或自动为文件挑选最优读取模式；
• ctx_delta：只返回自上次读取以来"变化了的行"，改代码后复查文件极省 token；
• ctx_patch/ctx_edit：前者基于行号:哈希锚点做批量原子编辑，后者是带前置校验与备份的搜索替换编辑；
• ctx_fill：在指定 token 预算内"装满"相关上下文；
• ctx_execute：沙箱执行 11 种语言代码，只有 stdout 进入上下文。

外部信息获取也不在话下：ctx_url_read可把网页、PDF、RSS、YouTube 转成带引用的压缩上下文（含 SSRF 防护）；ctx_git_read通过浅克隆读取远程 git 仓库；ctx_semantic_search提供 BM25 + 向量混合的语义搜索。

三、记忆与知识组：跨会话"记住"项目

这一组让 AI 助手拥有"长期记忆"：

• ctx_knowledge：持久化项目知识库，支持 remember / recall / search / consolidate / timeline 等操作，跨会话保留；
• ctx_compress：长对话中的上下文检查点，压缩当前会话；
• ctx_compress_memory：专门压缩 CLAUDE.md、.cursorrules 等记忆/配置文件，并自动备份原文件；
• ctx_index/ctx_artifacts：构建与管理代码索引、工件注册表（支持 BM25 检索）。

四、会话与多智能体组：团队协作的"总线"

多个 Agent 协同工作时，这组工具负责"交接"与"编排"：

五、代码智能与图分析组：不读源码也能懂架构

这组工具基于代码图（依赖、符号、调用关系）做"结构化理解"：

• ctx_graph：统一代码图——依赖、符号、影响面、架构图一箭双雕；
• ctx_callgraph：查调用者/被调用者，还能 trace 两个符号之间的调用路径；
• ctx_impact：改动前的"爆炸半径"分析，评估修改会波及哪些模块；
• ctx_architecture：模块聚类、分层、循环依赖、热点与架构健康度；
• ctx_repomap：用 PageRank 排出"最重要的符号地图"；
• ctx_review/ctx_smells：自动化代码评审与代码坏味道检测；
• ctx_pack：上下文包管理器，把 PR 相关上下文打包安装、随需随载。

六、分析与增益组：省了多少，一目了然

LeanCTX 最擅长算"账"——它到底帮你省了多少 token：

• ctx_metrics：会话级 token 统计、缓存命中率、每个工具的节省量；
• ctx_radar：完整上下文预算分解（提示词、消息、工具、读取、shell）；
• ctx_cost：按 Agent / 工具做本地成本归因；
• ctx_gain：增益报告，含 "Wrapped" 汇总，直观展示投入产出；
• ctx_heatmap：文件访问热力图，看哪些文件被频繁读取；
• ctx_benchmark/ctx_analyze/ctx_compare：对文件做压缩模式基准、熵分析与压缩效果预览；
• ctx_proof：导出机器可读的 ContextProofV1 证明——把"LeanCTX 确实压缩了上下文、数据可验证"这件事变成可审计的 JSON，供外部系统自动校验。它的实现见 rust/src/tools/ctx_proof.rs。

七、高级与元工具组：把上下文当"操作系统"

最后是一组偏"系统级"的工具，体现 LeanCTX 把上下文视为可调度资源的理念：

• 主动上下文：ctx_overview（会话开始时给出任务相关的项目地图）、ctx_preload（按任务预加载相关文件）、ctx_prefetch（预测性地抓取爆炸半径内的文件）；
• 上下文场理论（CFT）：ctx_control（pin / exclude / 优先级等叠加操作）、ctx_plan（带 Phi 评分的上下文规划与预算分配）、ctx_compile（背包 + Boltzmann 视角选择做"上下文编译"）;
• 无限扩展：ctx_tools是 MCP 工具目录网关，以恒定上下文成本代理任意多个下游 MCP 服务器；ctx_provider连接 GitHub、Jira、Postgres 等外部上下文源；
• 元发现：ctx_call（按名字懒加载调用任意工具）、ctx_discover_tools（关键词搜索工具）、ctx_load_tools（运行时加载/卸载动态工具类别）——三者配合，让客户端不必一次性列出全部 80 多个工具；
• 治理与审计：ctx_rules（跨 Agent 规则治理）、ctx_rules配套的 lint/diff、ctx_plugins（插件管理）、ctx_skillify（把重复出现的会话模式固化为可提交的规则文件）、ctx_verify+ctx_proof（验证观测与 ContextProof 导出，呼应上文第六组）。

八、新手快速上手建议

1. 先装 minimal：5 个核心工具覆盖 90% 日常场景，上下文开销最小；
2. 熟悉三个高频工具：ctx_read（读文件）、ctx_search（找代码）、ctx_shell（跑命令），基本可替代客户端原生工具；
3. 需要长期项目时升 standard：加上ctx_knowledge、ctx_semantic_search、ctx_delta等 16 个工具；
4. 进阶用户开 power：解锁代码图、多智能体、CFT 元工具等全部 72+ 能力；
5. 定期看账：用ctx_gain/ctx_radar检查压缩是否真的省了 token。

更多细节可查阅官方文档：docs/reference/appendix-mcp-tools.md（完整工具地图）、docs/reference/generated/mcp-tools.md（生成的参数参考）、docs/guides/claude-code.md（Claude Code 接入指南）以及 docs/guides/codex-cli.md（Codex CLI 接入指南）。

【免费下载链接】lean-ctxLeanCTX — Context Intelligence for AI systems.项目地址: https://gitcode.com/gh_mirrors/le/lean-ctx