@deepthonk/mcp 0.1.0

package/dist/tools.d.ts

@@ -0,0 +1,533 @@
+import { z } from "zod";
+export declare const toolNames: readonly ["deepthonk.plan", "deepthonk.start", "deepthonk.status", "deepthonk.result", "deepthonk.cancel", "deepthonk.run", "deepthonk.rank", "deepthonk.mutate", "deepthonk.resume", "deepthonk.export"];
+export declare const planArgsSchema: z.ZodObject<{
+    profile: z.ZodDefault<z.ZodEnum<["quick", "balanced", "paper"]>>;
+    n: z.ZodOptional<z.ZodNumber>;
+    k: z.ZodOptional<z.ZodNumber>;
+    t: z.ZodOptional<z.ZodNumber>;
+    m: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    profile: "quick" | "balanced" | "paper";
+    n?: number | undefined;
+    k?: number | undefined;
+    t?: number | undefined;
+    m?: number | undefined;
+}, {
+    profile?: "quick" | "balanced" | "paper" | undefined;
+    n?: number | undefined;
+    k?: number | undefined;
+    t?: number | undefined;
+    m?: number | undefined;
+}>;
+export declare const runArgsSchema: z.ZodObject<{
+    task: z.ZodString;
+    rubric: z.ZodOptional<z.ZodString>;
+    config_path: z.ZodOptional<z.ZodString>;
+    profile: z.ZodDefault<z.ZodEnum<["quick", "balanced", "paper"]>>;
+    prompt_style: z.ZodOptional<z.ZodEnum<["general", "paper-programming"]>>;
+    provider: z.ZodDefault<z.ZodEffects<z.ZodString, string, string>>;
+    base_url: z.ZodOptional<z.ZodString>;
+    api_key_env: z.ZodOptional<z.ZodString>;
+    generator_model: z.ZodOptional<z.ZodString>;
+    mutator_model: z.ZodOptional<z.ZodString>;
+    judge_model: z.ZodOptional<z.ZodString>;
+    finalizer_model: z.ZodOptional<z.ZodString>;
+    seed: z.ZodDefault<z.ZodNumber>;
+    run_dir: z.ZodOptional<z.ZodString>;
+    max_calls: z.ZodOptional<z.ZodNumber>;
+    max_input_tokens: z.ZodOptional<z.ZodNumber>;
+    max_output_tokens: z.ZodOptional<z.ZodNumber>;
+    max_usd: z.ZodOptional<z.ZodNumber>;
+    request_timeout_ms: z.ZodOptional<z.ZodNumber>;
+    n: z.ZodOptional<z.ZodNumber>;
+    k: z.ZodOptional<z.ZodNumber>;
+    t: z.ZodOptional<z.ZodNumber>;
+    m: z.ZodOptional<z.ZodNumber>;
+    lambda: z.ZodOptional<z.ZodNumber>;
+    sample_temperature: z.ZodOptional<z.ZodNumber>;
+    mutate_temperature: z.ZodOptional<z.ZodNumber>;
+    judge_temperature: z.ZodOptional<z.ZodNumber>;
+    concurrency: z.ZodOptional<z.ZodObject<{
+        generate: z.ZodOptional<z.ZodNumber>;
+        judge: z.ZodOptional<z.ZodNumber>;
+        mutate: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        generate?: number | undefined;
+        judge?: number | undefined;
+        mutate?: number | undefined;
+    }, {
+        generate?: number | undefined;
+        judge?: number | undefined;
+        mutate?: number | undefined;
+    }>>;
+    prompts: z.ZodOptional<z.ZodObject<{
+        generate: z.ZodOptional<z.ZodObject<{
+            system: z.ZodOptional<z.ZodString>;
+            user: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            system?: string | undefined;
+            user?: string | undefined;
+        }, {
+            system?: string | undefined;
+            user?: string | undefined;
+        }>>;
+        compare: z.ZodOptional<z.ZodObject<{
+            system: z.ZodOptional<z.ZodString>;
+            user: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            system?: string | undefined;
+            user?: string | undefined;
+        }, {
+            system?: string | undefined;
+            user?: string | undefined;
+        }>>;
+        mutate: z.ZodOptional<z.ZodObject<{
+            system: z.ZodOptional<z.ZodString>;
+            user: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            system?: string | undefined;
+            user?: string | undefined;
+        }, {
+            system?: string | undefined;
+            user?: string | undefined;
+        }>>;
+        finalize: z.ZodOptional<z.ZodObject<{
+            system: z.ZodOptional<z.ZodString>;
+            user: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            system?: string | undefined;
+            user?: string | undefined;
+        }, {
+            system?: string | undefined;
+            user?: string | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        generate?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+        mutate?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+        compare?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+        finalize?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+    }, {
+        generate?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+        mutate?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+        compare?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+        finalize?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    task: string;
+    profile: "quick" | "balanced" | "paper";
+    provider: string;
+    seed: number;
+    rubric?: string | undefined;
+    run_dir?: string | undefined;
+    n?: number | undefined;
+    k?: number | undefined;
+    t?: number | undefined;
+    m?: number | undefined;
+    config_path?: string | undefined;
+    prompt_style?: "general" | "paper-programming" | undefined;
+    base_url?: string | undefined;
+    api_key_env?: string | undefined;
+    generator_model?: string | undefined;
+    mutator_model?: string | undefined;
+    judge_model?: string | undefined;
+    finalizer_model?: string | undefined;
+    max_calls?: number | undefined;
+    max_input_tokens?: number | undefined;
+    max_output_tokens?: number | undefined;
+    max_usd?: number | undefined;
+    request_timeout_ms?: number | undefined;
+    lambda?: number | undefined;
+    sample_temperature?: number | undefined;
+    mutate_temperature?: number | undefined;
+    judge_temperature?: number | undefined;
+    concurrency?: {
+        generate?: number | undefined;
+        judge?: number | undefined;
+        mutate?: number | undefined;
+    } | undefined;
+    prompts?: {
+        generate?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+        mutate?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+        compare?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+        finalize?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+    } | undefined;
+}, {
+    task: string;
+    rubric?: string | undefined;
+    run_dir?: string | undefined;
+    profile?: "quick" | "balanced" | "paper" | undefined;
+    n?: number | undefined;
+    k?: number | undefined;
+    t?: number | undefined;
+    m?: number | undefined;
+    config_path?: string | undefined;
+    prompt_style?: "general" | "paper-programming" | undefined;
+    provider?: string | undefined;
+    base_url?: string | undefined;
+    api_key_env?: string | undefined;
+    generator_model?: string | undefined;
+    mutator_model?: string | undefined;
+    judge_model?: string | undefined;
+    finalizer_model?: string | undefined;
+    seed?: number | undefined;
+    max_calls?: number | undefined;
+    max_input_tokens?: number | undefined;
+    max_output_tokens?: number | undefined;
+    max_usd?: number | undefined;
+    request_timeout_ms?: number | undefined;
+    lambda?: number | undefined;
+    sample_temperature?: number | undefined;
+    mutate_temperature?: number | undefined;
+    judge_temperature?: number | undefined;
+    concurrency?: {
+        generate?: number | undefined;
+        judge?: number | undefined;
+        mutate?: number | undefined;
+    } | undefined;
+    prompts?: {
+        generate?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+        mutate?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+        compare?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+        finalize?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+    } | undefined;
+}>;
+export declare const jobArgsSchema: z.ZodObject<{
+    run_dir: z.ZodOptional<z.ZodString>;
+    job_id: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    run_dir?: string | undefined;
+    job_id?: string | undefined;
+}, {
+    run_dir?: string | undefined;
+    job_id?: string | undefined;
+}>;
+export declare const rankArgsSchema: z.ZodObject<{
+    config_path: z.ZodOptional<z.ZodString>;
+    provider: z.ZodDefault<z.ZodEffects<z.ZodString, string, string>>;
+    base_url: z.ZodOptional<z.ZodString>;
+    api_key_env: z.ZodOptional<z.ZodString>;
+    generator_model: z.ZodOptional<z.ZodString>;
+    mutator_model: z.ZodOptional<z.ZodString>;
+    judge_model: z.ZodOptional<z.ZodString>;
+    finalizer_model: z.ZodOptional<z.ZodString>;
+} & {
+    task: z.ZodString;
+    rubric: z.ZodOptional<z.ZodString>;
+    candidates: z.ZodArray<z.ZodUnion<[z.ZodString, z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        content: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        content: string;
+        id?: string | undefined;
+    }, {
+        content: string;
+        id?: string | undefined;
+    }>]>, "many">;
+}, "strip", z.ZodTypeAny, {
+    task: string;
+    candidates: (string | {
+        content: string;
+        id?: string | undefined;
+    })[];
+    provider: string;
+    rubric?: string | undefined;
+    config_path?: string | undefined;
+    base_url?: string | undefined;
+    api_key_env?: string | undefined;
+    generator_model?: string | undefined;
+    mutator_model?: string | undefined;
+    judge_model?: string | undefined;
+    finalizer_model?: string | undefined;
+}, {
+    task: string;
+    candidates: (string | {
+        content: string;
+        id?: string | undefined;
+    })[];
+    rubric?: string | undefined;
+    config_path?: string | undefined;
+    provider?: string | undefined;
+    base_url?: string | undefined;
+    api_key_env?: string | undefined;
+    generator_model?: string | undefined;
+    mutator_model?: string | undefined;
+    judge_model?: string | undefined;
+    finalizer_model?: string | undefined;
+}>;
+export declare const mutateArgsSchema: z.ZodObject<{
+    config_path: z.ZodOptional<z.ZodString>;
+    provider: z.ZodDefault<z.ZodEffects<z.ZodString, string, string>>;
+    base_url: z.ZodOptional<z.ZodString>;
+    api_key_env: z.ZodOptional<z.ZodString>;
+    generator_model: z.ZodOptional<z.ZodString>;
+    mutator_model: z.ZodOptional<z.ZodString>;
+    judge_model: z.ZodOptional<z.ZodString>;
+    finalizer_model: z.ZodOptional<z.ZodString>;
+} & {
+    task: z.ZodString;
+    rubric: z.ZodOptional<z.ZodString>;
+    candidate: z.ZodString;
+    critique: z.ZodDefault<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    task: string;
+    candidate: string;
+    critique: string;
+    provider: string;
+    rubric?: string | undefined;
+    config_path?: string | undefined;
+    base_url?: string | undefined;
+    api_key_env?: string | undefined;
+    generator_model?: string | undefined;
+    mutator_model?: string | undefined;
+    judge_model?: string | undefined;
+    finalizer_model?: string | undefined;
+}, {
+    task: string;
+    candidate: string;
+    rubric?: string | undefined;
+    critique?: string | undefined;
+    config_path?: string | undefined;
+    provider?: string | undefined;
+    base_url?: string | undefined;
+    api_key_env?: string | undefined;
+    generator_model?: string | undefined;
+    mutator_model?: string | undefined;
+    judge_model?: string | undefined;
+    finalizer_model?: string | undefined;
+}>;
+export declare const resumeArgsSchema: z.ZodObject<{
+    run_dir: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    run_dir: string;
+}, {
+    run_dir: string;
+}>;
+export declare const exportArgsSchema: z.ZodObject<{
+    run_dir: z.ZodString;
+    format: z.ZodDefault<z.ZodEnum<["json", "markdown", "jsonl"]>>;
+}, "strip", z.ZodTypeAny, {
+    run_dir: string;
+    format: "json" | "markdown" | "jsonl";
+}, {
+    run_dir: string;
+    format?: "json" | "markdown" | "jsonl" | undefined;
+}>;
+export declare const runOutputSchema: z.ZodObject<{
+    run_id: z.ZodString;
+    winner_id: z.ZodString;
+    final_answer: z.ZodString;
+    summary_resource: z.ZodString;
+    trace_resource: z.ZodString;
+    run_dir: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    run_dir: string;
+    run_id: string;
+    winner_id: string;
+    final_answer: string;
+    summary_resource: string;
+    trace_resource: string;
+}, {
+    run_dir: string;
+    run_id: string;
+    winner_id: string;
+    final_answer: string;
+    summary_resource: string;
+    trace_resource: string;
+}>;
+export declare const startOutputSchema: z.ZodObject<{
+    job_id: z.ZodString;
+    run_dir: z.ZodString;
+    state: z.ZodString;
+    status_resource: z.ZodString;
+    result_resource: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    run_dir: string;
+    job_id: string;
+    state: string;
+    status_resource: string;
+    result_resource: string;
+}, {
+    run_dir: string;
+    job_id: string;
+    state: string;
+    status_resource: string;
+    result_resource: string;
+}>;
+export declare const statusOutputSchema: z.ZodObject<{
+    job_id: z.ZodOptional<z.ZodString>;
+    run_id: z.ZodOptional<z.ZodString>;
+    run_dir: z.ZodOptional<z.ZodString>;
+    state: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodString>;
+    phase: z.ZodOptional<z.ZodString>;
+    generation: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodLiteral<"final">]>>;
+    usage: z.ZodOptional<z.ZodObject<{}, "passthrough", z.ZodTypeAny, z.objectOutputType<{}, z.ZodTypeAny, "passthrough">, z.objectInputType<{}, z.ZodTypeAny, "passthrough">>>;
+    error: z.ZodOptional<z.ZodObject<{}, "passthrough", z.ZodTypeAny, z.objectOutputType<{}, z.ZodTypeAny, "passthrough">, z.objectInputType<{}, z.ZodTypeAny, "passthrough">>>;
+    message: z.ZodOptional<z.ZodString>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    job_id: z.ZodOptional<z.ZodString>;
+    run_id: z.ZodOptional<z.ZodString>;
+    run_dir: z.ZodOptional<z.ZodString>;
+    state: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodString>;
+    phase: z.ZodOptional<z.ZodString>;
+    generation: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodLiteral<"final">]>>;
+    usage: z.ZodOptional<z.ZodObject<{}, "passthrough", z.ZodTypeAny, z.objectOutputType<{}, z.ZodTypeAny, "passthrough">, z.objectInputType<{}, z.ZodTypeAny, "passthrough">>>;
+    error: z.ZodOptional<z.ZodObject<{}, "passthrough", z.ZodTypeAny, z.objectOutputType<{}, z.ZodTypeAny, "passthrough">, z.objectInputType<{}, z.ZodTypeAny, "passthrough">>>;
+    message: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    job_id: z.ZodOptional<z.ZodString>;
+    run_id: z.ZodOptional<z.ZodString>;
+    run_dir: z.ZodOptional<z.ZodString>;
+    state: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodString>;
+    phase: z.ZodOptional<z.ZodString>;
+    generation: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodLiteral<"final">]>>;
+    usage: z.ZodOptional<z.ZodObject<{}, "passthrough", z.ZodTypeAny, z.objectOutputType<{}, z.ZodTypeAny, "passthrough">, z.objectInputType<{}, z.ZodTypeAny, "passthrough">>>;
+    error: z.ZodOptional<z.ZodObject<{}, "passthrough", z.ZodTypeAny, z.objectOutputType<{}, z.ZodTypeAny, "passthrough">, z.objectInputType<{}, z.ZodTypeAny, "passthrough">>>;
+    message: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">>;
+export declare const resultOutputSchema: z.ZodObject<{
+    complete: z.ZodOptional<z.ZodBoolean>;
+    run_id: z.ZodOptional<z.ZodString>;
+    run_dir: z.ZodOptional<z.ZodString>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    complete: z.ZodOptional<z.ZodBoolean>;
+    run_id: z.ZodOptional<z.ZodString>;
+    run_dir: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    complete: z.ZodOptional<z.ZodBoolean>;
+    run_id: z.ZodOptional<z.ZodString>;
+    run_dir: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">>;
+export declare const cancelOutputSchema: z.ZodObject<{
+    cancel_requested: z.ZodBoolean;
+    run_dir: z.ZodOptional<z.ZodString>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    cancel_requested: z.ZodBoolean;
+    run_dir: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    cancel_requested: z.ZodBoolean;
+    run_dir: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">>;
+export declare const resumeOutputSchema: z.ZodObject<{
+    status: z.ZodString;
+    message: z.ZodString;
+    run_id: z.ZodOptional<z.ZodString>;
+    phase: z.ZodOptional<z.ZodString>;
+    generation: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodLiteral<"final">]>>;
+    safe_to_continue: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    status: string;
+    message: string;
+    run_id?: string | undefined;
+    phase?: string | undefined;
+    generation?: number | "final" | undefined;
+    safe_to_continue?: boolean | undefined;
+}, {
+    status: string;
+    message: string;
+    run_id?: string | undefined;
+    phase?: string | undefined;
+    generation?: number | "final" | undefined;
+    safe_to_continue?: boolean | undefined;
+}>;
+export declare const rankOutputSchema: z.ZodObject<{
+    scores: z.ZodArray<z.ZodObject<{}, "passthrough", z.ZodTypeAny, z.objectOutputType<{}, z.ZodTypeAny, "passthrough">, z.objectInputType<{}, z.ZodTypeAny, "passthrough">>, "many">;
+    comparisons: z.ZodArray<z.ZodObject<{}, "passthrough", z.ZodTypeAny, z.objectOutputType<{}, z.ZodTypeAny, "passthrough">, z.objectInputType<{}, z.ZodTypeAny, "passthrough">>, "many">;
+}, "strip", z.ZodTypeAny, {
+    comparisons: z.objectOutputType<{}, z.ZodTypeAny, "passthrough">[];
+    scores: z.objectOutputType<{}, z.ZodTypeAny, "passthrough">[];
+}, {
+    comparisons: z.objectInputType<{}, z.ZodTypeAny, "passthrough">[];
+    scores: z.objectInputType<{}, z.ZodTypeAny, "passthrough">[];
+}>;
+export declare const mutateOutputSchema: z.ZodObject<{
+    mutated: z.ZodString;
+    model: z.ZodOptional<z.ZodString>;
+    provider: z.ZodOptional<z.ZodString>;
+    usage: z.ZodOptional<z.ZodObject<{}, "passthrough", z.ZodTypeAny, z.objectOutputType<{}, z.ZodTypeAny, "passthrough">, z.objectInputType<{}, z.ZodTypeAny, "passthrough">>>;
+}, "strip", z.ZodTypeAny, {
+    mutated: string;
+    usage?: z.objectOutputType<{}, z.ZodTypeAny, "passthrough"> | undefined;
+    provider?: string | undefined;
+    model?: string | undefined;
+}, {
+    mutated: string;
+    usage?: z.objectInputType<{}, z.ZodTypeAny, "passthrough"> | undefined;
+    provider?: string | undefined;
+    model?: string | undefined;
+}>;
+export declare function deepthonkPlan(argsInput: unknown): Record<string, unknown>;
+export declare function deepthonkStart(argsInput: unknown): Promise<Record<string, unknown>>;
+export declare function deepthonkStatus(argsInput: unknown): Promise<Record<string, unknown>>;
+export declare function deepthonkResult(argsInput: unknown): Promise<Record<string, unknown>>;
+export declare function deepthonkCancel(argsInput: unknown): Promise<Record<string, unknown>>;
+export declare function deepthonkRun(argsInput: unknown): Promise<Record<string, unknown>>;
+export declare function deepthonkRank(argsInput: unknown): Promise<Record<string, unknown>>;
+export declare function deepthonkMutate(argsInput: unknown): Promise<Record<string, unknown>>;
+export declare function deepthonkResume(argsInput: unknown): Promise<Record<string, unknown>>;
+export declare function deepthonkExport(argsInput: unknown): Promise<Record<string, unknown>>;
+export declare function toolResult(value: unknown): {
+    structuredContent: Record<string, unknown>;
+    content: Array<{
+        type: "text";
+        text: string;
+    }>;
+};
+export declare function toolError(error: unknown, runDir?: string): {
+    isError: true;
+    structuredContent: Record<string, unknown>;
+    content: Array<{
+        type: "text";
+        text: string;
+    }>;
+};