midnight-mcp 0.1.40 → 0.2.1

package/dist/tools/repository/tools.js

@@ -1,484 +0,0 @@
-/**
- * Repository tool definitions
- * MCP tool registration for repository-related operations
- */
-import { getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, upgradeCheck, getFullRepoContext, extractContractStructure, } from "./handlers.js";
-// Tool definitions for MCP
-export const repositoryTools = [
-    {
-        name: "midnight-get-file",
-        description: "Retrieve a specific file from Midnight repositories. Use repository aliases like 'compact', 'midnight-js', 'counter', or 'bboard' for convenience.",
-        inputSchema: {
-            type: "object",
-            properties: {
-                repo: {
-                    type: "string",
-                    description: "Repository name (e.g., 'compact', 'midnight-js', 'example-counter')",
-                },
-                path: {
-                    type: "string",
-                    description: "File path within repository",
-                },
-                ref: {
-                    type: "string",
-                    description: "Branch, tag, or commit SHA (default: main)",
-                },
-            },
-            required: ["repo", "path"],
-        },
-        annotations: {
-            readOnlyHint: true,
-            openWorldHint: true,
-            title: "Get Repository File",
-            category: "repository",
-        },
-        handler: getFile,
-    },
-    {
-        name: "midnight-list-examples",
-        description: "List available Midnight example contracts and DApps with descriptions, complexity ratings, and key features.",
-        inputSchema: {
-            type: "object",
-            properties: {
-                category: {
-                    type: "string",
-                    enum: ["counter", "bboard", "token", "voting", "all"],
-                    description: "Filter by example type (default: all)",
-                },
-            },
-            required: [],
-        },
-        annotations: {
-            readOnlyHint: true,
-            idempotentHint: true,
-            title: "List Example Contracts",
-            category: "repository",
-        },
-        handler: listExamples,
-    },
-    {
-        name: "midnight-get-latest-updates",
-        description: "Retrieve recent changes and commits across Midnight repositories. Useful for staying up-to-date with the latest developments.",
-        inputSchema: {
-            type: "object",
-            properties: {
-                since: {
-                    type: "string",
-                    description: "ISO date to fetch updates from (default: last 7 days)",
-                },
-                repos: {
-                    type: "array",
-                    items: { type: "string" },
-                    description: "Specific repos to check (default: all configured repos)",
-                },
-            },
-            required: [],
-        },
-        annotations: {
-            readOnlyHint: true,
-            openWorldHint: true,
-            title: "Get Latest Updates",
-            category: "repository",
-        },
-        handler: getLatestUpdates,
-    },
-    {
-        name: "midnight-get-version-info",
-        description: "Get the latest version, release notes, and recent breaking changes for a Midnight repository. Use this to ensure you're working with the latest implementation.",
-        inputSchema: {
-            type: "object",
-            properties: {
-                repo: {
-                    type: "string",
-                    description: "Repository name (e.g., 'compact', 'midnight-js', 'sdk')",
-                },
-            },
-            required: ["repo"],
-        },
-        annotations: {
-            readOnlyHint: true,
-            openWorldHint: true,
-            title: "Get Version Info",
-            category: "versioning",
-        },
-        handler: getVersionInfo,
-    },
-    {
-        name: "midnight-check-breaking-changes",
-        description: "Check if there are breaking changes between your current version and the latest release. Essential before upgrading dependencies.",
-        inputSchema: {
-            type: "object",
-            properties: {
-                repo: {
-                    type: "string",
-                    description: "Repository name (e.g., 'compact', 'midnight-js')",
-                },
-                currentVersion: {
-                    type: "string",
-                    description: "Version you're currently using (e.g., 'v1.0.0', '0.5.2')",
-                },
-            },
-            required: ["repo", "currentVersion"],
-        },
-        annotations: {
-            readOnlyHint: true,
-            openWorldHint: true,
-            title: "Check Breaking Changes",
-            category: "versioning",
-        },
-        handler: checkBreakingChanges,
-    },
-    {
-        name: "midnight-get-migration-guide",
-        description: "Get a detailed migration guide for upgrading between versions, including all breaking changes, deprecations, and recommended steps.",
-        inputSchema: {
-            type: "object",
-            properties: {
-                repo: {
-                    type: "string",
-                    description: "Repository name (e.g., 'compact', 'midnight-js')",
-                },
-                fromVersion: {
-                    type: "string",
-                    description: "Version you're migrating from",
-                },
-                toVersion: {
-                    type: "string",
-                    description: "Target version (default: latest stable)",
-                },
-            },
-            required: ["repo", "fromVersion"],
-        },
-        annotations: {
-            readOnlyHint: true,
-            openWorldHint: true,
-            title: "Get Migration Guide",
-            category: "versioning",
-        },
-        handler: getMigrationGuide,
-    },
-    {
-        name: "midnight-get-file-at-version",
-        description: "Get the exact content of a file at a specific version. CRITICAL: Use this to ensure code recommendations match the user's version. Always prefer this over get-file when version accuracy matters.",
-        inputSchema: {
-            type: "object",
-            properties: {
-                repo: {
-                    type: "string",
-                    description: "Repository name (e.g., 'compact', 'midnight-js')",
-                },
-                path: {
-                    type: "string",
-                    description: "File path within repository",
-                },
-                version: {
-                    type: "string",
-                    description: "Version tag (e.g., 'v1.0.0') or branch (e.g., 'main')",
-                },
-            },
-            required: ["repo", "path", "version"],
-        },
-        annotations: {
-            readOnlyHint: true,
-            idempotentHint: true,
-            openWorldHint: true,
-            title: "Get File at Version",
-            category: "versioning",
-        },
-        handler: getFileAtVersion,
-    },
-    {
-        name: "midnight-compare-syntax",
-        description: "Compare a file between two versions to see what changed. Use this before recommending code patterns to ensure they work with the user's version.",
-        inputSchema: {
-            type: "object",
-            properties: {
-                repo: {
-                    type: "string",
-                    description: "Repository name (e.g., 'compact')",
-                },
-                path: {
-                    type: "string",
-                    description: "File path to compare",
-                },
-                oldVersion: {
-                    type: "string",
-                    description: "Old version tag (e.g., 'v0.9.0')",
-                },
-                newVersion: {
-                    type: "string",
-                    description: "New version tag (default: latest stable)",
-                },
-            },
-            required: ["repo", "path", "oldVersion"],
-        },
-        annotations: {
-            readOnlyHint: true,
-            idempotentHint: true,
-            openWorldHint: true,
-            title: "Compare Syntax Between Versions",
-            category: "versioning",
-        },
-        handler: compareSyntax,
-    },
-    {
-        name: "midnight-get-latest-syntax",
-        description: `🚨 CALL THIS BEFORE GENERATING ANY COMPACT CODE!
-Get the authoritative Compact syntax reference. Prevents hallucination by providing:
-- Correct syntax patterns (Compact is NOT TypeScript!)
-- commonMistakes array with wrong→correct mappings
-- Type casting rules (Uint→Bytes needs two casts)
-- disclose() requirements for circuit params
-- Map.lookup()/Set.member() ARE available in circuits
-
-ALWAYS check this reference before writing Compact contracts.`,
-        inputSchema: {
-            type: "object",
-            properties: {
-                repo: {
-                    type: "string",
-                    description: "Repository name (default: 'compact')",
-                },
-            },
-            required: [],
-        },
-        annotations: {
-            readOnlyHint: true,
-            openWorldHint: true,
-            title: "🚨 Get Syntax Reference (Call First!)",
-            category: "versioning",
-        },
-        handler: getLatestSyntax,
-    },
-    // ============================================================================
-    // COMPOUND TOOLS - Multi-step operations in a single call
-    // These reduce token usage by 50-70% compared to calling individual tools
-    // ============================================================================
-    {
-        name: "midnight-upgrade-check",
-        description: "🚀 COMPOUND TOOL: Complete upgrade analysis in ONE call. Combines version check + breaking changes + migration guide. Use this instead of calling midnight-get-version-info, midnight-check-breaking-changes, and midnight-get-migration-guide separately. Saves ~60% tokens.",
-        inputSchema: {
-            type: "object",
-            properties: {
-                repo: {
-                    type: "string",
-                    description: "Repository name (default: 'compact')",
-                },
-                currentVersion: {
-                    type: "string",
-                    description: "Your current version (e.g., 'v0.14.0', '0.13.5')",
-                },
-            },
-            required: ["currentVersion"],
-        },
-        outputSchema: {
-            type: "object",
-            properties: {
-                repository: { type: "string", description: "Full repository path" },
-                currentVersion: {
-                    type: "string",
-                    description: "Version being checked",
-                },
-                version: {
-                    type: "object",
-                    description: "Version summary",
-                    properties: {
-                        latest: { type: "string" },
-                        latestStable: { type: "string" },
-                        isOutdated: { type: "boolean" },
-                        versionsBehind: { type: "number" },
-                    },
-                },
-                breakingChanges: {
-                    type: "object",
-                    description: "Breaking changes summary",
-                    properties: {
-                        count: { type: "number" },
-                        hasBreakingChanges: { type: "boolean" },
-                        items: { type: "array" },
-                    },
-                },
-                migration: { type: "object", description: "Migration guide if needed" },
-                urgency: {
-                    type: "string",
-                    description: "none|low|medium|high|critical",
-                },
-                recommendation: {
-                    type: "string",
-                    description: "Actionable recommendation",
-                },
-            },
-        },
-        annotations: {
-            readOnlyHint: true,
-            openWorldHint: true,
-            longRunningHint: true,
-            title: "⚡ Upgrade Check (Compound)",
-            category: "compound",
-        },
-        handler: upgradeCheck,
-    },
-    {
-        name: "midnight-get-repo-context",
-        description: "🚀 COMPOUND TOOL: Get everything needed to start working with a repository in ONE call. Combines version info + syntax reference + relevant examples. Use this at the start of a coding session instead of multiple individual calls. Saves ~50% tokens.",
-        inputSchema: {
-            type: "object",
-            properties: {
-                repo: {
-                    type: "string",
-                    description: "Repository name (e.g., 'compact', 'midnight-js')",
-                },
-                includeExamples: {
-                    type: "boolean",
-                    description: "Include example code snippets (default: true)",
-                },
-                includeSyntax: {
-                    type: "boolean",
-                    description: "Include syntax reference (default: true)",
-                },
-            },
-            required: ["repo"],
-        },
-        outputSchema: {
-            type: "object",
-            properties: {
-                repository: { type: "string", description: "Full repository path" },
-                quickStart: {
-                    type: "object",
-                    description: "Version and install command",
-                },
-                version: { type: "object", description: "Version details" },
-                syntax: { type: "object", description: "Syntax reference summary" },
-                examples: { type: "array", description: "Relevant examples" },
-            },
-        },
-        annotations: {
-            readOnlyHint: true,
-            openWorldHint: true,
-            longRunningHint: true,
-            title: "⚡ Get Repo Context (Compound)",
-            category: "compound",
-        },
-        handler: getFullRepoContext,
-    },
-    // ============================================================================
-    // ANALYSIS TOOLS - Contract structure extraction
-    // ============================================================================
-    {
-        name: "midnight-extract-contract-structure",
-        description: "Extract and analyze Compact contract structure (circuits, witnesses, ledger). " +
-            "CRITICAL CHECKS: deprecated 'ledger { }' block syntax, 'Void' return type (should be []), " +
-            "old pragma format, unexported enums, deprecated Cell<T> wrapper. " +
-            "Also detects: module-level const, stdlib name collisions, division operator, " +
-            "Counter.value access, missing disclose() calls, potential overflow. " +
-            "Use BEFORE generating contracts to catch syntax errors. " +
-            "Note: Static analysis only - catches common patterns but not semantic errors.",
-        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",
-                },
-                potentialIssues: {
-                    type: "array",
-                    description: "Common issues detected by static analysis",
-                    items: {
-                        type: "object",
-                        properties: {
-                            type: {
-                                type: "string",
-                                description: "Issue type: module_level_const, stdlib_name_collision, sealed_export_conflict, missing_constructor, stdlib_type_mismatch",
-                            },
-                            line: { type: "number" },
-                            message: { type: "string" },
-                            suggestion: { type: "string" },
-                            severity: {
-                                type: "string",
-                                enum: ["error", "warning"],
-                            },
-                        },
-                    },
-                },
-                summary: { type: "string" },
-                message: { type: "string" },
-            },
-        },
-        annotations: {
-            readOnlyHint: true,
-            idempotentHint: true,
-            openWorldHint: false,
-            title: "📋 Extract Contract Structure",
-            category: "analyze",
-        },
-        handler: extractContractStructure,
-    },
-];
-//# sourceMappingURL=tools.js.map

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

