chiasmus

活跃·★ 187·Apache-2.0·更新于 2026-05-14

Chiasmus 是一个 MCP 服务器，通过 Z3 (SMT 求解器) 和 Tau Prolog 为 LLM 提供形式化验证能力，并集成基于 tree-sitter 的源代码分析。

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