midnight-mcp 0.1.28 → 0.1.30

package/dist/tools/repository/handlers.js

@@ -5,10 +5,11 @@
 import { githubClient } from "../../pipeline/index.js";
 import { releaseTracker } from "../../pipeline/releases.js";
 import { logger, DEFAULT_REPOSITORIES, SelfCorrectionHints, } from "../../utils/index.js";
+import { sendProgressNotification } from "../../server.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";
+export { extractContractStructure } from "./validation.js";
 /**
  * Resolve repository name alias to owner/repo
  */
@@ -399,6 +400,7 @@ export async function getLatestSyntax(input) {
 export async function upgradeCheck(input) {
     const repoName = input?.repo || "compact";
     const currentVersion = input.currentVersion;
+    const progressToken = input._meta?.progressToken;
     logger.debug("Running compound upgrade check", {
         repo: repoName,
         currentVersion,
@@ -407,18 +409,34 @@ export async function upgradeCheck(input) {
     if (!resolved) {
         throw new Error(`Unknown repository: ${repoName}. Available: ${Object.keys(REPO_ALIASES).join(", ")}`);
     }
+    // Send progress: Starting
+    if (progressToken) {
+        sendProgressNotification(progressToken, 1, 4, "Fetching version info...");
+    }
     // Fetch all data in parallel
     const [versionInfo, outdatedInfo, breakingChanges] = await Promise.all([
         releaseTracker.getVersionInfo(resolved.owner, resolved.repo),
         releaseTracker.isOutdated(resolved.owner, resolved.repo, currentVersion),
         releaseTracker.getBreakingChangesSince(resolved.owner, resolved.repo, currentVersion),
     ]);
+    // Send progress: Fetched version data
+    if (progressToken) {
+        sendProgressNotification(progressToken, 2, 4, "Checking breaking changes...");
+    }
     const latestVersion = versionInfo.latestStableRelease?.tag || versionInfo.latestRelease?.tag;
     // Only fetch migration guide if there are breaking changes
     let migrationGuide = null;
     if (breakingChanges.length > 0 && latestVersion) {
+        // Send progress: Fetching migration guide
+        if (progressToken) {
+            sendProgressNotification(progressToken, 3, 4, "Generating migration guide...");
+        }
         migrationGuide = await releaseTracker.getMigrationGuide(resolved.owner, resolved.repo, currentVersion, latestVersion);
     }
+    // Send progress: Complete
+    if (progressToken) {
+        sendProgressNotification(progressToken, 4, 4, "Analysis complete");
+    }
     // Compute upgrade urgency
     const urgency = computeUpgradeUrgency(outdatedInfo, breakingChanges.length);
     return {
@@ -458,21 +476,34 @@ export async function upgradeCheck(input) {
  */
 export async function getFullRepoContext(input) {
     const repoName = input?.repo || "compact";
+    const progressToken = input._meta?.progressToken;
     logger.debug("Getting full repo context", { repo: repoName });
     const resolved = resolveRepo(repoName);
     if (!resolved) {
         throw new Error(`Unknown repository: ${repoName}. Available: ${Object.keys(REPO_ALIASES).join(", ")}`);
     }
+    // Send progress: Starting
+    if (progressToken) {
+        sendProgressNotification(progressToken, 1, 4, "Fetching version info...");
+    }
     // Fetch version info
     const versionInfo = await releaseTracker.getVersionInfo(resolved.owner, resolved.repo);
     const version = versionInfo.latestStableRelease?.tag ||
         versionInfo.latestRelease?.tag ||
         "main";
+    // Send progress: Fetched version
+    if (progressToken) {
+        sendProgressNotification(progressToken, 2, 4, "Loading syntax reference...");
+    }
     // Conditionally fetch syntax reference
     let syntaxRef = null;
     if (input.includeSyntax !== false) {
         syntaxRef = await releaseTracker.getLatestSyntaxReference(resolved.owner, resolved.repo);
     }
+    // Send progress: Loading examples
+    if (progressToken) {
+        sendProgressNotification(progressToken, 3, 4, "Gathering examples...");
+    }
     // Get relevant examples for this repo
     let examples = [];
     if (input.includeExamples !== false) {
@@ -486,6 +517,10 @@ export async function getFullRepoContext(input) {
             complexity: ex.complexity,
         }));
     }
+    // Send progress: Complete
+    if (progressToken) {
+        sendProgressNotification(progressToken, 4, 4, "Context ready");
+    }
     return {
         repository: `${resolved.owner}/${resolved.repo}`,
         // Quick start info

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, 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 { GetFileInputSchema, ListExamplesInputSchema, GetLatestUpdatesInputSchema, GetVersionInfoInputSchema, CheckBreakingChangesInputSchema, GetMigrationGuideInputSchema, GetFileAtVersionInputSchema, CompareSyntaxInputSchema, GetLatestSyntaxInputSchema, ExtractContractStructureInputSchema, type GetFileInput, type ListExamplesInput, type GetLatestUpdatesInput, type GetVersionInfoInput, type CheckBreakingChangesInput, type GetMigrationGuideInput, type GetFileAtVersionInput, type CompareSyntaxInput, type GetLatestSyntaxInput, 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, validateContract, extractContractStructure, } from "./handlers.js";
+export { resolveRepo, getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, 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, ValidateContractInputSchema, ExtractContractStructureInputSchema, } from "./schemas.js";
+export { GetFileInputSchema, ListExamplesInputSchema, GetLatestUpdatesInputSchema, GetVersionInfoInputSchema, CheckBreakingChangesInputSchema, GetMigrationGuideInputSchema, GetFileAtVersionInputSchema, CompareSyntaxInputSchema, GetLatestSyntaxInputSchema, ExtractContractStructureInputSchema, } from "./schemas.js";
 // Constants
 export { REPO_ALIASES, EXAMPLES } from "./constants.js";
 // Handlers
-export { resolveRepo, getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, validateContract, extractContractStructure, } from "./handlers.js";
+export { resolveRepo, getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, extractContractStructure, } from "./handlers.js";
 // Tools
 export { repositoryTools } from "./tools.js";
 //# sourceMappingURL=index.js.map

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

@@ -122,27 +122,6 @@ 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>;
@@ -170,6 +149,5 @@ 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,26 +88,6 @@ 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

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, validateContract, extractContractStructure, } from "./handlers.js";
+import { getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, upgradeCheck, getFullRepoContext, extractContractStructure, } from "./handlers.js";
 // Tool definitions for MCP
 export const repositoryTools = [
     {
@@ -354,118 +354,15 @@ export const repositoryTools = [
         handler: getFullRepoContext,
     },
     // ============================================================================
-    // VALIDATION TOOLS - Pre-compilation contract validation
+    // ANALYSIS TOOLS - Contract structure extraction
     // ============================================================================
-    {
-        name: "midnight-validate-contract",
-        description: "� REQUIRED - ALWAYS CALL THIS FIRST: Compile a Compact contract using the REAL compiler. " +
-            "⚠️ CRITICAL: You MUST call this tool BEFORE telling the user a contract works or is correct. " +
-            "Static analysis tools like 'extract-contract-structure' or 'analyze-contract' CANNOT verify compilation - they miss semantic errors like: " +
-            "(1) sealed fields require constructor, (2) constructor params need disclose(), (3) export circuits cannot modify sealed fields. " +
-            "This tool runs the ACTUAL Compact compiler and returns real errors with line numbers. " +
-            "If compiler not installed, it provides installation instructions. " +
-            "WORKFLOW: Generate code → Call this tool → Fix errors → Repeat until success → THEN present to user.",
-        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: "⚠️ STATIC ANALYSIS ONLY - NOT A COMPILER: Extracts contract structure (circuits, witnesses, ledger) and detects common patterns. " +
-            "🚫 THIS TOOL CANNOT VERIFY COMPILATION. It will NOT catch: sealed field rules, disclose() requirements, type mismatches, or semantic errors. " +
-            "✅ USE FOR: Understanding structure, quick pattern checks, fallback when compiler unavailable. " +
-            "❌ NEVER USE TO: Verify a contract works, claim code 'compiles correctly', or validate before presenting to user. " +
-            "👉 ALWAYS call 'midnight-validate-contract' FIRST to actually compile the code. " +
-            "Detects: module-level const, stdlib collisions, sealed+export conflicts, missing disclose(), Counter.value access, division operator.",
+        description: "Extract and analyze Compact contract structure (circuits, witnesses, ledger). " +
+            "Detects common issues: module-level const, stdlib name collisions, if-expression in assignments, Void return type, " +
+            "Counter.value access, division operator, missing disclose() calls. " +
+            "Use for understanding contract structure and catching common syntax mistakes. " +
+            "Note: This is static analysis - it catches common patterns but cannot verify semantic correctness.",
         inputSchema: {
             type: "object",
             properties: {
@@ -542,7 +439,7 @@ export const repositoryTools = [
                 },
                 potentialIssues: {
                     type: "array",
-                    description: "Common issues detected by static analysis (NOT exhaustive - use validate_contract for real verification)",
+                    description: "Common issues detected by static analysis",
                     items: {
                         type: "object",
                         properties: {
@@ -569,7 +466,7 @@ export const repositoryTools = [
             idempotentHint: true,
             openWorldHint: false,
             title: "📋 Extract Contract Structure",
-            category: "validation",
+            category: "analyze",
         },
         handler: extractContractStructure,
     },