import { MoodleClient } from "../moodle/client.js";
import { MoodleCapabilities } from "../moodle/capabilities.js";
import { z } from "zod";
export declare const name = "get_user";
export declare const description: string;
export declare const inputSchema: z.ZodEffects<z.ZodObject<{
    id: z.ZodOptional<z.ZodNumber>;
    email: z.ZodOptional<z.ZodString>;
    username: z.ZodOptional<z.ZodString>;
    presentation: z.ZodDefault<z.ZodOptional<z.ZodEnum<["compact", "full"]>>>;
    /** Internal: silo constraint injected by agent-edge */
    _silo: z.ZodOptional<z.ZodObject<{
        field: z.ZodString;
        value: z.ZodString;
    }, "strip", z.ZodTypeAny, {
        value: string;
        field: string;
    }, {
        value: string;
        field: string;
    }>>;
}, "strip", z.ZodTypeAny, {
    presentation: "compact" | "full";
    id?: number | undefined;
    username?: string | undefined;
    _silo?: {
        value: string;
        field: string;
    } | undefined;
    email?: string | undefined;
}, {
    id?: number | undefined;
    username?: string | undefined;
    _silo?: {
        value: string;
        field: string;
    } | undefined;
    email?: string | undefined;
    presentation?: "compact" | "full" | undefined;
}>, {
    presentation: "compact" | "full";
    id?: number | undefined;
    username?: string | undefined;
    _silo?: {
        value: string;
        field: string;
    } | undefined;
    email?: string | undefined;
}, {
    id?: number | undefined;
    username?: string | undefined;
    _silo?: {
        value: string;
        field: string;
    } | undefined;
    email?: string | undefined;
    presentation?: "compact" | "full" | undefined;
}>;
export declare function createHandler(client: MoodleClient, caps: MoodleCapabilities): (args: unknown) => Promise<import("./response-types.js").ToolResponse>;
//# sourceMappingURL=get-user.d.ts.map