import * as operations from "../../models/operations/index.js";
import { ToolDefinition } from "../tools.js";
declare const args: {
    request: import("zod").ZodType<operations.GetStudentRequest, import("zod").ZodTypeDef, unknown>;
};
export declare const tool$studentsGet: ToolDefinition<typeof args>;
export {};
//# sourceMappingURL=studentsGet.d.ts.map