UNPKG

vex-mcp-server

Version:

MCP server for VEX Robotics Competition data using RobotEvents API

75 lines 2.65 kB
/** * Event-related tool definitions for MCP server */ import { Tool } from "@modelcontextprotocol/sdk/types.js"; import { z } from "zod"; /** * Tool definition for searching events */ export declare const searchEventsTool: Tool; /** * Tool definition for getting event details */ export declare const getEventDetailsTool: Tool; /** * Tool definition for getting event awards */ export declare const getEventAwardsTool: Tool; /** * Zod schemas for parameter validation */ export declare const SearchEventsParamsSchema: z.ZodObject<{ sku: z.ZodOptional<z.ZodArray<z.ZodString, "many">>; name: z.ZodOptional<z.ZodString>; level: z.ZodOptional<z.ZodArray<z.ZodEnum<["World", "National", "State", "Signature", "Regional", "Other"]>, "many">>; eventTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["tournament", "league", "workshop", "virtual"]>, "many">>; start: z.ZodOptional<z.ZodString>; end: z.ZodOptional<z.ZodString>; season: z.ZodOptional<z.ZodArray<z.ZodNumber, "many">>; }, "strip", z.ZodTypeAny, { name?: string | undefined; sku?: string[] | undefined; level?: ("World" | "National" | "State" | "Signature" | "Regional" | "Other")[] | undefined; eventTypes?: ("tournament" | "league" | "workshop" | "virtual")[] | undefined; start?: string | undefined; end?: string | undefined; season?: number[] | undefined; }, { name?: string | undefined; sku?: string[] | undefined; level?: ("World" | "National" | "State" | "Signature" | "Regional" | "Other")[] | undefined; eventTypes?: ("tournament" | "league" | "workshop" | "virtual")[] | undefined; start?: string | undefined; end?: string | undefined; season?: number[] | undefined; }>; export declare const GetEventDetailsParamsSchema: z.ZodEffects<z.ZodObject<{ event_id: z.ZodOptional<z.ZodNumber>; sku: z.ZodOptional<z.ZodString>; }, "strip", z.ZodTypeAny, { sku?: string | undefined; event_id?: number | undefined; }, { sku?: string | undefined; event_id?: number | undefined; }>, { sku?: string | undefined; event_id?: number | undefined; }, { sku?: string | undefined; event_id?: number | undefined; }>; export declare const GetEventAwardsParamsSchema: z.ZodObject<{ event_id: z.ZodNumber; team: z.ZodOptional<z.ZodArray<z.ZodNumber, "many">>; winner: z.ZodOptional<z.ZodArray<z.ZodString, "many">>; }, "strip", z.ZodTypeAny, { event_id: number; team?: number[] | undefined; winner?: string[] | undefined; }, { event_id: number; team?: number[] | undefined; winner?: string[] | undefined; }>; //# sourceMappingURL=event-tools.d.ts.map