time vs lean-ctx
Side-by-side comparison to help you pick between these two MCP servers.
time by modelcontextprotocol | lean-ctx by yvgude | |
|---|---|---|
| Stars | ★ 85,748 | ★ 1,676 |
| 30d uses | — | — |
| Score | 77 | 57 |
| Official | ✓ | — |
| Categories | ProductivityDeveloper ToolsCommunication | Developer ToolsAI / LLM ToolsProductivity |
| Language | TypeScript | Rust |
| Last commit | this month | this month |
time · Summary
A comprehensive MCP server providing time and timezone conversion tools with automatic system timezone detection.
lean-ctx · Summary
lean-ctx is an MCP server that reduces token waste in AI coding tools by 60-95% through intelligent context compression and caching.
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
lean-ctx · Use cases
- Reduce token usage in AI coding assistants while maintaining full context awareness
- Optimize context management for large codebases and monorepos
- Create shareable context packages for team collaboration
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"]
}
}
}lean-ctx · Install
Install lean-ctx using one of these methods:
# Universal installer (no Rust needed)
curl -fsSL https://leanctx.com/install.sh | sh
# macOS / Linux via Homebrew
brew tap yvgude/lean-ctx && brew install lean-ctx
# Node.js
npm install -g lean-ctx-bin
# Rust
cargo install lean-ctx
# Pi Coding Agent
pi install npm:pi-lean-ctxAfter installation, set up with:
lean-ctx setupThen restart your shell and AI tools. For Claude Desktop, add to your config.json:
{
"mcpServers": {
"lean-ctx": {
"command": "lean-ctx",
"args": ["mcp"]
}
}
}