7timer for Zed
io.github.pipeworx-io/7timer
7Timer! MCP.
client:Zed
transport:streamable-http
tools:38
Install 7timer in Zed
~/.config/zed/settings.json · windows: %APPDATA%\Zed\settings.json
{
"context_servers": {
"7timer": {
"url": "https://gateway.pipeworx.io/7timer/mcp"
}
}
}Merge this into your existing settings object — do not replace the file. Zed docs
What Zed can do once it is connected
- ask_pipeworx
- ask_pipeworx_beta
- ask_pipeworx_grounded
- search_within
- deep_research
- discover_tools
- resolve_entity
- compare_entities
- subscribe
- unsubscribe
- list_subscriptions
- recent_alerts
- entity_profile
- recent_changes
- validate_claim
- company_facts
- scan_dependency
- bet_research
- polymarket_arbitrage
- polymarket_edges
- polymarket_kalshi_spread
- polymarket_fill_risk
- polymarket_edge_tracker
- kalshi_weather_edge