daml:无法从提供的README内容中提取摘要,因为它只引用了另一个文件。;LeanKG:LeanKG是一个本地优先的知识图谱,为AI编码工具提供精确的代码库上下文。它索引代码、构建依赖图,并通过MCP服务器直接查询,无需云服务或外部数据库。
专注于 时下流行
变更前的AI辅助代码影响分析