midnight-mcp 0.1.17 → 0.1.18

package/dist/tools/meta.js

@@ -61,6 +61,14 @@ const CATEGORY_INFO = {
             "One-shot operations",
         ],
     },
+    validation: {
+        description: "Pre-compilation contract validation using the Compact compiler",
+        useCases: [
+            "Validate contract syntax",
+            "Catch errors before deployment",
+            "Get detailed error diagnostics",
+        ],
+    },
 };
 const listCategoriesOutputSchema = {
     type: "object",
@@ -258,6 +266,7 @@ export const metaTools = [
                         "generation",
                         "health",
                         "compound",
+                        "validation",
                     ],
                     description: "Category to list tools for",
                 },

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

@@ -3,6 +3,7 @@
  * Business logic for repository-related MCP tools
  */
 import type { GetFileInput, ListExamplesInput, GetLatestUpdatesInput, GetVersionInfoInput, CheckBreakingChangesInput, GetMigrationGuideInput, GetFileAtVersionInput, CompareSyntaxInput, GetLatestSyntaxInput, UpgradeCheckInput, FullRepoContextInput } from "./schemas.js";
+export { validateContract, extractContractStructure } from "./validation.js";
 /**
  * Resolve repository name alias to owner/repo
  */

package/dist/tools/repository/handlers.js

@@ -7,6 +7,8 @@ import { releaseTracker } from "../../pipeline/releases.js";
 import { logger, DEFAULT_REPOSITORIES, SelfCorrectionHints, } from "../../utils/index.js";
 import { REPO_ALIASES, EXAMPLES } from "./constants.js";
 import { EMBEDDED_DOCS } from "../../resources/content/docs-content.js";
+// Re-export validation handlers from validation.ts
+export { validateContract, extractContractStructure } from "./validation.js";
 /**
  * Resolve repository name alias to owner/repo
  */

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

@@ -2,8 +2,8 @@
  * Repository module exports
  * Barrel file for repository-related tools
  */
-export { GetFileInputSchema, ListExamplesInputSchema, GetLatestUpdatesInputSchema, GetVersionInfoInputSchema, CheckBreakingChangesInputSchema, GetMigrationGuideInputSchema, GetFileAtVersionInputSchema, CompareSyntaxInputSchema, GetLatestSyntaxInputSchema, type GetFileInput, type ListExamplesInput, type GetLatestUpdatesInput, type GetVersionInfoInput, type CheckBreakingChangesInput, type GetMigrationGuideInput, type GetFileAtVersionInput, type CompareSyntaxInput, type GetLatestSyntaxInput, } from "./schemas.js";
+export { GetFileInputSchema, ListExamplesInputSchema, GetLatestUpdatesInputSchema, GetVersionInfoInputSchema, CheckBreakingChangesInputSchema, GetMigrationGuideInputSchema, GetFileAtVersionInputSchema, CompareSyntaxInputSchema, GetLatestSyntaxInputSchema, ValidateContractInputSchema, ExtractContractStructureInputSchema, type GetFileInput, type ListExamplesInput, type GetLatestUpdatesInput, type GetVersionInfoInput, type CheckBreakingChangesInput, type GetMigrationGuideInput, type GetFileAtVersionInput, type CompareSyntaxInput, type GetLatestSyntaxInput, type ValidateContractInput, type ExtractContractStructureInput, } from "./schemas.js";
 export { REPO_ALIASES, EXAMPLES, type ExampleDefinition } from "./constants.js";
-export { resolveRepo, getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, } from "./handlers.js";
+export { resolveRepo, getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, validateContract, extractContractStructure, } from "./handlers.js";
 export { repositoryTools } from "./tools.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/tools/repository/index.js

@@ -3,11 +3,11 @@
  * Barrel file for repository-related tools
  */
 // Schemas and types
-export { GetFileInputSchema, ListExamplesInputSchema, GetLatestUpdatesInputSchema, GetVersionInfoInputSchema, CheckBreakingChangesInputSchema, GetMigrationGuideInputSchema, GetFileAtVersionInputSchema, CompareSyntaxInputSchema, GetLatestSyntaxInputSchema, } from "./schemas.js";
+export { GetFileInputSchema, ListExamplesInputSchema, GetLatestUpdatesInputSchema, GetVersionInfoInputSchema, CheckBreakingChangesInputSchema, GetMigrationGuideInputSchema, GetFileAtVersionInputSchema, CompareSyntaxInputSchema, GetLatestSyntaxInputSchema, ValidateContractInputSchema, ExtractContractStructureInputSchema, } from "./schemas.js";
 // Constants
 export { REPO_ALIASES, EXAMPLES } from "./constants.js";
 // Handlers
-export { resolveRepo, getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, } from "./handlers.js";
+export { resolveRepo, getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, validateContract, extractContractStructure, } from "./handlers.js";
 // Tools
 export { repositoryTools } from "./tools.js";
 //# sourceMappingURL=index.js.map

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

