semble
★ 4.5k
vs
chiasmus
★ 187
semble vs chiasmus
semble：Semble 是一个专为 AI 智能体设计的高性能代码搜索库，能够即时提供精确的代码片段。与基于 Transformer 的模型相比，它在索引和查询速度上显著更快，同时能达到 99% 的检索质量，并且完全在 CPU 上运行，无需外部依赖。；chiasmus：Chiasmus 是一个 MCP 服务器，集成了形式化验证（Z3、Prolog）和代码分析（tree-sitter），用于解决复杂的逻辑和结构问题。它通过模板将自然语言转化为形式逻辑，并提供经过验证的结果。它还能分析源代码调用图，进行死代码、影响和可达性分析。
01
简评
选 semble 如果…通过快速准确的代码搜索能力增强 AI 智能体（如 Claude Code, Cursor, Codex）
选 chiasmus 如果…检测访问控制规则中的冲突
02
并排对比
03
功能特性
semble01在 CPU 上实现快速性能（索引约 250 毫秒，查询约 1.5 毫秒）
02高准确性（NDCG@10 达 0.854），媲美 Transformer 模型
03支持索引本地路径和远程 Git 仓库
04可作为 MCP 服务器供各种 AI 智能体使用
05零配置，无需 API 密钥、GPU 或外部服务
chiasmus01通过 Z3 SMT 求解器和 Tau Prolog 进行形式化验证
02基于 tree-sitter 的源代码分析
03基于模板的问题形式化
04端到端求解管道
05自定义语言适配器
04
使用场景
semble↳通过快速准确的代码搜索能力增强 AI 智能体（如 Claude Code, Cursor, Codex）
↳根据自然语言或代码查询，在本地或远程代码库中搜索特定的代码片段
↳根据给定的文件路径和行号，查找语义相似的代码段
chiasmus↳检测访问控制规则中的冲突
↳查找死代码并执行影响分析
↳验证软件不变量和状态机
05
适合场景
semble代码助手RAG / 知识库
chiasmus时下流行API 集成
FAQ
常见问题
semble 和 chiasmus 有什么区别？
semble 和 chiasmus 都属于 RAG / Knowledge Base 类别。semble 有 4.5k Stars，chiasmus 有 187 Stars。
semble 和 chiasmus 哪个更好？
最佳选择取决于你的具体需求。通过快速准确的代码搜索能力增强 AI 智能体（如 Claude Code, Cursor, Codex） 时选 semble，检测访问控制规则中的冲突 时选 chiasmus。
semble 是免费的吗？
是的，semble 在 GitHub 开源（MIT）。
chiasmus 是免费的吗？
是的，chiasmus 在 GitHub 开源（Apache-2.0）。
→