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-ctxLeanCTX 是一个为 AI 编码系统提供上下文智能Context Intelligence的开源项目核心能力是通过 MCPModel 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。工具数量取决于你选择的 ProfileProfile工具数适合谁minimal5上下文开销最低只保留绝对必需standard16大多数编码工作流的平衡默认power72全部能力现有安装默认一条命令即可切换lean-ctx tools minimal\|standard\|power。二、核心读写组ctx_read 与它的伙伴们这是日常使用频率最高的一组minimal档的 5 个工具全部在这里工具用途ctx_read带会话缓存 压缩地读取文件支持 full / raw / signatures / diff 等十余种模式ctx_search全仓库正则搜索token 友好支持 glob 过滤ctx_shell执行 shell 命令并做模式压缩避免冗长输出撑爆上下文ctx_glob按模式查找文件感知 gitignorectx_tree输出带文件数的紧凑目录树进阶玩法ctx_multi_read/ctx_smart_read一次读多个文件或自动为文件挑选最优读取模式ctx_delta只返回自上次读取以来变化了的行改代码后复查文件极省 tokenctx_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_session跨会话记忆任务、发现、决策、快照的存取ctx_checkpoint影子 git 历史对 Agent 的改动做快照/对比/还原不碰你的 .gitctx_agent多智能体协调 消息总线post/read/handoffctx_task多智能体任务编排A2A创建、更新、取消任务ctx_handoff上下文账本协议导出确定性的交接包ctx_workflow带证据跟踪的工作流状态机ctx_share在 Agent 之间共享已缓存的文件上下文五、代码智能与图分析组不读源码也能懂架构这组工具基于代码图依赖、符号、调用关系做结构化理解ctx_graph统一代码图——依赖、符号、影响面、架构图一箭双雕ctx_callgraph查调用者/被调用者还能 trace 两个符号之间的调用路径ctx_impact改动前的爆炸半径分析评估修改会波及哪些模块ctx_architecture模块聚类、分层、循环依赖、热点与架构健康度ctx_repomap用 PageRank 排出最重要的符号地图ctx_review/ctx_smells自动化代码评审与代码坏味道检测ctx_pack上下文包管理器把 PR 相关上下文打包安装、随需随载。六、分析与增益组省了多少一目了然LeanCTX 最擅长算账——它到底帮你省了多少 tokenctx_metrics会话级 token 统计、缓存命中率、每个工具的节省量ctx_radar完整上下文预算分解提示词、消息、工具、读取、shellctx_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预测性地抓取爆炸半径内的文件上下文场理论CFTctx_controlpin / 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_verifyctx_proof验证观测与 ContextProof 导出呼应上文第六组。八、新手快速上手建议先装 minimal5 个核心工具覆盖 90% 日常场景上下文开销最小熟悉三个高频工具ctx_read读文件、ctx_search找代码、ctx_shell跑命令基本可替代客户端原生工具需要长期项目时升 standard加上ctx_knowledge、ctx_semantic_search、ctx_delta等 16 个工具进阶用户开 power解锁代码图、多智能体、CFT 元工具等全部 72 能力定期看账用ctx_gain/ctx_radar检查压缩是否真的省了 token。更多细节可查阅官方文档docs/reference/appendix-mcp-tools.md完整工具地图、docs/reference/generated/mcp-tools.md生成的参数参考、docs/guides/claude-code.mdClaude Code 接入指南以及 docs/guides/codex-cli.mdCodex CLI 接入指南。【免费下载链接】lean-ctxLeanCTX — Context Intelligence for AI systems.项目地址: https://gitcode.com/gh_mirrors/le/lean-ctx创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考