@deepthonk/mcp 0.1.0 → 0.1.2

package/dist/tools.d.ts

@@ -1,6 +1,10 @@
+import type { ClientCapabilities } from "@modelcontextprotocol/sdk/types.js";
 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"];
+import { type SamplingTransport } from "@deepthonk/providers";
+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", "deepthonk.profile_list", "deepthonk.profile_show", "deepthonk.profile_save", "deepthonk.profile_delete"];
 export declare const planArgsSchema: z.ZodObject<{
+    config_path: z.ZodOptional<z.ZodString>;
+    profile_name: z.ZodOptional<z.ZodString>;
     profile: z.ZodDefault<z.ZodEnum<["quick", "balanced", "paper"]>>;
     n: z.ZodOptional<z.ZodNumber>;
     k: z.ZodOptional<z.ZodNumber>;
@@ -8,11 +12,15 @@ export declare const planArgsSchema: z.ZodObject<{
     m: z.ZodOptional<z.ZodNumber>;
 }, "strip", z.ZodTypeAny, {
     profile: "quick" | "balanced" | "paper";
+    config_path?: string | undefined;
+    profile_name?: string | undefined;
     n?: number | undefined;
     k?: number | undefined;
     t?: number | undefined;
     m?: number | undefined;
 }, {
+    config_path?: string | undefined;
+    profile_name?: string | undefined;
     profile?: "quick" | "balanced" | "paper" | undefined;
     n?: number | undefined;
     k?: number | undefined;
@@ -23,15 +31,20 @@ export declare const runArgsSchema: z.ZodObject<{
     task: z.ZodString;
     rubric: z.ZodOptional<z.ZodString>;
     config_path: z.ZodOptional<z.ZodString>;
+    profile_name: 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>>;
+    provider: z.ZodDefault<z.ZodString>;
     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>;
+    sampling_model_hints: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    sampling_cost_priority: z.ZodOptional<z.ZodNumber>;
+    sampling_speed_priority: z.ZodOptional<z.ZodNumber>;
+    sampling_intelligence_priority: z.ZodOptional<z.ZodNumber>;
     seed: z.ZodDefault<z.ZodNumber>;
     run_dir: z.ZodOptional<z.ZodString>;
     max_calls: z.ZodOptional<z.ZodNumber>;
@@ -47,6 +60,8 @@ export declare const runArgsSchema: z.ZodObject<{
     sample_temperature: z.ZodOptional<z.ZodNumber>;
     mutate_temperature: z.ZodOptional<z.ZodNumber>;
     judge_temperature: z.ZodOptional<z.ZodNumber>;
+    include_prompts: z.ZodOptional<z.ZodBoolean>;
+    include_raw_model_outputs: z.ZodOptional<z.ZodBoolean>;
     concurrency: z.ZodOptional<z.ZodObject<{
         generate: z.ZodOptional<z.ZodNumber>;
         judge: z.ZodOptional<z.ZodNumber>;
@@ -143,11 +158,12 @@ export declare const runArgsSchema: z.ZodObject<{
     seed: number;
     rubric?: string | undefined;
     run_dir?: string | undefined;
+    config_path?: string | undefined;
+    profile_name?: 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;
@@ -155,6 +171,10 @@ export declare const runArgsSchema: z.ZodObject<{
     mutator_model?: string | undefined;
     judge_model?: string | undefined;
     finalizer_model?: string | undefined;
+    sampling_model_hints?: string[] | undefined;
+    sampling_cost_priority?: number | undefined;
+    sampling_speed_priority?: number | undefined;
+    sampling_intelligence_priority?: number | undefined;
     max_calls?: number | undefined;
     max_input_tokens?: number | undefined;
     max_output_tokens?: number | undefined;
@@ -164,6 +184,8 @@ export declare const runArgsSchema: z.ZodObject<{
     sample_temperature?: number | undefined;
     mutate_temperature?: number | undefined;
     judge_temperature?: number | undefined;
+    include_prompts?: boolean | undefined;
+    include_raw_model_outputs?: boolean | undefined;
     concurrency?: {
         generate?: number | undefined;
         judge?: number | undefined;
@@ -191,12 +213,13 @@ export declare const runArgsSchema: z.ZodObject<{
     task: string;
     rubric?: string | undefined;
     run_dir?: string | undefined;
+    config_path?: string | undefined;
+    profile_name?: 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;
@@ -205,6 +228,10 @@ export declare const runArgsSchema: z.ZodObject<{
     mutator_model?: string | undefined;
     judge_model?: string | undefined;
     finalizer_model?: string | undefined;
+    sampling_model_hints?: string[] | undefined;
+    sampling_cost_priority?: number | undefined;
+    sampling_speed_priority?: number | undefined;
+    sampling_intelligence_priority?: number | undefined;
     seed?: number | undefined;
     max_calls?: number | undefined;
     max_input_tokens?: number | undefined;
@@ -215,6 +242,8 @@ export declare const runArgsSchema: z.ZodObject<{
     sample_temperature?: number | undefined;
     mutate_temperature?: number | undefined;
     judge_temperature?: number | undefined;
+    include_prompts?: boolean | undefined;
+    include_raw_model_outputs?: boolean | undefined;
     concurrency?: {
         generate?: number | undefined;
         judge?: number | undefined;
@@ -251,7 +280,8 @@ export declare const jobArgsSchema: z.ZodObject<{
 }>;
 export declare const rankArgsSchema: z.ZodObject<{
     config_path: z.ZodOptional<z.ZodString>;
-    provider: z.ZodDefault<z.ZodEffects<z.ZodString, string, string>>;
+    profile_name: z.ZodOptional<z.ZodString>;
+    provider: z.ZodDefault<z.ZodString>;
     base_url: z.ZodOptional<z.ZodString>;
     api_key_env: z.ZodOptional<z.ZodString>;
     generator_model: z.ZodOptional<z.ZodString>;
@@ -271,6 +301,32 @@ export declare const rankArgsSchema: z.ZodObject<{
         content: string;
         id?: string | undefined;
     }>]>, "many">;
+    judge_temperature: z.ZodOptional<z.ZodNumber>;
+    lambda: z.ZodOptional<z.ZodNumber>;
+    concurrency: z.ZodOptional<z.ZodNumber>;
+    prompt_style: z.ZodOptional<z.ZodEnum<["general", "paper-programming"]>>;
+    prompts: z.ZodOptional<z.ZodObject<{
+        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;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        compare?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+    }, {
+        compare?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+    }>>;
 }, "strip", z.ZodTypeAny, {
     task: string;
     candidates: (string | {
@@ -280,12 +336,23 @@ export declare const rankArgsSchema: z.ZodObject<{
     provider: string;
     rubric?: string | undefined;
     config_path?: string | undefined;
+    profile_name?: 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;
+    lambda?: number | undefined;
+    judge_temperature?: number | undefined;
+    concurrency?: number | undefined;
+    prompts?: {
+        compare?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+    } | undefined;
 }, {
     task: string;
     candidates: (string | {
@@ -294,6 +361,8 @@ export declare const rankArgsSchema: z.ZodObject<{
     })[];
     rubric?: string | undefined;
     config_path?: string | undefined;
+    profile_name?: string | undefined;
+    prompt_style?: "general" | "paper-programming" | undefined;
     provider?: string | undefined;
     base_url?: string | undefined;
     api_key_env?: string | undefined;
@@ -301,10 +370,20 @@ export declare const rankArgsSchema: z.ZodObject<{
     mutator_model?: string | undefined;
     judge_model?: string | undefined;
     finalizer_model?: string | undefined;
+    lambda?: number | undefined;
+    judge_temperature?: number | undefined;
+    concurrency?: number | undefined;
+    prompts?: {
+        compare?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+    } | undefined;
 }>;
 export declare const mutateArgsSchema: z.ZodObject<{
     config_path: z.ZodOptional<z.ZodString>;
-    provider: z.ZodDefault<z.ZodEffects<z.ZodString, string, string>>;
+    profile_name: z.ZodOptional<z.ZodString>;
+    provider: z.ZodDefault<z.ZodString>;
     base_url: z.ZodOptional<z.ZodString>;
     api_key_env: z.ZodOptional<z.ZodString>;
     generator_model: z.ZodOptional<z.ZodString>;
@@ -316,6 +395,30 @@ export declare const mutateArgsSchema: z.ZodObject<{
     rubric: z.ZodOptional<z.ZodString>;
     candidate: z.ZodString;
     critique: z.ZodDefault<z.ZodString>;
+    mutate_temperature: z.ZodOptional<z.ZodNumber>;
+    prompt_style: z.ZodOptional<z.ZodEnum<["general", "paper-programming"]>>;
+    prompts: z.ZodOptional<z.ZodObject<{
+        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;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        mutate?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+    }, {
+        mutate?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+    }>>;
 }, "strip", z.ZodTypeAny, {
     task: string;
     candidate: string;
@@ -323,18 +426,29 @@ export declare const mutateArgsSchema: z.ZodObject<{
     provider: string;
     rubric?: string | undefined;
     config_path?: string | undefined;
+    profile_name?: 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;
+    mutate_temperature?: number | undefined;
+    prompts?: {
+        mutate?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+    } | undefined;
 }, {
     task: string;
     candidate: string;
     rubric?: string | undefined;
     critique?: string | undefined;
     config_path?: string | undefined;
+    profile_name?: string | undefined;
+    prompt_style?: "general" | "paper-programming" | undefined;
     provider?: string | undefined;
     base_url?: string | undefined;
     api_key_env?: string | undefined;
@@ -342,13 +456,23 @@ export declare const mutateArgsSchema: z.ZodObject<{
     mutator_model?: string | undefined;
     judge_model?: string | undefined;
     finalizer_model?: string | undefined;
+    mutate_temperature?: number | undefined;
+    prompts?: {
+        mutate?: {
+            system?: string | undefined;
+            user?: string | undefined;
+        } | undefined;
+    } | undefined;
 }>;
 export declare const resumeArgsSchema: z.ZodObject<{
     run_dir: z.ZodString;
+    continue: z.ZodOptional<z.ZodBoolean>;
 }, "strip", z.ZodTypeAny, {
     run_dir: string;
+    continue?: boolean | undefined;
 }, {
     run_dir: string;
+    continue?: boolean | undefined;
 }>;
 export declare const exportArgsSchema: z.ZodObject<{
     run_dir: z.ZodString;
@@ -468,16 +592,16 @@ export declare const resumeOutputSchema: z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
     status: string;
     message: string;
+    generation?: number | "final" | undefined;
     run_id?: string | undefined;
     phase?: string | undefined;
-    generation?: number | "final" | undefined;
     safe_to_continue?: boolean | undefined;
 }, {
     status: string;
     message: string;
+    generation?: number | "final" | undefined;
     run_id?: string | undefined;
     phase?: string | undefined;
-    generation?: number | "final" | undefined;
     safe_to_continue?: boolean | undefined;
 }>;
 export declare const rankOutputSchema: z.ZodObject<{
@@ -507,14 +631,19 @@ export declare const mutateOutputSchema: z.ZodObject<{
     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 deepthonkPlanAsync(argsInput: unknown): Promise<Record<string, unknown>>;
+export interface McpSamplingContext {
+    getClientCapabilities(): ClientCapabilities | undefined;
+    createMessage: SamplingTransport;
+}
+export declare function deepthonkStart(argsInput: unknown, context?: McpSamplingContext): 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 deepthonkRun(argsInput: unknown, context?: McpSamplingContext): 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 deepthonkResume(argsInput: unknown, context?: McpSamplingContext): Promise<Record<string, unknown>>;
 export declare function deepthonkExport(argsInput: unknown): Promise<Record<string, unknown>>;
 export declare function toolResult(value: unknown): {
     structuredContent: Record<string, unknown>;
@@ -531,3 +660,136 @@ export declare function toolError(error: unknown, runDir?: string): {
         text: string;
     }>;
 };
+export declare const profileListArgsSchema: z.ZodObject<{}, "strip", z.ZodTypeAny, {}, {}>;
+export declare const profileNameArgsSchema: z.ZodObject<{
+    name: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    name: string;
+}, {
+    name: string;
+}>;
+export declare const profileSaveArgsSchema: z.ZodObject<{
+    name: z.ZodString;
+    force: z.ZodOptional<z.ZodBoolean>;
+    profile: z.ZodOptional<z.ZodEnum<["quick", "balanced", "paper"]>>;
+    prompt_style: z.ZodOptional<z.ZodEnum<["general", "paper-programming"]>>;
+    provider: z.ZodOptional<z.ZodString>;
+    base_url: z.ZodOptional<z.ZodString>;
+    api_key_env: z.ZodOptional<z.ZodString>;
+    models: z.ZodOptional<z.ZodObject<{
+        generator: z.ZodOptional<z.ZodString>;
+        mutator: z.ZodOptional<z.ZodString>;
+        judge: z.ZodOptional<z.ZodString>;
+        finalizer: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        judge?: string | undefined;
+        generator?: string | undefined;
+        mutator?: string | undefined;
+        finalizer?: string | undefined;
+    }, {
+        judge?: string | undefined;
+        generator?: string | undefined;
+        mutator?: string | undefined;
+        finalizer?: string | undefined;
+    }>>;
+    providers: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    algorithm: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    prompts: z.ZodOptional<z.ZodRecord<z.ZodString, 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;
+    }>>>;
+    budget: z.ZodOptional<z.ZodUnknown>;
+    concurrency: z.ZodOptional<z.ZodUnknown>;
+    retry: z.ZodOptional<z.ZodUnknown>;
+    output: z.ZodOptional<z.ZodUnknown>;
+}, "strict", z.ZodTypeAny, {
+    name: string;
+    profile?: "quick" | "balanced" | "paper" | undefined;
+    prompt_style?: "general" | "paper-programming" | undefined;
+    provider?: string | undefined;
+    base_url?: string | undefined;
+    api_key_env?: string | undefined;
+    concurrency?: unknown;
+    prompts?: Record<string, {
+        system?: string | undefined;
+        user?: string | undefined;
+    }> | undefined;
+    output?: unknown;
+    retry?: unknown;
+    budget?: unknown;
+    models?: {
+        judge?: string | undefined;
+        generator?: string | undefined;
+        mutator?: string | undefined;
+        finalizer?: string | undefined;
+    } | undefined;
+    providers?: Record<string, unknown> | undefined;
+    algorithm?: Record<string, unknown> | undefined;
+    force?: boolean | undefined;
+}, {
+    name: string;
+    profile?: "quick" | "balanced" | "paper" | undefined;
+    prompt_style?: "general" | "paper-programming" | undefined;
+    provider?: string | undefined;
+    base_url?: string | undefined;
+    api_key_env?: string | undefined;
+    concurrency?: unknown;
+    prompts?: Record<string, {
+        system?: string | undefined;
+        user?: string | undefined;
+    }> | undefined;
+    output?: unknown;
+    retry?: unknown;
+    budget?: unknown;
+    models?: {
+        judge?: string | undefined;
+        generator?: string | undefined;
+        mutator?: string | undefined;
+        finalizer?: string | undefined;
+    } | undefined;
+    providers?: Record<string, unknown> | undefined;
+    algorithm?: Record<string, unknown> | undefined;
+    force?: boolean | undefined;
+}>;
+export declare const profileListOutputSchema: z.ZodObject<{
+    profiles: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    profiles: string[];
+}, {
+    profiles: string[];
+}>;
+export declare const profileShowOutputSchema: z.ZodObject<{
+    profile: z.ZodObject<{}, "passthrough", z.ZodTypeAny, z.objectOutputType<{}, z.ZodTypeAny, "passthrough">, z.objectInputType<{}, z.ZodTypeAny, "passthrough">>;
+}, "strip", z.ZodTypeAny, {
+    profile: {} & {
+        [k: string]: unknown;
+    };
+}, {
+    profile: {} & {
+        [k: string]: unknown;
+    };
+}>;
+export declare const profileSaveOutputSchema: z.ZodObject<{
+    path: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    path: string;
+}, {
+    path: string;
+}>;
+export declare const profileDeleteOutputSchema: z.ZodObject<{
+    deleted: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    deleted: string;
+}, {
+    deleted: string;
+}>;
+export declare function deepthonkProfileList(_argsInput: unknown): Promise<Record<string, unknown>>;
+export declare function deepthonkProfileShow(argsInput: unknown): Promise<Record<string, unknown>>;
+export declare function deepthonkProfileSave(argsInput: unknown): Promise<Record<string, unknown>>;
+export declare function deepthonkProfileDelete(argsInput: unknown): Promise<Record<string, unknown>>;