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

package/dist/tools/system-health.d.ts

@@ -114,25 +114,25 @@ export declare const SystemHealthOutputSchema: z.ZodObject<{
                 details?: Record<string, any> | undefined;
             }>;
         }, "strip", z.ZodTypeAny, {
-            database: {
+            cache: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            workspace: {
+            database: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            ghidra: {
+            workspace: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            cache: {
+            ghidra: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
@@ -145,25 +145,25 @@ export declare const SystemHealthOutputSchema: z.ZodObject<{
                 details?: Record<string, any> | undefined;
             };
         }, {
-            database: {
+            cache: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            workspace: {
+            database: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            ghidra: {
+            workspace: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            cache: {
+            ghidra: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
@@ -202,30 +202,105 @@ export declare const SystemHealthOutputSchema: z.ZodObject<{
             sample_state_consistent: boolean | null;
         }>;
         recommendations: z.ZodArray<z.ZodString, "many">;
+        setup_actions: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            required: z.ZodBoolean;
+            kind: z.ZodEnum<["pip_install", "set_env", "provide_path", "verify_install"]>;
+            title: z.ZodString;
+            summary: z.ZodString;
+            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            env_var: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            value_hint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            examples: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            applies_to: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            id: string;
+            summary: string;
+            kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+            title: string;
+            required: boolean;
+            examples: string[];
+            applies_to: string[];
+            command?: string | null | undefined;
+            env_var?: string | null | undefined;
+            value_hint?: string | null | undefined;
+        }, {
+            id: string;
+            summary: string;
+            kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+            title: string;
+            required: boolean;
+            command?: string | null | undefined;
+            env_var?: string | null | undefined;
+            value_hint?: string | null | undefined;
+            examples?: string[] | undefined;
+            applies_to?: string[] | undefined;
+        }>, "many">;
+        required_user_inputs: z.ZodArray<z.ZodObject<{
+            key: z.ZodString;
+            label: z.ZodString;
+            summary: z.ZodString;
+            required: z.ZodBoolean;
+            env_vars: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            examples: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            summary: string;
+            label: string;
+            required: boolean;
+            examples: string[];
+            key: string;
+            env_vars: string[];
+        }, {
+            summary: string;
+            label: string;
+            required: boolean;
+            key: string;
+            examples?: string[] | undefined;
+            env_vars?: string[] | undefined;
+        }>, "many">;
     }, "strip", z.ZodTypeAny, {
         checked_at: string;
+        setup_actions: {
+            id: string;
+            summary: string;
+            kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+            title: string;
+            required: boolean;
+            examples: string[];
+            applies_to: string[];
+            command?: string | null | undefined;
+            env_var?: string | null | undefined;
+            value_hint?: string | null | undefined;
+        }[];
+        required_user_inputs: {
+            summary: string;
+            label: string;
+            required: boolean;
+            examples: string[];
+            key: string;
+            env_vars: string[];
+        }[];
         recommendations: string[];
-        overall_status: "degraded" | "healthy" | "unhealthy";
         components: {
-            database: {
+            cache: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            workspace: {
+            database: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            ghidra: {
+            workspace: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            cache: {
+            ghidra: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
@@ -238,6 +313,7 @@ export declare const SystemHealthOutputSchema: z.ZodObject<{
                 details?: Record<string, any> | undefined;
             };
         };
+        overall_status: "degraded" | "healthy" | "unhealthy";
         cache_observability: {
             created_at: string | null;
             key: string | null;
@@ -249,28 +325,47 @@ export declare const SystemHealthOutputSchema: z.ZodObject<{
         };
     }, {
         checked_at: string;
+        setup_actions: {
+            id: string;
+            summary: string;
+            kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+            title: string;
+            required: boolean;
+            command?: string | null | undefined;
+            env_var?: string | null | undefined;
+            value_hint?: string | null | undefined;
+            examples?: string[] | undefined;
+            applies_to?: string[] | undefined;
+        }[];
+        required_user_inputs: {
+            summary: string;
+            label: string;
+            required: boolean;
+            key: string;
+            examples?: string[] | undefined;
+            env_vars?: string[] | undefined;
+        }[];
         recommendations: string[];
-        overall_status: "degraded" | "healthy" | "unhealthy";
         components: {
-            database: {
+            cache: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            workspace: {
+            database: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            ghidra: {
+            workspace: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            cache: {
+            ghidra: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
@@ -283,6 +378,7 @@ export declare const SystemHealthOutputSchema: z.ZodObject<{
                 details?: Record<string, any> | undefined;
             };
         };
+        overall_status: "degraded" | "healthy" | "unhealthy";
         cache_observability: {
             created_at: string | null;
             key: string | null;
@@ -307,34 +403,49 @@ export declare const SystemHealthOutputSchema: z.ZodObject<{
     }>>;
 }, "strip", z.ZodTypeAny, {
     ok: boolean;
-    metrics?: {
-        elapsed_ms: number;
-        tool: string;
-    } | undefined;
     data?: {
         checked_at: string;
+        setup_actions: {
+            id: string;
+            summary: string;
+            kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+            title: string;
+            required: boolean;
+            examples: string[];
+            applies_to: string[];
+            command?: string | null | undefined;
+            env_var?: string | null | undefined;
+            value_hint?: string | null | undefined;
+        }[];
+        required_user_inputs: {
+            summary: string;
+            label: string;
+            required: boolean;
+            examples: string[];
+            key: string;
+            env_vars: string[];
+        }[];
         recommendations: string[];
-        overall_status: "degraded" | "healthy" | "unhealthy";
         components: {
-            database: {
+            cache: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            workspace: {
+            database: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            ghidra: {
+            workspace: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            cache: {
+            ghidra: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
@@ -347,6 +458,7 @@ export declare const SystemHealthOutputSchema: z.ZodObject<{
                 details?: Record<string, any> | undefined;
             };
         };
+        overall_status: "degraded" | "healthy" | "unhealthy";
         cache_observability: {
             created_at: string | null;
             key: string | null;
@@ -357,38 +469,57 @@ export declare const SystemHealthOutputSchema: z.ZodObject<{
             sample_state_consistent: boolean | null;
         };
     } | undefined;
-    warnings?: string[] | undefined;
-    errors?: string[] | undefined;
-}, {
-    ok: boolean;
     metrics?: {
         elapsed_ms: number;
         tool: string;
     } | undefined;
+    warnings?: string[] | undefined;
+    errors?: string[] | undefined;
+}, {
+    ok: boolean;
     data?: {
         checked_at: string;
+        setup_actions: {
+            id: string;
+            summary: string;
+            kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+            title: string;
+            required: boolean;
+            command?: string | null | undefined;
+            env_var?: string | null | undefined;
+            value_hint?: string | null | undefined;
+            examples?: string[] | undefined;
+            applies_to?: string[] | undefined;
+        }[];
+        required_user_inputs: {
+            summary: string;
+            label: string;
+            required: boolean;
+            key: string;
+            examples?: string[] | undefined;
+            env_vars?: string[] | undefined;
+        }[];
         recommendations: string[];
-        overall_status: "degraded" | "healthy" | "unhealthy";
         components: {
-            database: {
+            cache: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            workspace: {
+            database: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            ghidra: {
+            workspace: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
                 details?: Record<string, any> | undefined;
             };
-            cache: {
+            ghidra: {
                 status: "degraded" | "skipped" | "healthy" | "unhealthy";
                 ok: boolean;
                 error?: string | null | undefined;
@@ -401,6 +532,7 @@ export declare const SystemHealthOutputSchema: z.ZodObject<{
                 details?: Record<string, any> | undefined;
             };
         };
+        overall_status: "degraded" | "healthy" | "unhealthy";
         cache_observability: {
             created_at: string | null;
             key: string | null;
@@ -411,6 +543,10 @@ export declare const SystemHealthOutputSchema: z.ZodObject<{
             sample_state_consistent: boolean | null;
         };
     } | undefined;
+    metrics?: {
+        elapsed_ms: number;
+        tool: string;
+    } | undefined;
     warnings?: string[] | undefined;
     errors?: string[] | undefined;
 }>;

package/dist/tools/system-health.js

@@ -11,6 +11,7 @@ import { z } from 'zod';
 import { checkGhidraHealth } from '../ghidra-config.js';
 import { resolvePackagePath } from '../runtime-paths.js';
 import { lookupCachedResult } from './cache-observability.js';
+import { RequiredUserInputSchema, SetupActionSchema, buildBaselinePythonSetupActions, buildGhidraRequiredUserInputs, buildGhidraSetupActions, buildPyGhidraSetupActions, mergeRequiredUserInputs, mergeSetupActions, } from '../setup-guidance.js';
 const TOOL_NAME = 'system.health';
 const ComponentSchema = z.object({
     status: z.enum(['healthy', 'degraded', 'unhealthy', 'skipped']),
@@ -67,6 +68,8 @@ export const SystemHealthOutputSchema = z.object({
         }),
         cache_observability: CacheObservabilitySchema,
         recommendations: z.array(z.string()),
+        setup_actions: z.array(SetupActionSchema),
+        required_user_inputs: z.array(RequiredUserInputSchema),
     })
         .optional(),
     warnings: z.array(z.string()).optional(),
@@ -198,6 +201,8 @@ export function createSystemHealthHandler(workspaceManager, database, dependenci
         const startTime = Date.now();
         try {
             const recommendations = [];
+            let setupActions = [];
+            let requiredUserInputs = [];
             const warnings = [];
             const workspaceRoot = workspaceManager.getWorkspaceRoot();
             let workspaceComponent;
@@ -254,9 +259,12 @@ export function createSystemHealthHandler(workspaceManager, database, dependenci
                     if (ghidraStatus.checks?.pyghidra_available === false) {
                         warnings.push('PyGhidra is unavailable; Python post-scripts may fail and Java fallback will be used.');
                         recommendations.push('Install pyghidra in the active Python environment to improve script compatibility.');
+                        setupActions = mergeSetupActions(setupActions, buildPyGhidraSetupActions());
                     }
                     if (!ghidraStatus.ok) {
                         recommendations.push('Fix Ghidra install path or launch check before decompiler workloads.');
+                        setupActions = mergeSetupActions(setupActions, buildGhidraSetupActions());
+                        requiredUserInputs = mergeRequiredUserInputs(requiredUserInputs, buildGhidraRequiredUserInputs());
                     }
                 }
                 catch (error) {
@@ -266,6 +274,8 @@ export function createSystemHealthHandler(workspaceManager, database, dependenci
                         error: normalizeError(error),
                     };
                     recommendations.push('Investigate ghidra.health probe failure.');
+                    setupActions = mergeSetupActions(setupActions, buildGhidraSetupActions(), buildPyGhidraSetupActions());
+                    requiredUserInputs = mergeRequiredUserInputs(requiredUserInputs, buildGhidraRequiredUserInputs());
                 }
             }
             let staticWorkerComponent = {
@@ -289,6 +299,7 @@ export function createSystemHealthHandler(workspaceManager, database, dependenci
                     };
                     if (status !== 'healthy') {
                         recommendations.push('Install/repair Python dependencies (yara-python, flare-floss, yara rules) for static analysis stability.');
+                        setupActions = mergeSetupActions(setupActions, buildBaselinePythonSetupActions());
                     }
                 }
                 catch (error) {
@@ -298,6 +309,7 @@ export function createSystemHealthHandler(workspaceManager, database, dependenci
                         error: normalizeError(error),
                     };
                     recommendations.push('Fix Python runtime or static worker startup to avoid analysis outages.');
+                    setupActions = mergeSetupActions(setupActions, buildBaselinePythonSetupActions());
                 }
             }
             let cacheComponent = {
@@ -423,6 +435,8 @@ export function createSystemHealthHandler(workspaceManager, database, dependenci
                     },
                     cache_observability: cacheObservability,
                     recommendations,
+                    setup_actions: setupActions,
+                    required_user_inputs: requiredUserInputs,
                 },
                 warnings: warnings.length > 0 ? warnings : undefined,
                 metrics: {

package/dist/tools/system-setup-guide.d.ts

@@ -0,0 +1,179 @@
+import { z } from 'zod';
+import type { ToolArgs, ToolDefinition, WorkerResult } from '../types.js';
+export declare const systemSetupGuideInputSchema: z.ZodObject<{
+    focus: z.ZodDefault<z.ZodEnum<["all", "python", "dynamic", "ghidra"]>>;
+    include_optional: z.ZodDefault<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    focus: "ghidra" | "all" | "python" | "dynamic";
+    include_optional: boolean;
+}, {
+    focus?: "ghidra" | "all" | "python" | "dynamic" | undefined;
+    include_optional?: boolean | undefined;
+}>;
+export declare const systemSetupGuideOutputSchema: z.ZodObject<{
+    ok: z.ZodBoolean;
+    data: z.ZodObject<{
+        focus: z.ZodEnum<["all", "python", "dynamic", "ghidra"]>;
+        setup_actions: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            required: z.ZodBoolean;
+            kind: z.ZodEnum<["pip_install", "set_env", "provide_path", "verify_install"]>;
+            title: z.ZodString;
+            summary: z.ZodString;
+            command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            env_var: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            value_hint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            examples: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            applies_to: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            id: string;
+            summary: string;
+            kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+            title: string;
+            required: boolean;
+            examples: string[];
+            applies_to: string[];
+            command?: string | null | undefined;
+            env_var?: string | null | undefined;
+            value_hint?: string | null | undefined;
+        }, {
+            id: string;
+            summary: string;
+            kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+            title: string;
+            required: boolean;
+            command?: string | null | undefined;
+            env_var?: string | null | undefined;
+            value_hint?: string | null | undefined;
+            examples?: string[] | undefined;
+            applies_to?: string[] | undefined;
+        }>, "many">;
+        required_user_inputs: z.ZodArray<z.ZodObject<{
+            key: z.ZodString;
+            label: z.ZodString;
+            summary: z.ZodString;
+            required: z.ZodBoolean;
+            env_vars: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            examples: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            summary: string;
+            label: string;
+            required: boolean;
+            examples: string[];
+            key: string;
+            env_vars: string[];
+        }, {
+            summary: string;
+            label: string;
+            required: boolean;
+            key: string;
+            examples?: string[] | undefined;
+            env_vars?: string[] | undefined;
+        }>, "many">;
+        notes: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        notes: string[];
+        setup_actions: {
+            id: string;
+            summary: string;
+            kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+            title: string;
+            required: boolean;
+            examples: string[];
+            applies_to: string[];
+            command?: string | null | undefined;
+            env_var?: string | null | undefined;
+            value_hint?: string | null | undefined;
+        }[];
+        required_user_inputs: {
+            summary: string;
+            label: string;
+            required: boolean;
+            examples: string[];
+            key: string;
+            env_vars: string[];
+        }[];
+        focus: "ghidra" | "all" | "python" | "dynamic";
+    }, {
+        notes: string[];
+        setup_actions: {
+            id: string;
+            summary: string;
+            kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+            title: string;
+            required: boolean;
+            command?: string | null | undefined;
+            env_var?: string | null | undefined;
+            value_hint?: string | null | undefined;
+            examples?: string[] | undefined;
+            applies_to?: string[] | undefined;
+        }[];
+        required_user_inputs: {
+            summary: string;
+            label: string;
+            required: boolean;
+            key: string;
+            examples?: string[] | undefined;
+            env_vars?: string[] | undefined;
+        }[];
+        focus: "ghidra" | "all" | "python" | "dynamic";
+    }>;
+    errors: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    data: {
+        notes: string[];
+        setup_actions: {
+            id: string;
+            summary: string;
+            kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+            title: string;
+            required: boolean;
+            examples: string[];
+            applies_to: string[];
+            command?: string | null | undefined;
+            env_var?: string | null | undefined;
+            value_hint?: string | null | undefined;
+        }[];
+        required_user_inputs: {
+            summary: string;
+            label: string;
+            required: boolean;
+            examples: string[];
+            key: string;
+            env_vars: string[];
+        }[];
+        focus: "ghidra" | "all" | "python" | "dynamic";
+    };
+    ok: boolean;
+    errors?: string[] | undefined;
+}, {
+    data: {
+        notes: string[];
+        setup_actions: {
+            id: string;
+            summary: string;
+            kind: "pip_install" | "set_env" | "provide_path" | "verify_install";
+            title: string;
+            required: boolean;
+            command?: string | null | undefined;
+            env_var?: string | null | undefined;
+            value_hint?: string | null | undefined;
+            examples?: string[] | undefined;
+            applies_to?: string[] | undefined;
+        }[];
+        required_user_inputs: {
+            summary: string;
+            label: string;
+            required: boolean;
+            key: string;
+            examples?: string[] | undefined;
+            env_vars?: string[] | undefined;
+        }[];
+        focus: "ghidra" | "all" | "python" | "dynamic";
+    };
+    ok: boolean;
+    errors?: string[] | undefined;
+}>;
+export declare const systemSetupGuideToolDefinition: ToolDefinition;
+export declare function createSystemSetupGuideHandler(): (args: ToolArgs) => Promise<WorkerResult>;
+//# sourceMappingURL=system-setup-guide.d.ts.map