context-engineering
★ 171
vs
chiasmus
★ 218
context-engineering vs chiasmus
context-engineering：上下文工程是一种实践，通过从多种来源提供全面的上下文来支持大型语言模型完成任务。它强调上下文的质量和完整性比提示措辞更重要。此仓库是一本关于上下文工程的书籍的配套资源，包含示例和在线提示构建器。；chiasmus：Chiasmus 是一个 MCP 服务器，集成了形式化验证（Z3、Prolog）和代码分析（tree-sitter），用于解决复杂的逻辑和结构问题。它通过模板将自然语言转化为形式逻辑，并提供经过验证的结果。它还能分析源代码调用图，进行死代码、影响和可达性分析。
01
简评
context-engineeringDev Tooling · ★ 171
设计为LLM提供全面上下文的AI系统
chiasmusDev Tooling · ★ 218
检测访问控制规则中的冲突
02
并排对比
03
功能特性
context-engineering01《上下文工程》一书的配套资源
02每章的动手示例
03在线上下文感知提示构建器工具
04开源且定期更新的参考资料
05覆盖关键主题的结构化目录
chiasmus01通过 Z3 SMT 求解器和 Tau Prolog 进行形式化验证
02基于 tree-sitter 的源代码分析
03基于模板的问题形式化
04端到端求解管道
05自定义语言适配器
04
使用场景
context-engineering↳设计为LLM提供全面上下文的AI系统
↳学习上下文工程的原理和模式
↳跨多个框架构建和测试上下文感知的提示
chiasmus↳检测访问控制规则中的冲突
↳查找死代码并执行影响分析
↳验证软件不变量和状态机
FAQ
常见问题
context-engineering 和 chiasmus 有什么区别？
context-engineering 和 chiasmus 都属于 Dev Tooling 类别。context-engineering 有 171 Stars，chiasmus 有 218 Stars。
context-engineering 和 chiasmus 哪个更好？
最佳选择取决于你的具体需求。设计为LLM提供全面上下文的AI系统 时选 context-engineering，检测访问控制规则中的冲突 时选 chiasmus。
context-engineering 是免费的吗？
是的，context-engineering 在 GitHub 开源（Apache-2.0）。
chiasmus 是免费的吗？
是的，chiasmus 在 GitHub 开源（Apache-2.0）。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。
→