time vs chiasmus
并排对比，帮你在这两个 MCP server 之间做选择。
time by modelcontextprotocol | chiasmus by yogthos | |
|---|---|---|
| Stars | ★ 85,748 | ★ 178 |
| 30天用量 | — | — |
| 综合分 | 77 | 50 |
| 官方 | ✓ | — |
| 分类 | 效率工具开发者工具沟通协作 | 开发者工具安全AI / LLM 工具 |
| 实现语言 | TypeScript | TypeScript |
| 最近提交 | 本月 | 本月 |
time · 概述
功能全面的 MCP 服务器，提供时间和时区转换功能，可自动检测系统时区。
chiasmus · 概述
Chiasmus 是一个 MCP 服务器，使用 Z3 和 Prolog 为语言模型提供形式化验证能力。
time · 使用场景
- 协助安排跨时区的国际会议
- 为基于位置的查询提供实时时间信息
- 为旅行计划和行程安排提供时间转换
chiasmus · 使用场景
- 验证前端和后端验证规则之间的一致性
- 分析代码库中的调用图以了解数据流和可达性
- 在重构前执行死代码检测和影响分析
time · 安装
安装选项
**使用 uv（推荐）：**
uvx mcp-server-time**使用 PIP：**
pip install mcp-server-time
python -m mcp_server_time**为 Claude Desktop 配置：**
{
"mcpServers": {
"time": {
"command": "uvx",
"args": ["mcp-server-time"]
}
}
}chiasmus · 安装
npm install -g chiasmus对于 Claude Desktop：
{
"mcpServers": {
"chiasmus": {
"command": "npx",
"args": ["-y", "chiasmus"]
}
}
}