@@ -1,106 +0,0 @@
-/**
- * Contract validation handlers
- * Static analysis for Compact contracts
- */
-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
- */
-export declare function extractContractStructure(input: ExtractContractStructureInput): Promise<{
-    success: boolean;
-    error: string;
-    message: string | undefined;
-    details?: undefined;
-    filename?: undefined;
-    languageVersion?: undefined;
-    imports?: undefined;
-    structure?: undefined;
-    exports?: undefined;
-    stats?: undefined;
-    potentialIssues?: undefined;
-    summary?: undefined;
-} | {
-    success: boolean;
-    error: string;
-    message: string;
-    details: string | undefined;
-    filename?: undefined;
-    languageVersion?: undefined;
-    imports?: undefined;
-    structure?: undefined;
-    exports?: undefined;
-    stats?: undefined;
-    potentialIssues?: undefined;
-    summary?: undefined;
-} | {
-    success: boolean;
-    filename: string;
-    languageVersion: string | null;
-    imports: string[];
-    structure: {
-        circuits: {
-            name: string;
-            params: string[];
-            returnType: string;
-            isExport: boolean;
-            line: number;
-        }[];
-        witnesses: {
-            name: string;
-            type: string;
-            isExport: boolean;
-            line: number;
-        }[];
-        ledgerItems: {
-            name: string;
-            type: string;
-            isExport: boolean;
-            line: number;
-        }[];
-        types: {
-            name: string;
-            definition: string;
-            line: number;
-        }[];
-        structs: {
-            name: string;
-            fields: string[];
-            line: number;
-        }[];
-        enums: {
-            name: string;
-            variants: string[];
-            line: number;
-        }[];
-    };
-    exports: {
-        circuits: string[];
-        witnesses: string[];
-        ledger: string[];
-    };
-    stats: {
-        lineCount: number;
-        circuitCount: number;
-        witnessCount: number;
-        ledgerCount: number;
-        typeCount: number;
-        structCount: number;
-        enumCount: number;
-        exportedCircuits: number;
-        exportedWitnesses: number;
-        exportedLedger: number;
-    };
-    potentialIssues: {
-        type: string;
-        line?: number;
-        message: string;
-        suggestion: string;
-        severity: "error" | "warning";
-    }[] | undefined;
-    summary: string;
-    message: string;
-    error?: undefined;
-    details?: undefined;
-}>;
-//# sourceMappingURL=validation.d.ts.map