chiasmus

Chiasmus 是一个 MCP 服务器，集成了形式化验证（Z3、Prolog）和代码分析（tree-sitter），用于解决复杂的逻辑和结构问题。它通过模板将自然语言转化为形式逻辑，并提供经过验证的结果。它还能分析源代码调用图，进行死代码、影响和可达性分析。

chiasmus 当前归类于 开发者工具，更适合按具体工作流、部署方式和团队场景来判断是否适配。从现有资料来看，它主要强调 通过 Z3 SMT 求解器和 Tau Prolog 进行形式化验证。典型使用场景包括 检测访问控制规则中的冲突。页面记录的许可证为 Apache-2.0。当前 GitHub Stars 为 217。相关标签包括 AI 智能体、AI 助手。