windows-exe-decompiler-mcp-server 0.1.0 → 0.1.3

package/dist/tools/code-module-review.d.ts

@@ -0,0 +1,474 @@
+import { z } from 'zod';
+import type { ClientCapabilities, CreateMessageRequest, CreateMessageResult, CreateMessageResultWithTools, Implementation } from '@modelcontextprotocol/sdk/types.js';
+import type { ToolArgs, ToolDefinition, WorkerResult } from '../types.js';
+import type { WorkspaceManager } from '../workspace-manager.js';
+import type { DatabaseManager } from '../database.js';
+import type { CacheManager } from '../cache-manager.js';
+import type { MCPServer } from '../server.js';
+export declare const codeModuleReviewInputSchema: z.ZodEffects<z.ZodEffects<z.ZodObject<{
+    sample_id: z.ZodString;
+    topk: z.ZodDefault<z.ZodNumber>;
+    module_limit: z.ZodDefault<z.ZodNumber>;
+    min_module_size: z.ZodDefault<z.ZodNumber>;
+    include_imports: z.ZodDefault<z.ZodBoolean>;
+    include_strings: z.ZodDefault<z.ZodBoolean>;
+    analysis_goal: z.ZodDefault<z.ZodString>;
+    session_tag: z.ZodOptional<z.ZodString>;
+    evidence_scope: z.ZodDefault<z.ZodEnum<["all", "latest", "session"]>>;
+    evidence_session_tag: z.ZodOptional<z.ZodString>;
+    semantic_scope: z.ZodDefault<z.ZodEnum<["all", "latest", "session"]>>;
+    semantic_session_tag: z.ZodOptional<z.ZodString>;
+    role_target: z.ZodOptional<z.ZodString>;
+    role_focus_areas: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    role_priority_order: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    persist_artifact: z.ZodDefault<z.ZodBoolean>;
+    auto_apply: z.ZodDefault<z.ZodBoolean>;
+    temperature: z.ZodDefault<z.ZodNumber>;
+    max_tokens: z.ZodDefault<z.ZodNumber>;
+    include_context: z.ZodDefault<z.ZodEnum<["none", "thisServer", "allServers"]>>;
+    model_hint: z.ZodOptional<z.ZodString>;
+    cost_priority: z.ZodDefault<z.ZodNumber>;
+    speed_priority: z.ZodDefault<z.ZodNumber>;
+    intelligence_priority: z.ZodDefault<z.ZodNumber>;
+    system_prompt: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    include_strings: boolean;
+    topk: number;
+    semantic_scope: "all" | "latest" | "session";
+    module_limit: number;
+    min_module_size: number;
+    include_imports: boolean;
+    role_focus_areas: string[];
+    role_priority_order: string[];
+    persist_artifact: boolean;
+    temperature: number;
+    analysis_goal: string;
+    auto_apply: boolean;
+    max_tokens: number;
+    include_context: "none" | "thisServer" | "allServers";
+    cost_priority: number;
+    speed_priority: number;
+    intelligence_priority: number;
+    session_tag?: string | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+    role_target?: string | undefined;
+    model_hint?: string | undefined;
+    system_prompt?: string | undefined;
+}, {
+    sample_id: string;
+    session_tag?: string | undefined;
+    evidence_scope?: "all" | "latest" | "session" | undefined;
+    include_strings?: boolean | undefined;
+    topk?: number | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_scope?: "all" | "latest" | "session" | undefined;
+    semantic_session_tag?: string | undefined;
+    module_limit?: number | undefined;
+    min_module_size?: number | undefined;
+    include_imports?: boolean | undefined;
+    role_target?: string | undefined;
+    role_focus_areas?: string[] | undefined;
+    role_priority_order?: string[] | undefined;
+    persist_artifact?: boolean | undefined;
+    temperature?: number | undefined;
+    analysis_goal?: string | undefined;
+    auto_apply?: boolean | undefined;
+    max_tokens?: number | undefined;
+    include_context?: "none" | "thisServer" | "allServers" | undefined;
+    model_hint?: string | undefined;
+    cost_priority?: number | undefined;
+    speed_priority?: number | undefined;
+    intelligence_priority?: number | undefined;
+    system_prompt?: string | undefined;
+}>, {
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    include_strings: boolean;
+    topk: number;
+    semantic_scope: "all" | "latest" | "session";
+    module_limit: number;
+    min_module_size: number;
+    include_imports: boolean;
+    role_focus_areas: string[];
+    role_priority_order: string[];
+    persist_artifact: boolean;
+    temperature: number;
+    analysis_goal: string;
+    auto_apply: boolean;
+    max_tokens: number;
+    include_context: "none" | "thisServer" | "allServers";
+    cost_priority: number;
+    speed_priority: number;
+    intelligence_priority: number;
+    session_tag?: string | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+    role_target?: string | undefined;
+    model_hint?: string | undefined;
+    system_prompt?: string | undefined;
+}, {
+    sample_id: string;
+    session_tag?: string | undefined;
+    evidence_scope?: "all" | "latest" | "session" | undefined;
+    include_strings?: boolean | undefined;
+    topk?: number | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_scope?: "all" | "latest" | "session" | undefined;
+    semantic_session_tag?: string | undefined;
+    module_limit?: number | undefined;
+    min_module_size?: number | undefined;
+    include_imports?: boolean | undefined;
+    role_target?: string | undefined;
+    role_focus_areas?: string[] | undefined;
+    role_priority_order?: string[] | undefined;
+    persist_artifact?: boolean | undefined;
+    temperature?: number | undefined;
+    analysis_goal?: string | undefined;
+    auto_apply?: boolean | undefined;
+    max_tokens?: number | undefined;
+    include_context?: "none" | "thisServer" | "allServers" | undefined;
+    model_hint?: string | undefined;
+    cost_priority?: number | undefined;
+    speed_priority?: number | undefined;
+    intelligence_priority?: number | undefined;
+    system_prompt?: string | undefined;
+}>, {
+    sample_id: string;
+    evidence_scope: "all" | "latest" | "session";
+    include_strings: boolean;
+    topk: number;
+    semantic_scope: "all" | "latest" | "session";
+    module_limit: number;
+    min_module_size: number;
+    include_imports: boolean;
+    role_focus_areas: string[];
+    role_priority_order: string[];
+    persist_artifact: boolean;
+    temperature: number;
+    analysis_goal: string;
+    auto_apply: boolean;
+    max_tokens: number;
+    include_context: "none" | "thisServer" | "allServers";
+    cost_priority: number;
+    speed_priority: number;
+    intelligence_priority: number;
+    session_tag?: string | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_session_tag?: string | undefined;
+    role_target?: string | undefined;
+    model_hint?: string | undefined;
+    system_prompt?: string | undefined;
+}, {
+    sample_id: string;
+    session_tag?: string | undefined;
+    evidence_scope?: "all" | "latest" | "session" | undefined;
+    include_strings?: boolean | undefined;
+    topk?: number | undefined;
+    evidence_session_tag?: string | undefined;
+    semantic_scope?: "all" | "latest" | "session" | undefined;
+    semantic_session_tag?: string | undefined;
+    module_limit?: number | undefined;
+    min_module_size?: number | undefined;
+    include_imports?: boolean | undefined;
+    role_target?: string | undefined;
+    role_focus_areas?: string[] | undefined;
+    role_priority_order?: string[] | undefined;
+    persist_artifact?: boolean | undefined;
+    temperature?: number | undefined;
+    analysis_goal?: string | undefined;
+    auto_apply?: boolean | undefined;
+    max_tokens?: number | undefined;
+    include_context?: "none" | "thisServer" | "allServers" | undefined;
+    model_hint?: string | undefined;
+    cost_priority?: number | undefined;
+    speed_priority?: number | undefined;
+    intelligence_priority?: number | undefined;
+    system_prompt?: string | undefined;
+}>;
+export declare const codeModuleReviewOutputSchema: z.ZodObject<{
+    ok: z.ZodBoolean;
+    data: z.ZodOptional<z.ZodObject<{
+        sample_id: z.ZodString;
+        review_status: z.ZodEnum<["sampled_and_applied", "sampled_only", "prompt_contract_only", "no_targets", "sampling_parse_failed"]>;
+        prompt_name: z.ZodLiteral<"reverse.module_reconstruction_review">;
+        prompt_arguments: z.ZodObject<{
+            analysis_goal: z.ZodString;
+            prepared_bundle_json: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        }, {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        }>;
+        task_prompt: z.ZodString;
+        client: z.ZodObject<{
+            name: z.ZodNullable<z.ZodString>;
+            version: z.ZodNullable<z.ZodString>;
+            sampling_available: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            name: string | null;
+            version: string | null;
+            sampling_available: boolean;
+        }, {
+            name: string | null;
+            version: string | null;
+            sampling_available: boolean;
+        }>;
+        prepare: z.ZodObject<{
+            prepared_count: z.ZodNumber;
+            artifact_id: z.ZodNullable<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            prepared_count: number;
+            artifact_id: string | null;
+        }, {
+            prepared_count: number;
+            artifact_id: string | null;
+        }>;
+        sampling: z.ZodObject<{
+            attempted: z.ZodBoolean;
+            model: z.ZodNullable<z.ZodString>;
+            stop_reason: z.ZodNullable<z.ZodString>;
+            response_text: z.ZodNullable<z.ZodString>;
+            parsed_review_count: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            attempted: boolean;
+            model: string | null;
+            stop_reason: string | null;
+            response_text: string | null;
+            parsed_review_count: number;
+        }, {
+            attempted: boolean;
+            model: string | null;
+            stop_reason: string | null;
+            response_text: string | null;
+            parsed_review_count: number;
+        }>;
+        apply: z.ZodObject<{
+            attempted: z.ZodBoolean;
+            accepted_count: z.ZodNumber;
+            rejected_count: z.ZodNumber;
+            artifact_id: z.ZodNullable<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            attempted: boolean;
+            accepted_count: number;
+            rejected_count: number;
+            artifact_id: string | null;
+        }, {
+            attempted: boolean;
+            accepted_count: number;
+            rejected_count: number;
+            artifact_id: string | null;
+        }>;
+        confidence_policy: z.ZodObject<{
+            calibrated: z.ZodBoolean;
+            review_scores_are_heuristic: z.ZodBoolean;
+            meaning: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            calibrated: boolean;
+            meaning: string;
+            review_scores_are_heuristic: boolean;
+        }, {
+            calibrated: boolean;
+            meaning: string;
+            review_scores_are_heuristic: boolean;
+        }>;
+        next_steps: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        sample_id: string;
+        client: {
+            name: string | null;
+            version: string | null;
+            sampling_available: boolean;
+        };
+        next_steps: string[];
+        sampling: {
+            attempted: boolean;
+            model: string | null;
+            stop_reason: string | null;
+            response_text: string | null;
+            parsed_review_count: number;
+        };
+        prompt_name: "reverse.module_reconstruction_review";
+        prompt_arguments: {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        };
+        task_prompt: string;
+        review_status: "sampled_and_applied" | "sampled_only" | "prompt_contract_only" | "no_targets" | "sampling_parse_failed";
+        prepare: {
+            prepared_count: number;
+            artifact_id: string | null;
+        };
+        apply: {
+            attempted: boolean;
+            accepted_count: number;
+            rejected_count: number;
+            artifact_id: string | null;
+        };
+        confidence_policy: {
+            calibrated: boolean;
+            meaning: string;
+            review_scores_are_heuristic: boolean;
+        };
+    }, {
+        sample_id: string;
+        client: {
+            name: string | null;
+            version: string | null;
+            sampling_available: boolean;
+        };
+        next_steps: string[];
+        sampling: {
+            attempted: boolean;
+            model: string | null;
+            stop_reason: string | null;
+            response_text: string | null;
+            parsed_review_count: number;
+        };
+        prompt_name: "reverse.module_reconstruction_review";
+        prompt_arguments: {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        };
+        task_prompt: string;
+        review_status: "sampled_and_applied" | "sampled_only" | "prompt_contract_only" | "no_targets" | "sampling_parse_failed";
+        prepare: {
+            prepared_count: number;
+            artifact_id: string | null;
+        };
+        apply: {
+            attempted: boolean;
+            accepted_count: number;
+            rejected_count: number;
+            artifact_id: string | null;
+        };
+        confidence_policy: {
+            calibrated: boolean;
+            meaning: string;
+            review_scores_are_heuristic: boolean;
+        };
+    }>>;
+    warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    errors: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    artifacts: z.ZodOptional<z.ZodArray<z.ZodAny, "many">>;
+    metrics: z.ZodOptional<z.ZodObject<{
+        elapsed_ms: z.ZodNumber;
+        tool: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        elapsed_ms: number;
+        tool: string;
+    }, {
+        elapsed_ms: number;
+        tool: string;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    ok: boolean;
+    data?: {
+        sample_id: string;
+        client: {
+            name: string | null;
+            version: string | null;
+            sampling_available: boolean;
+        };
+        next_steps: string[];
+        sampling: {
+            attempted: boolean;
+            model: string | null;
+            stop_reason: string | null;
+            response_text: string | null;
+            parsed_review_count: number;
+        };
+        prompt_name: "reverse.module_reconstruction_review";
+        prompt_arguments: {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        };
+        task_prompt: string;
+        review_status: "sampled_and_applied" | "sampled_only" | "prompt_contract_only" | "no_targets" | "sampling_parse_failed";
+        prepare: {
+            prepared_count: number;
+            artifact_id: string | null;
+        };
+        apply: {
+            attempted: boolean;
+            accepted_count: number;
+            rejected_count: number;
+            artifact_id: string | null;
+        };
+        confidence_policy: {
+            calibrated: boolean;
+            meaning: string;
+            review_scores_are_heuristic: boolean;
+        };
+    } | undefined;
+    metrics?: {
+        elapsed_ms: number;
+        tool: string;
+    } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+    artifacts?: any[] | undefined;
+}, {
+    ok: boolean;
+    data?: {
+        sample_id: string;
+        client: {
+            name: string | null;
+            version: string | null;
+            sampling_available: boolean;
+        };
+        next_steps: string[];
+        sampling: {
+            attempted: boolean;
+            model: string | null;
+            stop_reason: string | null;
+            response_text: string | null;
+            parsed_review_count: number;
+        };
+        prompt_name: "reverse.module_reconstruction_review";
+        prompt_arguments: {
+            prepared_bundle_json: string;
+            analysis_goal: string;
+        };
+        task_prompt: string;
+        review_status: "sampled_and_applied" | "sampled_only" | "prompt_contract_only" | "no_targets" | "sampling_parse_failed";
+        prepare: {
+            prepared_count: number;
+            artifact_id: string | null;
+        };
+        apply: {
+            attempted: boolean;
+            accepted_count: number;
+            rejected_count: number;
+            artifact_id: string | null;
+        };
+        confidence_policy: {
+            calibrated: boolean;
+            meaning: string;
+            review_scores_are_heuristic: boolean;
+        };
+    } | undefined;
+    metrics?: {
+        elapsed_ms: number;
+        tool: string;
+    } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+    artifacts?: any[] | undefined;
+}>;
+export declare const codeModuleReviewToolDefinition: ToolDefinition;
+type SamplingResult = CreateMessageResult | CreateMessageResultWithTools;
+interface CodeModuleReviewDependencies {
+    prepareHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    applyHandler?: (args: ToolArgs) => Promise<WorkerResult>;
+    samplingRequester?: (params: CreateMessageRequest['params']) => Promise<SamplingResult>;
+    clientCapabilitiesProvider?: () => ClientCapabilities | undefined;
+    clientVersionProvider?: () => Implementation | undefined;
+}
+export declare function createCodeModuleReviewHandler(workspaceManager: WorkspaceManager, database: DatabaseManager, cacheManager: CacheManager, mcpServer?: MCPServer, dependencies?: CodeModuleReviewDependencies): (args: ToolArgs) => Promise<WorkerResult>;
+export {};
+//# sourceMappingURL=code-module-review.d.ts.map