Wi Dmv for Zed
io.github.pipeworx-io/wi-dmv
Wisconsin DMV MCP — every WisDOT DMV customer service center, with the services each individual…
client:Zed
transport:streamable-http
runtime:npm
tools:45
Install Wi Dmv in Zed
~/.config/zed/settings.json · windows: %APPDATA%\Zed\settings.json
{
"context_servers": {
"wi-dmv": {
"url": "https://gateway.pipeworx.io/wi-dmv/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
- company_register_search
- scan_dependency
- bet_research
- polymarket_arbitrage
- polymarket_edges
- polymarket_kalshi_spread
- polymarket_fill_risk
- polymarket_edge_tracker