@@ -122,6 +122,43 @@ export declare const FullRepoContextInputSchema: z.ZodObject<{
     includeExamples?: boolean | undefined;
     includeSyntax?: boolean | undefined;
 }>;
+export declare const ValidateContractInputSchema: z.ZodEffects<z.ZodObject<{
+    code: z.ZodOptional<z.ZodString>;
+    filePath: z.ZodOptional<z.ZodString>;
+    filename: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+}, "strip", z.ZodTypeAny, {
+    filename: string;
+    code?: string | undefined;
+    filePath?: string | undefined;
+}, {
+    code?: string | undefined;
+    filePath?: string | undefined;
+    filename?: string | undefined;
+}>, {
+    filename: string;
+    code?: string | undefined;
+    filePath?: string | undefined;
+}, {
+    code?: string | undefined;
+    filePath?: string | undefined;
+    filename?: string | undefined;
+}>;
+export declare const ExtractContractStructureInputSchema: z.ZodEffects<z.ZodObject<{
+    code: z.ZodOptional<z.ZodString>;
+    filePath: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    code?: string | undefined;
+    filePath?: string | undefined;
+}, {
+    code?: string | undefined;
+    filePath?: string | undefined;
+}>, {
+    code?: string | undefined;
+    filePath?: string | undefined;
+}, {
+    code?: string | undefined;
+    filePath?: string | undefined;
+}>;
 export type GetFileInput = z.infer<typeof GetFileInputSchema>;
 export type ListExamplesInput = z.infer<typeof ListExamplesInputSchema>;
 export type GetLatestUpdatesInput = z.infer<typeof GetLatestUpdatesInputSchema>;
@@ -133,4 +170,6 @@ export type CompareSyntaxInput = z.infer<typeof CompareSyntaxInputSchema>;
 export type GetLatestSyntaxInput = z.infer<typeof GetLatestSyntaxInputSchema>;
 export type UpgradeCheckInput = z.infer<typeof UpgradeCheckInputSchema>;
 export type FullRepoContextInput = z.infer<typeof FullRepoContextInputSchema>;
+export type ValidateContractInput = z.infer<typeof ValidateContractInputSchema>;
+export type ExtractContractStructureInput = z.infer<typeof ExtractContractStructureInputSchema>;
 //# sourceMappingURL=schemas.d.ts.map

package/dist/tools/repository/schemas.js

@@ -88,4 +88,39 @@ export const FullRepoContextInputSchema = z.object({
         .describe("Include example code snippets"),
     includeSyntax: z.boolean().default(true).describe("Include syntax reference"),
 });
+export const ValidateContractInputSchema = z
+    .object({
+    code: z
+        .string()
+        .optional()
+        .describe("The Compact contract source code to validate (provide this OR filePath)"),
+    filePath: z
+        .string()
+        .optional()
+        .describe("Path to a .compact file to validate (alternative to providing code directly)"),
+    filename: z
+        .string()
+        .optional()
+        .default("contract.compact")
+        .describe("Optional filename for the contract (default: contract.compact)"),
+})
+    .refine((data) => (data.code !== undefined && data.code.trim() !== "") ||
+    data.filePath !== undefined, {
+    message: "Either 'code' or 'filePath' must be provided",
+});
+export const ExtractContractStructureInputSchema = z
+    .object({
+    code: z
+        .string()
+        .optional()
+        .describe("The Compact contract source code to analyze (provide this OR filePath)"),
+    filePath: z
+        .string()
+        .optional()
+        .describe("Path to a .compact file to analyze (alternative to providing code directly)"),
+})
+    .refine((data) => (data.code !== undefined && data.code.trim() !== "") ||
+    data.filePath !== undefined, {
+    message: "Either 'code' or 'filePath' must be provided",
+});
 //# sourceMappingURL=schemas.js.map

package/dist/tools/repository/tools.js

@@ -2,7 +2,7 @@
  * Repository tool definitions
  * MCP tool registration for repository-related operations
  */
