time vs chiasmus
Side-by-side comparison to help you pick between these two MCP servers.
time by modelcontextprotocol | chiasmus by yogthos | |
|---|---|---|
| Stars | ★ 85,748 | ★ 178 |
| 30d uses | — | — |
| Score | 77 | 50 |
| Official | ✓ | — |
| Categories | ProductivityDeveloper ToolsCommunication | Developer ToolsSecurityAI / LLM Tools |
| Language | TypeScript | TypeScript |
| Last commit | this month | this month |
time · Summary
A comprehensive MCP server providing time and timezone conversion tools with automatic system timezone detection.
chiasmus · Summary
Chiasmus is an MCP server that provides LLMs with formal verification capabilities using Z3 and Prolog.
time · Use cases
- Assisting with international meeting scheduling across time zones
- Providing real-time time information for location-based queries
- Enabling time conversion for travel planning and itineraries
chiasmus · Use cases
- Verifying consistency between frontend and backend validation rules
- Analyzing call graphs for data flow and reachability in codebases
- Performing dead code detection and impact analysis before refactoring
time · Install
Installation Options
**Using uv (recommended):**
uvx mcp-server-time**Using PIP:**
pip install mcp-server-time
python -m mcp_server_time**Configure for Claude Desktop:**
{
"mcpServers": {
"time": {
"command": "uvx",
"args": ["mcp-server-time"]
}
}
}chiasmus · Install
npm install -g chiasmusFor Claude Desktop:
{
"mcpServers": {
"chiasmus": {
"command": "npx",
"args": ["-y", "chiasmus"]
}
}
}