{"protocol":"mcp","tools":[{"name":"list_venues","description":"List supported market venues (MIC, timezone).","inputSchema":{"type":"object","properties":{},"additionalProperties":false}},{"name":"get_venue","description":"Return session rules, timezone, and 2026 holidays for a venue.","inputSchema":{"type":"object","additionalProperties":false,"required":["venue"],"properties":{"venue":{"type":"string","description":"Venue id or MIC, e.g. xnys or XNYS"}}}},{"name":"resolve_session","description":"Return whether a venue is in pre-market, regular, after-hours, holiday, or weekend at an instant, plus the next open or close.","inputSchema":{"type":"object","additionalProperties":false,"required":["venue"],"properties":{"venue":{"type":"string"},"at":{"type":"string","description":"ISO-8601 timestamp. Defaults to now on the live HTTP server."},"date":{"type":"string","description":"YYYY-MM-DD in the venue timezone. Returns the full day schedule instead of an instant."}}}}]}