midnight-mcp 0.1.16 → 0.1.18

package/dist/db/vectorStore.d.ts

@@ -11,6 +11,9 @@ export interface CodeDocument {
         codeType: string;
         codeName: string;
         isPublic: boolean;
+        repoVersion?: string;
+        pragmaVersion?: string;
+        indexedAt?: string;
     };
 }
 export interface SearchResult {

package/dist/pipeline/indexer.d.ts

@@ -16,6 +16,9 @@ export interface ChunkMetadata {
     startLine: number;
     endLine: number;
     isPublic: boolean;
+    repoVersion?: string;
+    pragmaVersion?: string;
+    indexedAt?: string;
 }
 /**
  * Index a single repository

package/dist/pipeline/indexer.js

@@ -3,12 +3,26 @@ import { parseFile } from "./parser.js";
 import { embeddingGenerator } from "./embeddings.js";
 import { vectorStore } from "../db/vectorStore.js";
 import { logger, DEFAULT_REPOSITORIES, } from "../utils/index.js";
+/**
+ * Extract pragma language_version from Compact file content
+ * Returns the version string or undefined if not found
+ */
+function extractPragmaVersion(content) {
+    // Match patterns like: pragma language_version >= 0.14.0;
+    const pragmaMatch = content.match(/pragma\s+language_version\s*[><=]*\s*([\d.]+)/);
+    return pragmaMatch?.[1];
+}
 /**
  * Create chunks from a parsed file
  * Uses intelligent chunking based on code structure
  */
-function createChunks(file, repository) {
+function createChunks(file, repository, repoVersion) {
     const chunks = [];
+    const indexedAt = new Date().toISOString();
+    // Extract pragma version for Compact files
+    const pragmaVersion = file.language === "compact"
+        ? extractPragmaVersion(file.content)
+        : undefined;
     // Add code units as individual chunks
     for (const unit of file.codeUnits) {
         chunks.push({
@@ -23,6 +37,9 @@ function createChunks(file, repository) {
                 startLine: unit.startLine,
                 endLine: unit.endLine,
                 isPublic: unit.isPublic,
+                repoVersion,
+                pragmaVersion,
+                indexedAt,
             },
         });
     }
@@ -47,6 +64,9 @@ function createChunks(file, repository) {
                         startLine,
                         endLine: currentLine - 1,
                         isPublic: true,
+                        repoVersion,
+                        pragmaVersion,
+                        indexedAt,
                     },
                 });
                 // Start new chunk with overlap
@@ -69,6 +89,9 @@ function createChunks(file, repository) {
                     startLine,
                     endLine: currentLine - 1,
                     isPublic: true,
+                    repoVersion,
+                    pragmaVersion,
+                    indexedAt,
                 },
             });
         }
