daml
★ 899
vs
LeanKG
★ 193
daml vs LeanKG
daml：无法从提供的README内容中提取摘要，因为它只引用了另一个文件。；LeanKG：LeanKG是一个本地优先的知识图谱，为AI编码工具提供精确的代码库上下文。它索引代码、构建依赖图，并通过MCP服务器直接查询，无需云服务或外部数据库。
01
简评
选 daml 如果…专注于 时下流行
选 LeanKG 如果…变更前的AI辅助代码影响分析
02
并排对比
03
功能特性
daml—
LeanKG01自动初始化和设置多个AI工具
02令牌高效查询（13-42令牌 vs 10000+）
03影响半径（影响分析）和依赖图
04MCP服务器集成与会话钩子
05多语言支持（Go, TypeScript, Python, Rust, Java, Kotlin, Android）
04
使用场景
daml—
LeanKG↳变更前的AI辅助代码影响分析
↳开发期间为AI编码工具提供上下文
↳可视化代码依赖和模块关系
05
适合场景
daml时下流行必备神器
LeanKG时下流行数据处理开发者工具
FAQ
常见问题
daml 和 LeanKG 有什么区别？
daml 和 LeanKG 都属于 Dev Tooling 类别。daml 有 899 Stars，LeanKG 有 193 Stars。
daml 和 LeanKG 哪个更好？
最佳选择取决于你的具体需求。专注于 时下流行 时选 daml，变更前的AI辅助代码影响分析 时选 LeanKG。
daml 是免费的吗？
是的，daml 在 GitHub 开源。
LeanKG 是免费的吗？
是的，LeanKG 在 GitHub 开源（MIT）。
→