everything vs chiasmus
并排对比，帮你在这两个 MCP server 之间做选择。
everything by modelcontextprotocol | chiasmus by yogthos | |
|---|---|---|
| Stars | ★ 85,748 | ★ 178 |
| 30天用量 | — | — |
| 综合分 | 77 | 50 |
| 官方 | ✓ | — |
| 分类 | 开发者工具AI / LLM 工具其它 | 开发者工具安全AI / LLM 工具 |
| 实现语言 | TypeScript | TypeScript |
| 最近提交 | 本月 | 本月 |
everything · 概述
官方 MCP 测试服务器，展示协议全部功能，供客户端开发者使用。
chiasmus · 概述
Chiasmus 是一个 MCP 服务器，使用 Z3 和 Prolog 为语言模型提供形式化验证能力。
everything · 使用场景
- 测试 MCP 客户端实现是否支持所有协议功能
- 通过参考服务器学习 MCP 协议能力
- 验证客户端对不同传输方式的兼容性
chiasmus · 使用场景
- 验证前端和后端验证规则之间的一致性
- 分析代码库中的调用图以了解数据流和可达性
- 在重构前执行死代码检测和影响分析
everything · 安装
NPX（推荐）
{
"mcpServers": {
"everything": {
"command": "npx",
"args": ["-y", "@modelcontextprotocol/server-everything"]
}
}
}Windows 用户请使用 cmd /c：
{
"mcpServers": {
"everything": {
"command": "cmd",
"args": ["/c", "npx", "-y", "@modelcontextprotocol/server-everything"]
}
}
}Docker
{
"mcpServers": {
"everything": {
"command": "docker",
"args": ["run", "-i", "--rm", "mcp/everything"]
}
}
}全局安装
npm install -g @modelcontextprotocol/server-everything@latest
npx @modelcontextprotocol/server-everythingchiasmus · 安装
npm install -g chiasmus对于 Claude Desktop：
{
"mcpServers": {
"chiasmus": {
"command": "npx",
"args": ["-y", "chiasmus"]
}
}
}