@@ -81,6 +104,8 @@ function createChunks(file, repository) {
 export async function indexRepository(repoConfig) {
     const repoName = `${repoConfig.owner}/${repoConfig.repo}`;
     logger.info(`Starting index for ${repoName}...`);
+    // Get repo version (branch name or tag)
+    const repoVersion = repoConfig.branch || "main";
     try {
         // Fetch all files from the repository
         const files = await githubClient.fetchRepositoryFiles(repoConfig);
@@ -90,8 +115,8 @@ export async function indexRepository(repoConfig) {
         for (const file of files) {
             // Parse the file
             const parsed = parseFile(file.path, file.content);
-            // Create chunks
-            const chunks = createChunks(parsed, repoName);
+            // Create chunks with version info
+            const chunks = createChunks(parsed, repoName, repoVersion);
             for (const chunk of chunks) {
                 documents.push({
                     id: `${repoName}:${file.path}:${chunk.metadata.startLine}`,
@@ -105,6 +130,9 @@ export async function indexRepository(repoConfig) {
                         codeType: chunk.metadata.codeUnitType || "unknown",
                         codeName: chunk.metadata.codeUnitName || "",
                         isPublic: chunk.metadata.isPublic,
+                        repoVersion: chunk.metadata.repoVersion,
+                        pragmaVersion: chunk.metadata.pragmaVersion,
+                        indexedAt: chunk.metadata.indexedAt,
                     },
                 });
                 chunkCount++;
@@ -181,7 +209,8 @@ export async function incrementalUpdate(repoConfig, since) {
             const file = await githubClient.getFileContent(repoConfig.owner, repoConfig.repo, filePath, repoConfig.branch);
             if (file) {
                 const parsed = parseFile(file.path, file.content);
-                const chunks = createChunks(parsed, repoName);
+                const repoVersion = repoConfig.branch || "main";
+                const chunks = createChunks(parsed, repoName, repoVersion);
                 for (const chunk of chunks) {
                     documents.push({
                         id: `${repoName}:${filePath}:${chunk.metadata.startLine}`,
@@ -195,6 +224,9 @@ export async function incrementalUpdate(repoConfig, since) {
                             codeType: chunk.metadata.codeUnitType || "unknown",
                             codeName: chunk.metadata.codeUnitName || "",
                             isPublic: chunk.metadata.isPublic,
+                            repoVersion: chunk.metadata.repoVersion,
+                            pragmaVersion: chunk.metadata.pragmaVersion,
+                            indexedAt: chunk.metadata.indexedAt,
                         },
                     });
                     chunkCount++;

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
  */
@@ -157,12 +158,13 @@ export declare function compareSyntax(input: CompareSyntaxInput): Promise<{
  * This is the source of truth for writing valid, compilable contracts
  */
 export declare function getLatestSyntax(input: GetLatestSyntaxInput): Promise<{
-    repository: string;
-    version: string;
     syntaxReference: string;
     sections: string[];
     pitfalls: string[];
     note: string;
+    versionWarning?: string | undefined;
+    repository: string;
+    version: string;
     warning?: undefined;
     syntaxFiles?: undefined;
     examplePaths?: undefined;
@@ -172,9 +174,6 @@ export declare function getLatestSyntax(input: GetLatestSyntaxInput): Promise<{
     warning: string;
     syntaxFiles: never[];
     examplePaths: string[];
-    syntaxReference?: undefined;
-    sections?: undefined;
-    pitfalls?: undefined;
     note?: undefined;
 } | {
     repository: string;
@@ -184,9 +183,6 @@ export declare function getLatestSyntax(input: GetLatestSyntaxInput): Promise<{
         content: string;
     }[];
     note: string;
-    syntaxReference?: undefined;
-    sections?: undefined;
-    pitfalls?: undefined;
     warning?: undefined;
     examplePaths?: undefined;
 }>;

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
  */
@@ -306,10 +308,36 @@ export async function getLatestSyntax(input) {
     // This is more reliable than fetching from GitHub and includes pitfalls/patterns
     if (repoName === "compact" || repoName === "midnight-compact") {
         const compactReference = EMBEDDED_DOCS["midnight://docs/compact-reference"];
+        // Check if there's a newer release we might not have documented
+        const EMBEDDED_DOCS_VERSION = "0.16"; // Version our docs are based on
+        let versionWarning;
+        try {
+            const versionInfo = await releaseTracker.getVersionInfo("midnightntwrk", "compact");
+            const latestTag = versionInfo.latestStableRelease?.tag || versionInfo.latestRelease?.tag;
+            if (latestTag) {
+                // Extract version number from tag (e.g., "v0.18.0" -> "0.18")
+                const latestVersion = latestTag
+                    .replace(/^v/, "")
+                    .split(".")
+                    .slice(0, 2)
+                    .join(".");
+                const embeddedMajorMinor = EMBEDDED_DOCS_VERSION.split(".")
+                    .slice(0, 2)
+                    .join(".");
+                if (latestVersion !== embeddedMajorMinor &&
+                    parseFloat(latestVersion) > parseFloat(embeddedMajorMinor)) {
+                    versionWarning = `⚠️ Compact ${latestTag} is available. This reference is based on ${EMBEDDED_DOCS_VERSION}. Some syntax may have changed - check release notes for breaking changes.`;
+                }
+            }
+        }
+        catch {
+            // Ignore version check errors, still return cached docs
+        }
         if (compactReference) {
             return {
                 repository: "midnightntwrk/compact",
                 version: "0.16+ (current)",
+                ...(versionWarning && { versionWarning }),
                 syntaxReference: compactReference,
                 sections: [
                     "Basic Structure",

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