-import { getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, upgradeCheck, getFullRepoContext, } from "./handlers.js";
+import { getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, upgradeCheck, getFullRepoContext, validateContract, extractContractStructure, } from "./handlers.js";
 // Tool definitions for MCP
 export const repositoryTools = [
     {
@@ -353,5 +353,194 @@ export const repositoryTools = [
         },
         handler: getFullRepoContext,
     },
+    // ============================================================================
+    // VALIDATION TOOLS - Pre-compilation contract validation
+    // ============================================================================
+    {
+        name: "midnight-validate-contract",
+        description: "🔍 VALIDATION TOOL: Compile and validate a Compact contract BEFORE deployment. This runs the actual Compact compiler to check for syntax errors, type errors, and other issues. Use this after writing or modifying contract code to catch errors early. Requires the Compact CLI to be installed locally. Accepts either source code directly OR a file path to a .compact file.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                code: {
+                    type: "string",
+                    description: "The Compact contract source code to validate (provide this OR filePath)",
+                },
+                filePath: {
+                    type: "string",
+                    description: "Path to a .compact file to validate (alternative to providing code directly)",
+                },
+                filename: {
+                    type: "string",
+                    description: "Optional filename for the contract when using code (default: contract.compact)",
+                },
+            },
+            required: [],
+        },
+        outputSchema: {
+            type: "object",
+            properties: {
+                success: {
+                    type: "boolean",
+                    description: "Whether the contract compiled successfully",
+                },
+                errorType: {
+                    type: "string",
+                    description: "Category of error: user_error, environment_error, system_error, compilation_error",
+                },
+                compilerInstalled: {
+                    type: "boolean",
+                    description: "Whether the Compact compiler is available",
+                },
+                compilerVersion: {
+                    type: "string",
+                    description: "Version of the Compact compiler",
+                },
+                message: { type: "string", description: "Summary message" },
+                errors: {
+                    type: "array",
+                    description: "List of compilation errors with line numbers",
+                    items: {
+                        type: "object",
+                        properties: {
+                            line: { type: "number" },
+                            column: { type: "number" },
+                            message: { type: "string" },
+                            severity: { type: "string" },
+                            context: { type: "string" },
+                        },
+                    },
+                },
+                userAction: {
+                    type: "object",
+                    description: "What the user needs to do to fix the problem",
+                    properties: {
+                        problem: { type: "string" },
+                        solution: { type: "string" },
+                        isUserFault: { type: "boolean" },
+                    },
+                },
+                suggestions: {
+                    type: "array",
+                    description: "Suggestions for fixing errors",
+                    items: { type: "string" },
+                },
+                commonFixes: {
+                    type: "array",
+                    description: "Common fix patterns",
+                    items: {
+                        type: "object",
+                        properties: {
+                            pattern: { type: "string" },
+                            fix: { type: "string" },
+                        },
+                    },
+                },
+                installation: {
+                    type: "object",
+                    description: "Installation instructions if compiler not found",
+                },
+            },
+        },
+        annotations: {
+            readOnlyHint: false, // Creates temp files
+            idempotentHint: true, // Same input = same output
+            openWorldHint: true,
+            longRunningHint: true, // Compilation can take time
+            title: "🔍 Validate Contract",
+            category: "validation",
+        },
+        handler: validateContract,
+    },
+    {
+        name: "midnight-extract-contract-structure",
+        description: "📋 ANALYSIS TOOL: Extract the structure of a Compact contract - circuits, witnesses, ledger items, types, structs, and enums. Use this to understand what a contract does without reading all the code. Returns exported and internal definitions with line numbers. Accepts either source code directly OR a file path.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                code: {
+                    type: "string",
+                    description: "The Compact contract source code to analyze (provide this OR filePath)",
+                },
+                filePath: {
+                    type: "string",
+                    description: "Path to a .compact file to analyze (alternative to providing code directly)",
+                },
+            },
+            required: [],
+        },
+        outputSchema: {
+            type: "object",
+            properties: {
+                success: { type: "boolean" },
+                filename: { type: "string" },
+                languageVersion: { type: "string" },
+                imports: { type: "array", items: { type: "string" } },
+                structure: {
+                    type: "object",
+                    properties: {
+                        circuits: {
+                            type: "array",
+                            items: {
+                                type: "object",
+                                properties: {
+                                    name: { type: "string" },
+                                    params: { type: "array", items: { type: "string" } },
+                                    returnType: { type: "string" },
+                                    isExport: { type: "boolean" },
+                                    line: { type: "number" },
+                                },
+                            },
+                        },
+                        witnesses: {
+                            type: "array",
+                            items: {
+                                type: "object",
+                                properties: {
+                                    name: { type: "string" },
+                                    type: { type: "string" },
+                                    isExport: { type: "boolean" },
+                                    line: { type: "number" },
+                                },
+                            },
+                        },
+                        ledgerItems: {
+                            type: "array",
+                            items: {
+                                type: "object",
+                                properties: {
+                                    name: { type: "string" },
+                                    type: { type: "string" },
+                                    isExport: { type: "boolean" },
+                                    line: { type: "number" },
+                                },
+                            },
+                        },
+                        types: { type: "array" },
+                        structs: { type: "array" },
+                        enums: { type: "array" },
+                    },
+                },
+                exports: {
+                    type: "object",
+                    description: "Names of all exported items",
+                },
+                stats: {
+                    type: "object",
+                    description: "Counts of each type of definition",
+                },
+                summary: { type: "string" },
+                message: { type: "string" },
+            },
+        },
+        annotations: {
+            readOnlyHint: true,
+            idempotentHint: true,
+            openWorldHint: false,
+            title: "📋 Extract Contract Structure",
+            category: "validation",
+        },
+        handler: extractContractStructure,
+    },
 ];
 //# sourceMappingURL=tools.js.map