LeanKG：面向AI编码Agent的代码知识组织与图查询工具

LeanKG 是4月14日创建的 GitHub 仓库，定位于独立解决 AI 编码 Agent 的代码知识组织与图查询问题。项目将代码库中的结构与依赖组织为可供查询的知识图，帮助 Agent 在大型代码库中定位和推理，而不只依赖文本检索。仓库尚处早期，查询方式与集成接口有待文档说明。