yogthos/chiasmus

⏳ 排队待测serverTypeScriptApache-2.0★ 218

Chiasmus is an MCP server that gives language models access to formal verification

实测结果

待测

已收录进队列，尚未跑实测；安装方式与仓库信息来自 GitHub 元数据。收录时间 2026-11-10，最近一次抓取 2026-11-10。

还没轮到它。实测是逐条串行跑的，队列里的 Server 会在跑完后自动更新这一页（状态、工具数、安装命令都会变）。

⏳ 尚未实测，安装方式为自动识别实测队列还没跑到它，下面命令按仓库包管理元数据自动推导，不保证能跑通

npx -y chiasmus

{
  "mcpServers": {
    "yogthos-chiasmus": {
      "command": "npx",
      "args": [
        "-y",
        "chiasmus"
      ]
    }
  }
}

整段粘进 claude_desktop_config.json 的 mcpServers 里（Cursor 用 ~/.cursor/mcp.json），保存后重启客户端。

安装方式来源：仓库包管理元数据自动识别，未经沙箱实测。

#ai-agents#ai-assistant#ai-tools#formalmethods#llm#mcp#mcp-server#prolog#z3-smt-solver