@vibe-hero/server 0.1.0

package/dist/schemas/tools.d.ts

@@ -0,0 +1,1581 @@
+/**
+ * @file MCP tool input/output schemas.
+ *
+ * One input + output schema per MCP tool. All inputs/outputs are Zod-validated
+ * both directions. Every tool (except get_config/save_config) may instead
+ * return the {@link SetupRequiredSchema} gate sentinel when `profile.config` is
+ * absent (FR-032).
+ *
+ * Source of truth: specs/001-vibe-hero-mvp/contracts/mcp-tools.md.
+ */
+import { z } from "zod";
+/**
+ * The setup gate sentinel. Returned by any gated tool when `profile.config` is
+ * absent (FR-032). Tool result schemas that can be gated are unioned with this.
+ */
+export declare const SetupRequiredSchema: z.ZodObject<{
+    status: z.ZodLiteral<"SETUP_REQUIRED">;
+    message: z.ZodString;
+    setupSkill: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}>;
+/** The SETUP_REQUIRED gate sentinel. */
+export type SetupRequired = z.infer<typeof SetupRequiredSchema>;
+/** Input for `get_status`. */
+export declare const GetStatusInputSchema: z.ZodObject<{
+    tool: z.ZodOptional<z.ZodEnum<["claude-code", "codex", "kiro-cli", "kiro-ide"]>>;
+}, "strip", z.ZodTypeAny, {
+    tool?: "claude-code" | "codex" | "kiro-cli" | "kiro-ide" | undefined;
+}, {
+    tool?: "claude-code" | "codex" | "kiro-cli" | "kiro-ide" | undefined;
+}>;
+export type GetStatusInput = z.infer<typeof GetStatusInputSchema>;
+/** Per-topic standing row in `get_status`. */
+export declare const StatusTopicSchema: z.ZodObject<{
+    key: z.ZodString;
+    title: z.ZodString;
+    tier: z.ZodUnion<[z.ZodUnion<[z.ZodLiteral<100>, z.ZodLiteral<200>, z.ZodLiteral<300>, z.ZodLiteral<400>, z.ZodLiteral<500>]>, z.ZodLiteral<0>]>;
+    status: z.ZodEnum<["current", "due_for_review", "not_started"]>;
+    ability: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    status: "current" | "due_for_review" | "not_started";
+    title: string;
+    key: string;
+    tier: 0 | 400 | 300 | 200 | 100 | 500;
+    ability: number;
+}, {
+    status: "current" | "due_for_review" | "not_started";
+    title: string;
+    key: string;
+    tier: 0 | 400 | 300 | 200 | 100 | 500;
+    ability: number;
+}>;
+export type StatusTopic = z.infer<typeof StatusTopicSchema>;
+/** Result for `get_status`. */
+export declare const GetStatusResultSchema: z.ZodObject<{
+    tool: z.ZodEnum<["claude-code", "codex", "kiro-cli", "kiro-ide"]>;
+    topics: z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        title: z.ZodString;
+        tier: z.ZodUnion<[z.ZodUnion<[z.ZodLiteral<100>, z.ZodLiteral<200>, z.ZodLiteral<300>, z.ZodLiteral<400>, z.ZodLiteral<500>]>, z.ZodLiteral<0>]>;
+        status: z.ZodEnum<["current", "due_for_review", "not_started"]>;
+        ability: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        status: "current" | "due_for_review" | "not_started";
+        title: string;
+        key: string;
+        tier: 0 | 400 | 300 | 200 | 100 | 500;
+        ability: number;
+    }, {
+        status: "current" | "due_for_review" | "not_started";
+        title: string;
+        key: string;
+        tier: 0 | 400 | 300 | 200 | 100 | 500;
+        ability: number;
+    }>, "many">;
+    dueForReview: z.ZodArray<z.ZodString, "many">;
+    suggestions: z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        key: string;
+        reason: string;
+    }, {
+        key: string;
+        reason: string;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    tool: "claude-code" | "codex" | "kiro-cli" | "kiro-ide";
+    topics: {
+        status: "current" | "due_for_review" | "not_started";
+        title: string;
+        key: string;
+        tier: 0 | 400 | 300 | 200 | 100 | 500;
+        ability: number;
+    }[];
+    dueForReview: string[];
+    suggestions: {
+        key: string;
+        reason: string;
+    }[];
+}, {
+    tool: "claude-code" | "codex" | "kiro-cli" | "kiro-ide";
+    topics: {
+        status: "current" | "due_for_review" | "not_started";
+        title: string;
+        key: string;
+        tier: 0 | 400 | 300 | 200 | 100 | 500;
+        ability: number;
+    }[];
+    dueForReview: string[];
+    suggestions: {
+        key: string;
+        reason: string;
+    }[];
+}>;
+export type GetStatusResult = z.infer<typeof GetStatusResultSchema>;
+/** Output for `get_status` (may be gated). */
+export declare const GetStatusOutputSchema: z.ZodUnion<[z.ZodObject<{
+    status: z.ZodLiteral<"SETUP_REQUIRED">;
+    message: z.ZodString;
+    setupSkill: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}>, z.ZodObject<{
+    tool: z.ZodEnum<["claude-code", "codex", "kiro-cli", "kiro-ide"]>;
+    topics: z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        title: z.ZodString;
+        tier: z.ZodUnion<[z.ZodUnion<[z.ZodLiteral<100>, z.ZodLiteral<200>, z.ZodLiteral<300>, z.ZodLiteral<400>, z.ZodLiteral<500>]>, z.ZodLiteral<0>]>;
+        status: z.ZodEnum<["current", "due_for_review", "not_started"]>;
+        ability: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        status: "current" | "due_for_review" | "not_started";
+        title: string;
+        key: string;
+        tier: 0 | 400 | 300 | 200 | 100 | 500;
+        ability: number;
+    }, {
+        status: "current" | "due_for_review" | "not_started";
+        title: string;
+        key: string;
+        tier: 0 | 400 | 300 | 200 | 100 | 500;
+        ability: number;
+    }>, "many">;
+    dueForReview: z.ZodArray<z.ZodString, "many">;
+    suggestions: z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        key: string;
+        reason: string;
+    }, {
+        key: string;
+        reason: string;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    tool: "claude-code" | "codex" | "kiro-cli" | "kiro-ide";
+    topics: {
+        status: "current" | "due_for_review" | "not_started";
+        title: string;
+        key: string;
+        tier: 0 | 400 | 300 | 200 | 100 | 500;
+        ability: number;
+    }[];
+    dueForReview: string[];
+    suggestions: {
+        key: string;
+        reason: string;
+    }[];
+}, {
+    tool: "claude-code" | "codex" | "kiro-cli" | "kiro-ide";
+    topics: {
+        status: "current" | "due_for_review" | "not_started";
+        title: string;
+        key: string;
+        tier: 0 | 400 | 300 | 200 | 100 | 500;
+        ability: number;
+    }[];
+    dueForReview: string[];
+    suggestions: {
+        key: string;
+        reason: string;
+    }[];
+}>]>;
+export type GetStatusOutput = z.infer<typeof GetStatusOutputSchema>;
+/** Input for `list_topics`. */
+export declare const ListTopicsInputSchema: z.ZodObject<{
+    tool: z.ZodOptional<z.ZodEnum<["claude-code", "codex", "kiro-cli", "kiro-ide"]>>;
+    class: z.ZodOptional<z.ZodEnum<["general", "tool"]>>;
+}, "strip", z.ZodTypeAny, {
+    tool?: "claude-code" | "codex" | "kiro-cli" | "kiro-ide" | undefined;
+    class?: "general" | "tool" | undefined;
+}, {
+    tool?: "claude-code" | "codex" | "kiro-cli" | "kiro-ide" | undefined;
+    class?: "general" | "tool" | undefined;
+}>;
+export type ListTopicsInput = z.infer<typeof ListTopicsInputSchema>;
+/** One topic row in `list_topics`. */
+export declare const ListTopicsRowSchema: z.ZodObject<{
+    key: z.ZodString;
+    id: z.ZodString;
+    class: z.ZodEnum<["general", "tool"]>;
+    title: z.ZodString;
+    tiers: z.ZodArray<z.ZodUnion<[z.ZodLiteral<100>, z.ZodLiteral<200>, z.ZodLiteral<300>, z.ZodLiteral<400>, z.ZodLiteral<500>]>, "many">;
+    itemCount: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    title: string;
+    key: string;
+    id: string;
+    class: "general" | "tool";
+    itemCount: number;
+    tiers: (400 | 300 | 200 | 100 | 500)[];
+}, {
+    title: string;
+    key: string;
+    id: string;
+    class: "general" | "tool";
+    itemCount: number;
+    tiers: (400 | 300 | 200 | 100 | 500)[];
+}>;
+export type ListTopicsRow = z.infer<typeof ListTopicsRowSchema>;
+/** Result for `list_topics`. */
+export declare const ListTopicsResultSchema: z.ZodObject<{
+    topics: z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        id: z.ZodString;
+        class: z.ZodEnum<["general", "tool"]>;
+        title: z.ZodString;
+        tiers: z.ZodArray<z.ZodUnion<[z.ZodLiteral<100>, z.ZodLiteral<200>, z.ZodLiteral<300>, z.ZodLiteral<400>, z.ZodLiteral<500>]>, "many">;
+        itemCount: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        title: string;
+        key: string;
+        id: string;
+        class: "general" | "tool";
+        itemCount: number;
+        tiers: (400 | 300 | 200 | 100 | 500)[];
+    }, {
+        title: string;
+        key: string;
+        id: string;
+        class: "general" | "tool";
+        itemCount: number;
+        tiers: (400 | 300 | 200 | 100 | 500)[];
+    }>, "many">;
+    catalogVersion: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    topics: {
+        title: string;
+        key: string;
+        id: string;
+        class: "general" | "tool";
+        itemCount: number;
+        tiers: (400 | 300 | 200 | 100 | 500)[];
+    }[];
+    catalogVersion: string;
+}, {
+    topics: {
+        title: string;
+        key: string;
+        id: string;
+        class: "general" | "tool";
+        itemCount: number;
+        tiers: (400 | 300 | 200 | 100 | 500)[];
+    }[];
+    catalogVersion: string;
+}>;
+export type ListTopicsResult = z.infer<typeof ListTopicsResultSchema>;
+/** Output for `list_topics` (may be gated). */
+export declare const ListTopicsOutputSchema: z.ZodUnion<[z.ZodObject<{
+    status: z.ZodLiteral<"SETUP_REQUIRED">;
+    message: z.ZodString;
+    setupSkill: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}>, z.ZodObject<{
+    topics: z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        id: z.ZodString;
+        class: z.ZodEnum<["general", "tool"]>;
+        title: z.ZodString;
+        tiers: z.ZodArray<z.ZodUnion<[z.ZodLiteral<100>, z.ZodLiteral<200>, z.ZodLiteral<300>, z.ZodLiteral<400>, z.ZodLiteral<500>]>, "many">;
+        itemCount: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        title: string;
+        key: string;
+        id: string;
+        class: "general" | "tool";
+        itemCount: number;
+        tiers: (400 | 300 | 200 | 100 | 500)[];
+    }, {
+        title: string;
+        key: string;
+        id: string;
+        class: "general" | "tool";
+        itemCount: number;
+        tiers: (400 | 300 | 200 | 100 | 500)[];
+    }>, "many">;
+    catalogVersion: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    topics: {
+        title: string;
+        key: string;
+        id: string;
+        class: "general" | "tool";
+        itemCount: number;
+        tiers: (400 | 300 | 200 | 100 | 500)[];
+    }[];
+    catalogVersion: string;
+}, {
+    topics: {
+        title: string;
+        key: string;
+        id: string;
+        class: "general" | "tool";
+        itemCount: number;
+        tiers: (400 | 300 | 200 | 100 | 500)[];
+    }[];
+    catalogVersion: string;
+}>]>;
+export type ListTopicsOutput = z.infer<typeof ListTopicsOutputSchema>;
+/** Input for `get_guidance`. No `key` ⇒ pick weakest/stale for `tool`. */
+export declare const GetGuidanceInputSchema: z.ZodObject<{
+    key: z.ZodOptional<z.ZodString>;
+    tool: z.ZodOptional<z.ZodEnum<["claude-code", "codex", "kiro-cli", "kiro-ide"]>>;
+}, "strip", z.ZodTypeAny, {
+    tool?: "claude-code" | "codex" | "kiro-cli" | "kiro-ide" | undefined;
+    key?: string | undefined;
+}, {
+    tool?: "claude-code" | "codex" | "kiro-cli" | "kiro-ide" | undefined;
+    key?: string | undefined;
+}>;
+export type GetGuidanceInput = z.infer<typeof GetGuidanceInputSchema>;
+/** Result for `get_guidance`. */
+export declare const GetGuidanceResultSchema: z.ZodObject<{
+    key: z.ZodString;
+    title: z.ZodString;
+    currentTier: z.ZodUnion<[z.ZodUnion<[z.ZodLiteral<100>, z.ZodLiteral<200>, z.ZodLiteral<300>, z.ZodLiteral<400>, z.ZodLiteral<500>]>, z.ZodLiteral<0>]>;
+    guidance: z.ZodString;
+    nextStep: z.ZodObject<{
+        action: z.ZodEnum<["quiz", "read"]>;
+        detail: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        action: "quiz" | "read";
+        detail: string;
+    }, {
+        action: "quiz" | "read";
+        detail: string;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    title: string;
+    currentTier: 0 | 400 | 300 | 200 | 100 | 500;
+    key: string;
+    guidance: string;
+    nextStep: {
+        action: "quiz" | "read";
+        detail: string;
+    };
+}, {
+    title: string;
+    currentTier: 0 | 400 | 300 | 200 | 100 | 500;
+    key: string;
+    guidance: string;
+    nextStep: {
+        action: "quiz" | "read";
+        detail: string;
+    };
+}>;
+export type GetGuidanceResult = z.infer<typeof GetGuidanceResultSchema>;
+/** Output for `get_guidance` (may be gated). */
+export declare const GetGuidanceOutputSchema: z.ZodUnion<[z.ZodObject<{
+    status: z.ZodLiteral<"SETUP_REQUIRED">;
+    message: z.ZodString;
+    setupSkill: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}>, z.ZodObject<{
+    key: z.ZodString;
+    title: z.ZodString;
+    currentTier: z.ZodUnion<[z.ZodUnion<[z.ZodLiteral<100>, z.ZodLiteral<200>, z.ZodLiteral<300>, z.ZodLiteral<400>, z.ZodLiteral<500>]>, z.ZodLiteral<0>]>;
+    guidance: z.ZodString;
+    nextStep: z.ZodObject<{
+        action: z.ZodEnum<["quiz", "read"]>;
+        detail: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        action: "quiz" | "read";
+        detail: string;
+    }, {
+        action: "quiz" | "read";
+        detail: string;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    title: string;
+    currentTier: 0 | 400 | 300 | 200 | 100 | 500;
+    key: string;
+    guidance: string;
+    nextStep: {
+        action: "quiz" | "read";
+        detail: string;
+    };
+}, {
+    title: string;
+    currentTier: 0 | 400 | 300 | 200 | 100 | 500;
+    key: string;
+    guidance: string;
+    nextStep: {
+        action: "quiz" | "read";
+        detail: string;
+    };
+}>]>;
+export type GetGuidanceOutput = z.infer<typeof GetGuidanceOutputSchema>;
+/**
+ * Input for `start_quiz`.
+ *
+ * `allowFreeForm` is the graceful-degradation switch (FR-014, T049): when the
+ * host agent cannot judge a free-form answer (no judging capability), the caller
+ * passes `false` and the selection EXCLUDES `free_form` items, preferring
+ * deterministic ones so the quiz still completes rather than serving an
+ * unjudgeable item. It defaults to `true` (free-form judging is available).
+ */
+export declare const StartQuizInputSchema: z.ZodObject<{
+    key: z.ZodString;
+    length: z.ZodOptional<z.ZodUnion<[z.ZodLiteral<3>, z.ZodLiteral<4>, z.ZodLiteral<5>]>>;
+    allowFreeForm: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    key: string;
+    length?: 5 | 4 | 3 | undefined;
+    allowFreeForm?: boolean | undefined;
+}, {
+    key: string;
+    length?: 5 | 4 | 3 | undefined;
+    allowFreeForm?: boolean | undefined;
+}>;
+export type StartQuizInput = z.infer<typeof StartQuizInputSchema>;
+/**
+ * An item as presented to the host agent. Deterministic items omit answer keys
+ * and rubric/referenceAnswer; `free_form` items include `rubric.criteria` (with
+ * ids) AND `referenceAnswer` so the host agent can judge.
+ */
+export declare const PresentedItemSchema: z.ZodObject<{
+    itemId: z.ZodString;
+    tier: z.ZodUnion<[z.ZodLiteral<100>, z.ZodLiteral<200>, z.ZodLiteral<300>, z.ZodLiteral<400>, z.ZodLiteral<500>]>;
+    type: z.ZodEnum<["multiple_choice", "short_answer", "free_form"]>;
+    prompt: z.ZodString;
+    choices: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        text: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        id: string;
+    }, {
+        text: string;
+        id: string;
+    }>, "many">>;
+    rubric: z.ZodOptional<z.ZodObject<{
+        criteria: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            text: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            text: string;
+            id: string;
+        }, {
+            text: string;
+            id: string;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        criteria: {
+            text: string;
+            id: string;
+        }[];
+    }, {
+        criteria: {
+            text: string;
+            id: string;
+        }[];
+    }>>;
+    referenceAnswer: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    type: "multiple_choice" | "short_answer" | "free_form";
+    itemId: string;
+    tier: 400 | 300 | 200 | 100 | 500;
+    prompt: string;
+    referenceAnswer?: string | undefined;
+    choices?: {
+        text: string;
+        id: string;
+    }[] | undefined;
+    rubric?: {
+        criteria: {
+            text: string;
+            id: string;
+        }[];
+    } | undefined;
+}, {
+    type: "multiple_choice" | "short_answer" | "free_form";
+    itemId: string;
+    tier: 400 | 300 | 200 | 100 | 500;
+    prompt: string;
+    referenceAnswer?: string | undefined;
+    choices?: {
+        text: string;
+        id: string;
+    }[] | undefined;
+    rubric?: {
+        criteria: {
+            text: string;
+            id: string;
+        }[];
+    } | undefined;
+}>;
+export type PresentedItem = z.infer<typeof PresentedItemSchema>;
+/** Result for `start_quiz`. */
+export declare const StartQuizResultSchema: z.ZodObject<{
+    quizId: z.ZodString;
+    items: z.ZodArray<z.ZodObject<{
+        itemId: z.ZodString;
+        tier: z.ZodUnion<[z.ZodLiteral<100>, z.ZodLiteral<200>, z.ZodLiteral<300>, z.ZodLiteral<400>, z.ZodLiteral<500>]>;
+        type: z.ZodEnum<["multiple_choice", "short_answer", "free_form"]>;
+        prompt: z.ZodString;
+        choices: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            text: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            text: string;
+            id: string;
+        }, {
+            text: string;
+            id: string;
+        }>, "many">>;
+        rubric: z.ZodOptional<z.ZodObject<{
+            criteria: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                text: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                text: string;
+                id: string;
+            }, {
+                text: string;
+                id: string;
+            }>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            criteria: {
+                text: string;
+                id: string;
+            }[];
+        }, {
+            criteria: {
+                text: string;
+                id: string;
+            }[];
+        }>>;
+        referenceAnswer: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        type: "multiple_choice" | "short_answer" | "free_form";
+        itemId: string;
+        tier: 400 | 300 | 200 | 100 | 500;
+        prompt: string;
+        referenceAnswer?: string | undefined;
+        choices?: {
+            text: string;
+            id: string;
+        }[] | undefined;
+        rubric?: {
+            criteria: {
+                text: string;
+                id: string;
+            }[];
+        } | undefined;
+    }, {
+        type: "multiple_choice" | "short_answer" | "free_form";
+        itemId: string;
+        tier: 400 | 300 | 200 | 100 | 500;
+        prompt: string;
+        referenceAnswer?: string | undefined;
+        choices?: {
+            text: string;
+            id: string;
+        }[] | undefined;
+        rubric?: {
+            criteria: {
+                text: string;
+                id: string;
+            }[];
+        } | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    items: {
+        type: "multiple_choice" | "short_answer" | "free_form";
+        itemId: string;
+        tier: 400 | 300 | 200 | 100 | 500;
+        prompt: string;
+        referenceAnswer?: string | undefined;
+        choices?: {
+            text: string;
+            id: string;
+        }[] | undefined;
+        rubric?: {
+            criteria: {
+                text: string;
+                id: string;
+            }[];
+        } | undefined;
+    }[];
+    quizId: string;
+}, {
+    items: {
+        type: "multiple_choice" | "short_answer" | "free_form";
+        itemId: string;
+        tier: 400 | 300 | 200 | 100 | 500;
+        prompt: string;
+        referenceAnswer?: string | undefined;
+        choices?: {
+            text: string;
+            id: string;
+        }[] | undefined;
+        rubric?: {
+            criteria: {
+                text: string;
+                id: string;
+            }[];
+        } | undefined;
+    }[];
+    quizId: string;
+}>;
+export type StartQuizResult = z.infer<typeof StartQuizResultSchema>;
+/** Output for `start_quiz` (may be gated). */
+export declare const StartQuizOutputSchema: z.ZodUnion<[z.ZodObject<{
+    status: z.ZodLiteral<"SETUP_REQUIRED">;
+    message: z.ZodString;
+    setupSkill: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}>, z.ZodObject<{
+    quizId: z.ZodString;
+    items: z.ZodArray<z.ZodObject<{
+        itemId: z.ZodString;
+        tier: z.ZodUnion<[z.ZodLiteral<100>, z.ZodLiteral<200>, z.ZodLiteral<300>, z.ZodLiteral<400>, z.ZodLiteral<500>]>;
+        type: z.ZodEnum<["multiple_choice", "short_answer", "free_form"]>;
+        prompt: z.ZodString;
+        choices: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            text: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            text: string;
+            id: string;
+        }, {
+            text: string;
+            id: string;
+        }>, "many">>;
+        rubric: z.ZodOptional<z.ZodObject<{
+            criteria: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                text: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                text: string;
+                id: string;
+            }, {
+                text: string;
+                id: string;
+            }>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            criteria: {
+                text: string;
+                id: string;
+            }[];
+        }, {
+            criteria: {
+                text: string;
+                id: string;
+            }[];
+        }>>;
+        referenceAnswer: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        type: "multiple_choice" | "short_answer" | "free_form";
+        itemId: string;
+        tier: 400 | 300 | 200 | 100 | 500;
+        prompt: string;
+        referenceAnswer?: string | undefined;
+        choices?: {
+            text: string;
+            id: string;
+        }[] | undefined;
+        rubric?: {
+            criteria: {
+                text: string;
+                id: string;
+            }[];
+        } | undefined;
+    }, {
+        type: "multiple_choice" | "short_answer" | "free_form";
+        itemId: string;
+        tier: 400 | 300 | 200 | 100 | 500;
+        prompt: string;
+        referenceAnswer?: string | undefined;
+        choices?: {
+            text: string;
+            id: string;
+        }[] | undefined;
+        rubric?: {
+            criteria: {
+                text: string;
+                id: string;
+            }[];
+        } | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    items: {
+        type: "multiple_choice" | "short_answer" | "free_form";
+        itemId: string;
+        tier: 400 | 300 | 200 | 100 | 500;
+        prompt: string;
+        referenceAnswer?: string | undefined;
+        choices?: {
+            text: string;
+            id: string;
+        }[] | undefined;
+        rubric?: {
+            criteria: {
+                text: string;
+                id: string;
+            }[];
+        } | undefined;
+    }[];
+    quizId: string;
+}, {
+    items: {
+        type: "multiple_choice" | "short_answer" | "free_form";
+        itemId: string;
+        tier: 400 | 300 | 200 | 100 | 500;
+        prompt: string;
+        referenceAnswer?: string | undefined;
+        choices?: {
+            text: string;
+            id: string;
+        }[] | undefined;
+        rubric?: {
+            criteria: {
+                text: string;
+                id: string;
+            }[];
+        } | undefined;
+    }[];
+    quizId: string;
+}>]>;
+export type StartQuizOutput = z.infer<typeof StartQuizOutputSchema>;
+/** Deterministic answer payload (multiple_choice / short_answer). */
+export declare const SubmitAnswerDeterministicInputSchema: z.ZodObject<{
+    quizId: z.ZodString;
+    itemId: z.ZodString;
+    answer: z.ZodObject<{
+        choiceId: z.ZodOptional<z.ZodString>;
+        text: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        text?: string | undefined;
+        choiceId?: string | undefined;
+    }, {
+        text?: string | undefined;
+        choiceId?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    itemId: string;
+    quizId: string;
+    answer: {
+        text?: string | undefined;
+        choiceId?: string | undefined;
+    };
+}, {
+    itemId: string;
+    quizId: string;
+    answer: {
+        text?: string | undefined;
+        choiceId?: string | undefined;
+    };
+}>;
+export type SubmitAnswerDeterministicInput = z.infer<typeof SubmitAnswerDeterministicInputSchema>;
+/**
+ * Free-form per-criterion verdict from the host agent. A single-boolean verdict
+ * is rejected as non-conformant (anti-gaming, critique E2): each criterion id
+ * must carry its own `met` + `justification`. The MCP computes the score.
+ */
+export declare const FreeFormVerdictSchema: z.ZodObject<{
+    criteria: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        met: z.ZodBoolean;
+        justification: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        met: boolean;
+        justification: string;
+    }, {
+        id: string;
+        met: boolean;
+        justification: string;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    criteria: {
+        id: string;
+        met: boolean;
+        justification: string;
+    }[];
+}, {
+    criteria: {
+        id: string;
+        met: boolean;
+        justification: string;
+    }[];
+}>;
+export type FreeFormVerdict = z.infer<typeof FreeFormVerdictSchema>;
+/** Free-form answer payload (host-agent verdict). */
+export declare const SubmitAnswerFreeFormInputSchema: z.ZodObject<{
+    quizId: z.ZodString;
+    itemId: z.ZodString;
+    verdict: z.ZodObject<{
+        criteria: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            met: z.ZodBoolean;
+            justification: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            id: string;
+            met: boolean;
+            justification: string;
+        }, {
+            id: string;
+            met: boolean;
+            justification: string;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        criteria: {
+            id: string;
+            met: boolean;
+            justification: string;
+        }[];
+    }, {
+        criteria: {
+            id: string;
+            met: boolean;
+            justification: string;
+        }[];
+    }>;
+}, "strip", z.ZodTypeAny, {
+    itemId: string;
+    quizId: string;
+    verdict: {
+        criteria: {
+            id: string;
+            met: boolean;
+            justification: string;
+        }[];
+    };
+}, {
+    itemId: string;
+    quizId: string;
+    verdict: {
+        criteria: {
+            id: string;
+            met: boolean;
+            justification: string;
+        }[];
+    };
+}>;
+export type SubmitAnswerFreeFormInput = z.infer<typeof SubmitAnswerFreeFormInputSchema>;
+/**
+ * Input for `submit_answer`: either a deterministic answer or a free-form
+ * verdict. Discriminated structurally (presence of `answer` vs. `verdict`).
+ */
+export declare const SubmitAnswerInputSchema: z.ZodUnion<[z.ZodObject<{
+    quizId: z.ZodString;
+    itemId: z.ZodString;
+    answer: z.ZodObject<{
+        choiceId: z.ZodOptional<z.ZodString>;
+        text: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        text?: string | undefined;
+        choiceId?: string | undefined;
+    }, {
+        text?: string | undefined;
+        choiceId?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    itemId: string;
+    quizId: string;
+    answer: {
+        text?: string | undefined;
+        choiceId?: string | undefined;
+    };
+}, {
+    itemId: string;
+    quizId: string;
+    answer: {
+        text?: string | undefined;
+        choiceId?: string | undefined;
+    };
+}>, z.ZodObject<{
+    quizId: z.ZodString;
+    itemId: z.ZodString;
+    verdict: z.ZodObject<{
+        criteria: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            met: z.ZodBoolean;
+            justification: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            id: string;
+            met: boolean;
+            justification: string;
+        }, {
+            id: string;
+            met: boolean;
+            justification: string;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        criteria: {
+            id: string;
+            met: boolean;
+            justification: string;
+        }[];
+    }, {
+        criteria: {
+            id: string;
+            met: boolean;
+            justification: string;
+        }[];
+    }>;
+}, "strip", z.ZodTypeAny, {
+    itemId: string;
+    quizId: string;
+    verdict: {
+        criteria: {
+            id: string;
+            met: boolean;
+            justification: string;
+        }[];
+    };
+}, {
+    itemId: string;
+    quizId: string;
+    verdict: {
+        criteria: {
+            id: string;
+            met: boolean;
+            justification: string;
+        }[];
+    };
+}>]>;
+export type SubmitAnswerInput = z.infer<typeof SubmitAnswerInputSchema>;
+/** Result for `submit_answer`. */
+export declare const SubmitAnswerResultSchema: z.ZodObject<{
+    grade: z.ZodEnum<["correct", "incorrect"]>;
+    score: z.ZodNumber;
+    correctAnswer: z.ZodOptional<z.ZodString>;
+    guidance: z.ZodString;
+    ability: z.ZodObject<{
+        before: z.ZodNumber;
+        after: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        before: number;
+        after: number;
+    }, {
+        before: number;
+        after: number;
+    }>;
+    graduation: z.ZodOptional<z.ZodObject<{
+        changed: z.ZodBoolean;
+        tier: z.ZodOptional<z.ZodUnion<[z.ZodLiteral<100>, z.ZodLiteral<200>, z.ZodLiteral<300>, z.ZodLiteral<400>, z.ZodLiteral<500>]>>;
+        status: z.ZodOptional<z.ZodString>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        changed: boolean;
+        status?: string | undefined;
+        reason?: string | undefined;
+        tier?: 400 | 300 | 200 | 100 | 500 | undefined;
+    }, {
+        changed: boolean;
+        status?: string | undefined;
+        reason?: string | undefined;
+        tier?: 400 | 300 | 200 | 100 | 500 | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    grade: "correct" | "incorrect";
+    score: number;
+    guidance: string;
+    ability: {
+        before: number;
+        after: number;
+    };
+    correctAnswer?: string | undefined;
+    graduation?: {
+        changed: boolean;
+        status?: string | undefined;
+        reason?: string | undefined;
+        tier?: 400 | 300 | 200 | 100 | 500 | undefined;
+    } | undefined;
+}, {
+    grade: "correct" | "incorrect";
+    score: number;
+    guidance: string;
+    ability: {
+        before: number;
+        after: number;
+    };
+    correctAnswer?: string | undefined;
+    graduation?: {
+        changed: boolean;
+        status?: string | undefined;
+        reason?: string | undefined;
+        tier?: 400 | 300 | 200 | 100 | 500 | undefined;
+    } | undefined;
+}>;
+export type SubmitAnswerResult = z.infer<typeof SubmitAnswerResultSchema>;
+/** Output for `submit_answer` (may be gated). */
+export declare const SubmitAnswerOutputSchema: z.ZodUnion<[z.ZodObject<{
+    status: z.ZodLiteral<"SETUP_REQUIRED">;
+    message: z.ZodString;
+    setupSkill: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}>, z.ZodObject<{
+    grade: z.ZodEnum<["correct", "incorrect"]>;
+    score: z.ZodNumber;
+    correctAnswer: z.ZodOptional<z.ZodString>;
+    guidance: z.ZodString;
+    ability: z.ZodObject<{
+        before: z.ZodNumber;
+        after: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        before: number;
+        after: number;
+    }, {
+        before: number;
+        after: number;
+    }>;
+    graduation: z.ZodOptional<z.ZodObject<{
+        changed: z.ZodBoolean;
+        tier: z.ZodOptional<z.ZodUnion<[z.ZodLiteral<100>, z.ZodLiteral<200>, z.ZodLiteral<300>, z.ZodLiteral<400>, z.ZodLiteral<500>]>>;
+        status: z.ZodOptional<z.ZodString>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        changed: boolean;
+        status?: string | undefined;
+        reason?: string | undefined;
+        tier?: 400 | 300 | 200 | 100 | 500 | undefined;
+    }, {
+        changed: boolean;
+        status?: string | undefined;
+        reason?: string | undefined;
+        tier?: 400 | 300 | 200 | 100 | 500 | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    grade: "correct" | "incorrect";
+    score: number;
+    guidance: string;
+    ability: {
+        before: number;
+        after: number;
+    };
+    correctAnswer?: string | undefined;
+    graduation?: {
+        changed: boolean;
+        status?: string | undefined;
+        reason?: string | undefined;
+        tier?: 400 | 300 | 200 | 100 | 500 | undefined;
+    } | undefined;
+}, {
+    grade: "correct" | "incorrect";
+    score: number;
+    guidance: string;
+    ability: {
+        before: number;
+        after: number;
+    };
+    correctAnswer?: string | undefined;
+    graduation?: {
+        changed: boolean;
+        status?: string | undefined;
+        reason?: string | undefined;
+        tier?: 400 | 300 | 200 | 100 | 500 | undefined;
+    } | undefined;
+}>]>;
+export type SubmitAnswerOutput = z.infer<typeof SubmitAnswerOutputSchema>;
+/** Input for `save_config`. */
+export declare const SaveConfigInputSchema: z.ZodObject<{
+    toolsLearning: z.ZodArray<z.ZodEnum<["claude-code", "codex", "kiro-cli", "kiro-ide"]>, "many">;
+    offerCadence: z.ZodEnum<["off", "per_session", "per_topic"]>;
+    proactiveOffers: z.ZodBoolean;
+    quizLength: z.ZodOptional<z.ZodUnion<[z.ZodLiteral<3>, z.ZodLiteral<4>, z.ZodLiteral<5>]>>;
+}, "strip", z.ZodTypeAny, {
+    toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+    offerCadence: "off" | "per_session" | "per_topic";
+    proactiveOffers: boolean;
+    quizLength?: 5 | 4 | 3 | undefined;
+}, {
+    toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+    offerCadence: "off" | "per_session" | "per_topic";
+    proactiveOffers: boolean;
+    quizLength?: 5 | 4 | 3 | undefined;
+}>;
+export type SaveConfigInput = z.infer<typeof SaveConfigInputSchema>;
+/** Result/output for `save_config` (never gated). */
+export declare const SaveConfigResultSchema: z.ZodObject<{
+    ok: z.ZodLiteral<true>;
+    config: z.ZodObject<{
+        toolsLearning: z.ZodArray<z.ZodEnum<["claude-code", "codex", "kiro-cli", "kiro-ide"]>, "many">;
+        offerCadence: z.ZodEnum<["off", "per_session", "per_topic"]>;
+        proactiveOffers: z.ZodBoolean;
+        quizLength: z.ZodDefault<z.ZodNumber>;
+        createdAt: z.ZodString;
+        updatedAt: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        quizLength: number;
+        createdAt: string;
+        updatedAt: string;
+    }, {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        createdAt: string;
+        updatedAt: string;
+        quizLength?: number | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    config: {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        quizLength: number;
+        createdAt: string;
+        updatedAt: string;
+    };
+    ok: true;
+}, {
+    config: {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        createdAt: string;
+        updatedAt: string;
+        quizLength?: number | undefined;
+    };
+    ok: true;
+}>;
+export type SaveConfigResult = z.infer<typeof SaveConfigResultSchema>;
+export declare const SaveConfigOutputSchema: z.ZodObject<{
+    ok: z.ZodLiteral<true>;
+    config: z.ZodObject<{
+        toolsLearning: z.ZodArray<z.ZodEnum<["claude-code", "codex", "kiro-cli", "kiro-ide"]>, "many">;
+        offerCadence: z.ZodEnum<["off", "per_session", "per_topic"]>;
+        proactiveOffers: z.ZodBoolean;
+        quizLength: z.ZodDefault<z.ZodNumber>;
+        createdAt: z.ZodString;
+        updatedAt: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        quizLength: number;
+        createdAt: string;
+        updatedAt: string;
+    }, {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        createdAt: string;
+        updatedAt: string;
+        quizLength?: number | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    config: {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        quizLength: number;
+        createdAt: string;
+        updatedAt: string;
+    };
+    ok: true;
+}, {
+    config: {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        createdAt: string;
+        updatedAt: string;
+        quizLength?: number | undefined;
+    };
+    ok: true;
+}>;
+export type SaveConfigOutput = z.infer<typeof SaveConfigOutputSchema>;
+/** Input for `get_config`. */
+export declare const GetConfigInputSchema: z.ZodObject<{}, "strip", z.ZodTypeAny, {}, {}>;
+export type GetConfigInput = z.infer<typeof GetConfigInputSchema>;
+/** Result/output for `get_config` (never gated). */
+export declare const GetConfigResultSchema: z.ZodObject<{
+    configured: z.ZodBoolean;
+    config: z.ZodOptional<z.ZodObject<{
+        toolsLearning: z.ZodArray<z.ZodEnum<["claude-code", "codex", "kiro-cli", "kiro-ide"]>, "many">;
+        offerCadence: z.ZodEnum<["off", "per_session", "per_topic"]>;
+        proactiveOffers: z.ZodBoolean;
+        quizLength: z.ZodDefault<z.ZodNumber>;
+        createdAt: z.ZodString;
+        updatedAt: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        quizLength: number;
+        createdAt: string;
+        updatedAt: string;
+    }, {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        createdAt: string;
+        updatedAt: string;
+        quizLength?: number | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    configured: boolean;
+    config?: {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        quizLength: number;
+        createdAt: string;
+        updatedAt: string;
+    } | undefined;
+}, {
+    configured: boolean;
+    config?: {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        createdAt: string;
+        updatedAt: string;
+        quizLength?: number | undefined;
+    } | undefined;
+}>;
+export type GetConfigResult = z.infer<typeof GetConfigResultSchema>;
+export declare const GetConfigOutputSchema: z.ZodObject<{
+    configured: z.ZodBoolean;
+    config: z.ZodOptional<z.ZodObject<{
+        toolsLearning: z.ZodArray<z.ZodEnum<["claude-code", "codex", "kiro-cli", "kiro-ide"]>, "many">;
+        offerCadence: z.ZodEnum<["off", "per_session", "per_topic"]>;
+        proactiveOffers: z.ZodBoolean;
+        quizLength: z.ZodDefault<z.ZodNumber>;
+        createdAt: z.ZodString;
+        updatedAt: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        quizLength: number;
+        createdAt: string;
+        updatedAt: string;
+    }, {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        createdAt: string;
+        updatedAt: string;
+        quizLength?: number | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    configured: boolean;
+    config?: {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        quizLength: number;
+        createdAt: string;
+        updatedAt: string;
+    } | undefined;
+}, {
+    configured: boolean;
+    config?: {
+        toolsLearning: ("claude-code" | "codex" | "kiro-cli" | "kiro-ide")[];
+        offerCadence: "off" | "per_session" | "per_topic";
+        proactiveOffers: boolean;
+        createdAt: string;
+        updatedAt: string;
+        quizLength?: number | undefined;
+    } | undefined;
+}>;
+export type GetConfigOutput = z.infer<typeof GetConfigOutputSchema>;
+/** Input for `record_observation`. */
+export declare const RecordObservationInputSchema: z.ZodObject<{
+    tool: z.ZodEnum<["claude-code", "codex", "kiro-cli", "kiro-ide"]>;
+    signals: z.ZodArray<z.ZodObject<{
+        toolName: z.ZodOptional<z.ZodString>;
+        mcpTool: z.ZodOptional<z.ZodString>;
+        success: z.ZodOptional<z.ZodBoolean>;
+        toolUseId: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        success?: boolean | undefined;
+        toolName?: string | undefined;
+        mcpTool?: string | undefined;
+        toolUseId?: string | undefined;
+    }, {
+        success?: boolean | undefined;
+        toolName?: string | undefined;
+        mcpTool?: string | undefined;
+        toolUseId?: string | undefined;
+    }>, "many">;
+    sessionId: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    tool: "claude-code" | "codex" | "kiro-cli" | "kiro-ide";
+    sessionId: string;
+    signals: {
+        success?: boolean | undefined;
+        toolName?: string | undefined;
+        mcpTool?: string | undefined;
+        toolUseId?: string | undefined;
+    }[];
+}, {
+    tool: "claude-code" | "codex" | "kiro-cli" | "kiro-ide";
+    sessionId: string;
+    signals: {
+        success?: boolean | undefined;
+        toolName?: string | undefined;
+        mcpTool?: string | undefined;
+        toolUseId?: string | undefined;
+    }[];
+}>;
+export type RecordObservationInput = z.infer<typeof RecordObservationInputSchema>;
+/** One offer candidate from `record_observation`. */
+export declare const OfferCandidateSchema: z.ZodObject<{
+    key: z.ZodString;
+    title: z.ZodString;
+    reason: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    title: string;
+    key: string;
+    reason: string;
+}, {
+    title: string;
+    key: string;
+    reason: string;
+}>;
+export type OfferCandidate = z.infer<typeof OfferCandidateSchema>;
+/** Result for `record_observation`. */
+export declare const RecordObservationResultSchema: z.ZodObject<{
+    offerCandidates: z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        title: z.ZodString;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        title: string;
+        key: string;
+        reason: string;
+    }, {
+        title: string;
+        key: string;
+        reason: string;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    offerCandidates: {
+        title: string;
+        key: string;
+        reason: string;
+    }[];
+}, {
+    offerCandidates: {
+        title: string;
+        key: string;
+        reason: string;
+    }[];
+}>;
+export type RecordObservationResult = z.infer<typeof RecordObservationResultSchema>;
+/** Output for `record_observation` (may be gated). */
+export declare const RecordObservationOutputSchema: z.ZodUnion<[z.ZodObject<{
+    status: z.ZodLiteral<"SETUP_REQUIRED">;
+    message: z.ZodString;
+    setupSkill: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}>, z.ZodObject<{
+    offerCandidates: z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        title: z.ZodString;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        title: string;
+        key: string;
+        reason: string;
+    }, {
+        title: string;
+        key: string;
+        reason: string;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    offerCandidates: {
+        title: string;
+        key: string;
+        reason: string;
+    }[];
+}, {
+    offerCandidates: {
+        title: string;
+        key: string;
+        reason: string;
+    }[];
+}>]>;
+export type RecordObservationOutput = z.infer<typeof RecordObservationOutputSchema>;
+/** Input for `get_offer`. */
+export declare const GetOfferInputSchema: z.ZodObject<{
+    sessionId: z.ZodString;
+    tool: z.ZodEnum<["claude-code", "codex", "kiro-cli", "kiro-ide"]>;
+}, "strip", z.ZodTypeAny, {
+    tool: "claude-code" | "codex" | "kiro-cli" | "kiro-ide";
+    sessionId: string;
+}, {
+    tool: "claude-code" | "codex" | "kiro-cli" | "kiro-ide";
+    sessionId: string;
+}>;
+export type GetOfferInput = z.infer<typeof GetOfferInputSchema>;
+/** Result for `get_offer`. */
+export declare const GetOfferResultSchema: z.ZodObject<{
+    offer: z.ZodOptional<z.ZodObject<{
+        key: z.ZodString;
+        title: z.ZodString;
+        prompt: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        title: string;
+        key: string;
+        prompt: string;
+    }, {
+        title: string;
+        key: string;
+        prompt: string;
+    }>>;
+    suppressed: z.ZodOptional<z.ZodEnum<["cadence", "declined", "offers_off", "no_candidate"]>>;
+}, "strip", z.ZodTypeAny, {
+    offer?: {
+        title: string;
+        key: string;
+        prompt: string;
+    } | undefined;
+    suppressed?: "cadence" | "declined" | "offers_off" | "no_candidate" | undefined;
+}, {
+    offer?: {
+        title: string;
+        key: string;
+        prompt: string;
+    } | undefined;
+    suppressed?: "cadence" | "declined" | "offers_off" | "no_candidate" | undefined;
+}>;
+export type GetOfferResult = z.infer<typeof GetOfferResultSchema>;
+/** Output for `get_offer` (may be gated). */
+export declare const GetOfferOutputSchema: z.ZodUnion<[z.ZodObject<{
+    status: z.ZodLiteral<"SETUP_REQUIRED">;
+    message: z.ZodString;
+    setupSkill: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}>, z.ZodObject<{
+    offer: z.ZodOptional<z.ZodObject<{
+        key: z.ZodString;
+        title: z.ZodString;
+        prompt: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        title: string;
+        key: string;
+        prompt: string;
+    }, {
+        title: string;
+        key: string;
+        prompt: string;
+    }>>;
+    suppressed: z.ZodOptional<z.ZodEnum<["cadence", "declined", "offers_off", "no_candidate"]>>;
+}, "strip", z.ZodTypeAny, {
+    offer?: {
+        title: string;
+        key: string;
+        prompt: string;
+    } | undefined;
+    suppressed?: "cadence" | "declined" | "offers_off" | "no_candidate" | undefined;
+}, {
+    offer?: {
+        title: string;
+        key: string;
+        prompt: string;
+    } | undefined;
+    suppressed?: "cadence" | "declined" | "offers_off" | "no_candidate" | undefined;
+}>]>;
+export type GetOfferOutput = z.infer<typeof GetOfferOutputSchema>;
+/** Input for `record_offer_response`. */
+export declare const RecordOfferResponseInputSchema: z.ZodObject<{
+    sessionId: z.ZodString;
+    key: z.ZodString;
+    response: z.ZodEnum<["accept", "decline", "defer"]>;
+}, "strip", z.ZodTypeAny, {
+    key: string;
+    sessionId: string;
+    response: "accept" | "decline" | "defer";
+}, {
+    key: string;
+    sessionId: string;
+    response: "accept" | "decline" | "defer";
+}>;
+export type RecordOfferResponseInput = z.infer<typeof RecordOfferResponseInputSchema>;
+/** Result for `record_offer_response`. */
+export declare const RecordOfferResponseResultSchema: z.ZodObject<{
+    ok: z.ZodLiteral<true>;
+}, "strip", z.ZodTypeAny, {
+    ok: true;
+}, {
+    ok: true;
+}>;
+export type RecordOfferResponseResult = z.infer<typeof RecordOfferResponseResultSchema>;
+/** Output for `record_offer_response` (may be gated). */
+export declare const RecordOfferResponseOutputSchema: z.ZodUnion<[z.ZodObject<{
+    status: z.ZodLiteral<"SETUP_REQUIRED">;
+    message: z.ZodString;
+    setupSkill: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}, {
+    message: string;
+    status: "SETUP_REQUIRED";
+    setupSkill: string;
+}>, z.ZodObject<{
+    ok: z.ZodLiteral<true>;
+}, "strip", z.ZodTypeAny, {
+    ok: true;
+}, {
+    ok: true;
+}>]>;
+export type RecordOfferResponseOutput = z.infer<typeof RecordOfferResponseOutputSchema>;
+//# sourceMappingURL=tools.d.ts.map