midnight-mcp 0.1.27 → 0.1.29

package/dist/tools/repository/validation.d.ts

@@ -1,539 +1,8 @@
 /**
  * Contract validation handlers
- * Pre-compilation validation for Compact contracts using the Compact CLI
+ * Static analysis for Compact contracts
  */
-import type { ValidateContractInput, ExtractContractStructureInput } from "./schemas.js";
-/**
- * Validate a Compact contract by running the compiler
- * This provides pre-compilation validation with detailed error diagnostics
- */
-export declare function validateContract(input: ValidateContractInput): Promise<{
-    success: boolean;
-    errorType: string;
-    error: string;
-    message: string;
-    userAction: {
-        problem: string | undefined;
-        solution: string;
-        example: {
-            filePath: string;
-            withCode?: undefined;
-            withFile?: undefined;
-            instead?: undefined;
-            use?: undefined;
-        };
-        isUserFault: boolean;
-        details?: undefined;
-        detectedIncludes?: undefined;
-        fix?: undefined;
-        command?: undefined;
-        possibleCauses?: undefined;
-    };
-    detectedIssues?: undefined;
-    compilerInstalled?: undefined;
-    installation?: undefined;
-    compilerVersion?: undefined;
-    systemError?: undefined;
-    compilerPath?: undefined;
-    output?: undefined;
-    warnings?: undefined;
-    localIncludes?: undefined;
-    contractInfo?: undefined;
-    nextSteps?: undefined;
-    errorCategory?: undefined;
-    errors?: undefined;
-    errorCount?: undefined;
-    rawOutput?: undefined;
-    suggestions?: undefined;
-    commonFixes?: undefined;
-} | {
-    success: boolean;
-    errorType: string;
-    error: string;
-    message: string;
-    userAction: {
-        problem: string;
-        solution: string;
-        isUserFault: boolean;
-        example?: undefined;
-        details?: undefined;
-        detectedIncludes?: undefined;
-        fix?: undefined;
-        command?: undefined;
-        possibleCauses?: undefined;
-    };
-    detectedIssues?: undefined;
-    compilerInstalled?: undefined;
-    installation?: undefined;
-    compilerVersion?: undefined;
-    systemError?: undefined;
-    compilerPath?: undefined;
-    output?: undefined;
-    warnings?: undefined;
-    localIncludes?: undefined;
-    contractInfo?: undefined;
-    nextSteps?: undefined;
-    errorCategory?: undefined;
-    errors?: undefined;
-    errorCount?: undefined;
-    rawOutput?: undefined;
-    suggestions?: undefined;
-    commonFixes?: undefined;
-} | {
-    success: boolean;
-    errorType: string;
-    error: string;
-    message: string;
-    userAction: {
-        problem: string;
-        solution: string;
-        details: string | undefined;
-        isUserFault: boolean;
-        example?: undefined;
-        detectedIncludes?: undefined;
-        fix?: undefined;
-        command?: undefined;
-        possibleCauses?: undefined;
-    };
-    detectedIssues?: undefined;
-    compilerInstalled?: undefined;
-    installation?: undefined;
-    compilerVersion?: undefined;
-    systemError?: undefined;
-    compilerPath?: undefined;
-    output?: undefined;
-    warnings?: undefined;
-    localIncludes?: undefined;
-    contractInfo?: undefined;
-    nextSteps?: undefined;
-    errorCategory?: undefined;
-    errors?: undefined;
-    errorCount?: undefined;
-    rawOutput?: undefined;
-    suggestions?: undefined;
-    commonFixes?: undefined;
-} | {
-    success: boolean;
-    errorType: string;
-    error: string;
-    message: string;
-    userAction: {
-        problem: string;
-        solution: string;
-        example: {
-            withCode: {
-                code: string;
-            };
-            withFile: {
-                filePath: string;
-            };
-            filePath?: undefined;
-            instead?: undefined;
-            use?: undefined;
-        };
-        isUserFault: boolean;
-        details?: undefined;
-        detectedIncludes?: undefined;
-        fix?: undefined;
-        command?: undefined;
-        possibleCauses?: undefined;
-    };
-    detectedIssues?: undefined;
-    compilerInstalled?: undefined;
-    installation?: undefined;
-    compilerVersion?: undefined;
-    systemError?: undefined;
-    compilerPath?: undefined;
-    output?: undefined;
-    warnings?: undefined;
-    localIncludes?: undefined;
-    contractInfo?: undefined;
-    nextSteps?: undefined;
-    errorCategory?: undefined;
-    errors?: undefined;
-    errorCount?: undefined;
-    rawOutput?: undefined;
-    suggestions?: undefined;
-    commonFixes?: undefined;
-} | {
-    success: boolean;
-    errorType: string;
-    error: string;
-    message: string;
-    userAction: {
-        problem: string;
-        solution: string;
-        detectedIncludes: string[];
-        example: {
-            instead: string;
-            use: string;
-            filePath?: undefined;
-            withCode?: undefined;
-            withFile?: undefined;
-        };
-        isUserFault: boolean;
-        details?: undefined;
-        fix?: undefined;
-        command?: undefined;
-        possibleCauses?: undefined;
-    };
-    detectedIssues?: undefined;
-    compilerInstalled?: undefined;
-    installation?: undefined;
-    compilerVersion?: undefined;
-    systemError?: undefined;
-    compilerPath?: undefined;
-    output?: undefined;
-    warnings?: undefined;
-    localIncludes?: undefined;
-    contractInfo?: undefined;
-    nextSteps?: undefined;
-    errorCategory?: undefined;
-    errors?: undefined;
-    errorCount?: undefined;
-    rawOutput?: undefined;
-    suggestions?: undefined;
-    commonFixes?: undefined;
-} | {
-    success: boolean;
-    errorType: string;
-    error: string;
-    message: string;
-    userAction: {
-        problem: string;
-        solution: string;
-        example: string;
-        isUserFault?: undefined;
-        details?: undefined;
-        detectedIncludes?: undefined;
-        fix?: undefined;
-        command?: undefined;
-        possibleCauses?: undefined;
-    };
-    detectedIssues?: undefined;
-    compilerInstalled?: undefined;
-    installation?: undefined;
-    compilerVersion?: undefined;
-    systemError?: undefined;
-    compilerPath?: undefined;
-    output?: undefined;
-    warnings?: undefined;
-    localIncludes?: undefined;
-    contractInfo?: undefined;
-    nextSteps?: undefined;
-    errorCategory?: undefined;
-    errors?: undefined;
-    errorCount?: undefined;
-    rawOutput?: undefined;
-    suggestions?: undefined;
-    commonFixes?: undefined;
-} | {
-    success: boolean;
-    errorType: string;
-    error: string;
-    message: string;
-    userAction: {
-        problem: string;
-        solution: string;
-        example?: undefined;
-        isUserFault?: undefined;
-        details?: undefined;
-        detectedIncludes?: undefined;
-        fix?: undefined;
-        command?: undefined;
-        possibleCauses?: undefined;
-    };
-    detectedIssues?: undefined;
-    compilerInstalled?: undefined;
-    installation?: undefined;
-    compilerVersion?: undefined;
-    systemError?: undefined;
-    compilerPath?: undefined;
-    output?: undefined;
-    warnings?: undefined;
-    localIncludes?: undefined;
-    contractInfo?: undefined;
-    nextSteps?: undefined;
-    errorCategory?: undefined;
-    errors?: undefined;
-    errorCount?: undefined;
-    rawOutput?: undefined;
-    suggestions?: undefined;
-    commonFixes?: undefined;
-} | {
-    success: boolean;
-    errorType: string;
-    error: string;
-    message: string;
-    userAction: {
-        problem: string;
-        solution: string;
-        fix: string;
-        example: string;
-        isUserFault?: undefined;
-        details?: undefined;
-        detectedIncludes?: undefined;
-        command?: undefined;
-        possibleCauses?: undefined;
-    };
-    detectedIssues: string[];
-    compilerInstalled?: undefined;
-    installation?: undefined;
-    compilerVersion?: undefined;
-    systemError?: undefined;
-    compilerPath?: undefined;
-    output?: undefined;
-    warnings?: undefined;
-    localIncludes?: undefined;
-    contractInfo?: undefined;
-    nextSteps?: undefined;
-    errorCategory?: undefined;
-    errors?: undefined;
-    errorCount?: undefined;
-    rawOutput?: undefined;
-    suggestions?: undefined;
-    commonFixes?: undefined;
-} | {
-    success: boolean;
-    errorType: string;
-    compilerInstalled: boolean;
-    error: string;
-    message: string;
-    installation: {
-        message: string;
-        command: string;
-        postInstall: string[];
-        docs: string;
-    };
-    userAction: {
-        problem: string;
-        solution: string;
-        isUserFault: boolean;
-        example?: undefined;
-        details?: undefined;
-        detectedIncludes?: undefined;
-        fix?: undefined;
-        command?: undefined;
-        possibleCauses?: undefined;
-    };
-    detectedIssues?: undefined;
-    compilerVersion?: undefined;
-    systemError?: undefined;
-    compilerPath?: undefined;
-    output?: undefined;
-    warnings?: undefined;
-    localIncludes?: undefined;
-    contractInfo?: undefined;
-    nextSteps?: undefined;
-    errorCategory?: undefined;
-    errors?: undefined;
-    errorCount?: undefined;
-    rawOutput?: undefined;
-    suggestions?: undefined;
-    commonFixes?: undefined;
-} | {
-    success: boolean;
-    errorType: string;
-    compilerInstalled: boolean;
-    compilerVersion: string;
-    error: string;
-    message: string;
-    userAction: {
-        problem: string;
-        solution: string;
-        command: string;
-        isUserFault: boolean;
-        example?: undefined;
-        details?: undefined;
-        detectedIncludes?: undefined;
-        fix?: undefined;
-        possibleCauses?: undefined;
-    };
-    detectedIssues?: undefined;
-    installation?: undefined;
-    systemError?: undefined;
-    compilerPath?: undefined;
-    output?: undefined;
-    warnings?: undefined;
-    localIncludes?: undefined;
-    contractInfo?: undefined;
-    nextSteps?: undefined;
-    errorCategory?: undefined;
-    errors?: undefined;
-    errorCount?: undefined;
-    rawOutput?: undefined;
-    suggestions?: undefined;
-    commonFixes?: undefined;
-} | {
-    success: boolean;
-    errorType: string;
-    error: string;
-    message: string;
-    systemError: {
-        code: string | undefined;
-        details: string | undefined;
-        problem: string;
-        solution: string;
-        isUserFault: boolean;
-    };
-    userAction?: undefined;
-    detectedIssues?: undefined;
-    compilerInstalled?: undefined;
-    installation?: undefined;
-    compilerVersion?: undefined;
-    compilerPath?: undefined;
-    output?: undefined;
-    warnings?: undefined;
-    localIncludes?: undefined;
-    contractInfo?: undefined;
-    nextSteps?: undefined;
-    errorCategory?: undefined;
-    errors?: undefined;
-    errorCount?: undefined;
-    rawOutput?: undefined;
-    suggestions?: undefined;
-    commonFixes?: undefined;
-} | {
-    success: boolean;
-    errorType: string;
-    error: string;
-    message: string;
-    systemError: {
-        code: string | undefined;
-        details: string | undefined;
-        isUserFault: boolean;
-        problem?: undefined;
-        solution?: undefined;
-    };
-    userAction?: undefined;
-    detectedIssues?: undefined;
-    compilerInstalled?: undefined;
-    installation?: undefined;
-    compilerVersion?: undefined;
-    compilerPath?: undefined;
-    output?: undefined;
-    warnings?: undefined;
-    localIncludes?: undefined;
-    contractInfo?: undefined;
-    nextSteps?: undefined;
-    errorCategory?: undefined;
-    errors?: undefined;
-    errorCount?: undefined;
-    rawOutput?: undefined;
-    suggestions?: undefined;
-    commonFixes?: undefined;
-} | {
-    success: boolean;
-    errorType: null;
-    compilerInstalled: boolean;
-    compilerVersion: string;
-    compilerPath: string;
-    message: string;
-    output: string;
-    warnings: string[];
-    localIncludes: string[] | undefined;
-    contractInfo: {
-        filename: string;
-        codeLength: number;
-        lineCount: number;
-    };
-    nextSteps: string[];
-    error?: undefined;
-    userAction?: undefined;
-    detectedIssues?: undefined;
-    installation?: undefined;
-    systemError?: undefined;
-    errorCategory?: undefined;
-    errors?: undefined;
-    errorCount?: undefined;
-    rawOutput?: undefined;
-    suggestions?: undefined;
-    commonFixes?: undefined;
-} | {
-    success: boolean;
-    errorType: string;
-    compilerInstalled: boolean;
-    compilerVersion: string;
-    error: string;
-    message: string;
-    userAction: {
-        problem: string;
-        solution: string;
-        possibleCauses: string[];
-        isUserFault: boolean;
-        example?: undefined;
-        details?: undefined;
-        detectedIncludes?: undefined;
-        fix?: undefined;
-        command?: undefined;
-    };
-    detectedIssues?: undefined;
-    installation?: undefined;
-    systemError?: undefined;
-    compilerPath?: undefined;
-    output?: undefined;
-    warnings?: undefined;
-    localIncludes?: undefined;
-    contractInfo?: undefined;
-    nextSteps?: undefined;
-    errorCategory?: undefined;
-    errors?: undefined;
-    errorCount?: undefined;
-    rawOutput?: undefined;
-    suggestions?: undefined;
-    commonFixes?: undefined;
-} | {
-    success: boolean;
-    errorType: string;
-    errorCategory: {
-        category: string;
-        title: string;
-        explanation: string;
-        solution: string;
-    };
-    compilerInstalled: boolean;
-    compilerVersion: string;
-    compilerPath: string;
-    message: string;
-    errors: {
-        line?: number;
-        column?: number;
-        message: string;
-        severity: "error" | "warning";
-        context?: string;
-    }[];
-    errorCount: number;
-    rawOutput: string;
-    contractInfo: {
-        filename: string;
-        codeLength: number;
-        lineCount: number;
-    };
-    userAction: {
-        problem: string;
-        solution: string;
-        isUserFault: boolean;
-        example?: undefined;
-        details?: undefined;
-        detectedIncludes?: undefined;
-        fix?: undefined;
-        command?: undefined;
-        possibleCauses?: undefined;
-    };
-    suggestions: string[];
-    commonFixes: {
-        pattern: string;
-        fix: string;
-    }[];
-    error?: undefined;
-    detectedIssues?: undefined;
-    installation?: undefined;
-    systemError?: undefined;
-    output?: undefined;
-    warnings?: undefined;
-    localIncludes?: undefined;
-    nextSteps?: undefined;
-}>;
+import type { ExtractContractStructureInput } from "./schemas.js";
 /**
  * Extract the structure of a Compact contract (circuits, witnesses, ledger, etc.)
  * This helps agents understand what a contract does without parsing it themselves