chiasmus
★ 218
vs
Matryoshka
★ 149
chiasmus vs Matryoshka
chiasmus：Chiasmus 是一个 MCP 服务器，集成了形式化验证（Z3、Prolog）和代码分析（tree-sitter），用于解决复杂的逻辑和结构问题。它通过模板将自然语言转化为形式逻辑，并提供经过验证的结果。它还能分析源代码调用图，进行死代码、影响和可达性分析。；Matryoshka：Matryoshka（RLM）通过递归语言模型方法解决了 LLM 固定上下文窗口的限制。不同于分块或 RAG，LLM 输出称为 Nucleus 的受约束符号语言命令，由 Lattice 逻辑引擎执行。这减少了熵，实现了安全执行，并通过基于句柄的存储节省了 97% 的令牌。
01
简评
chiasmusDev Tooling · ★ 218
检测访问控制规则中的冲突
MatryoshkaDev Tooling · ★ 149
文档分析：对大型日志文件进行搜索、过滤、计数和求和
02
并排对比
03
功能特性
chiasmus01通过 Z3 SMT 求解器和 Tau Prolog 进行形式化验证
02基于 tree-sitter 的源代码分析
03基于模板的问题形式化
04端到端求解管道
05自定义语言适配器
Matryoshka01基于论文的递归语言模型（RLM）架构
02Nucleus DSL：受约束的 S 表达式语言，确保 LLM 输出安全
03Lattice 引擎：解析器、类型推断、约束解析器和求解器
04基于 SQLite FTS5 的内存句柄存储，节省 97% 的令牌
05基于 Tree-sitter 的代码感知查询，支持结构符号
04
使用场景
chiasmus↳检测访问控制规则中的冲突
↳查找死代码并执行影响分析
↳验证软件不变量和状态机
Matryoshka↳文档分析：对大型日志文件进行搜索、过滤、计数和求和
↳代码分析：提取函数、类，查找源代码中的引用
↳大规模数据查询，无需超出 LLM 上下文限制
FAQ
常见问题
chiasmus 和 Matryoshka 有什么区别？
chiasmus 和 Matryoshka 都属于 Dev Tooling 类别。chiasmus 有 218 Stars，Matryoshka 有 149 Stars。
chiasmus 和 Matryoshka 哪个更好？
最佳选择取决于你的具体需求。检测访问控制规则中的冲突 时选 chiasmus，文档分析：对大型日志文件进行搜索、过滤、计数和求和 时选 Matryoshka。
chiasmus 是免费的吗？
是的，chiasmus 在 GitHub 开源（Apache-2.0）。
Matryoshka 是免费的吗？
是的，Matryoshka 在 GitHub 开源（Apache-2.0）。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。
→