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