vex-mcp-server
Version:
MCP server for VEX Robotics Competition data using RobotEvents API
61 lines • 2.21 kB
TypeScript
/**
* Team-related tool definitions for MCP server
*/
import { Tool } from "@modelcontextprotocol/sdk/types.js";
import { z } from "zod";
/**
* Tool definition for searching teams
*/
export declare const searchTeamsTool: Tool;
/**
* Tool definition for getting team information
*/
export declare const getTeamInfoTool: Tool;
/**
* Zod schemas for parameter validation
*/
export declare const SearchTeamsParamsSchema: z.ZodObject<{
number: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
event: z.ZodOptional<z.ZodArray<z.ZodNumber, "many">>;
country: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
program: z.ZodOptional<z.ZodArray<z.ZodNumber, "many">>;
grade: z.ZodOptional<z.ZodArray<z.ZodEnum<["Elementary School", "Middle School", "High School", "College"]>, "many">>;
registered: z.ZodOptional<z.ZodBoolean>;
team_name: z.ZodOptional<z.ZodString>;
organization: z.ZodOptional<z.ZodString>;
}, "strip", z.ZodTypeAny, {
number?: string[] | undefined;
event?: number[] | undefined;
country?: string[] | undefined;
program?: number[] | undefined;
grade?: ("Elementary School" | "Middle School" | "High School" | "College")[] | undefined;
registered?: boolean | undefined;
team_name?: string | undefined;
organization?: string | undefined;
}, {
number?: string[] | undefined;
event?: number[] | undefined;
country?: string[] | undefined;
program?: number[] | undefined;
grade?: ("Elementary School" | "Middle School" | "High School" | "College")[] | undefined;
registered?: boolean | undefined;
team_name?: string | undefined;
organization?: string | undefined;
}>;
export declare const GetTeamInfoParamsSchema: z.ZodEffects<z.ZodObject<{
team_id: z.ZodOptional<z.ZodNumber>;
team_number: z.ZodOptional<z.ZodString>;
}, "strip", z.ZodTypeAny, {
team_id?: number | undefined;
team_number?: string | undefined;
}, {
team_id?: number | undefined;
team_number?: string | undefined;
}>, {
team_id?: number | undefined;
team_number?: string | undefined;
}, {
team_id?: number | undefined;
team_number?: string | undefined;
}>;
//# sourceMappingURL=team-tools.d.ts.map