midnight-mcp 0.0.1

package/dist/server.js

@@ -0,0 +1,231 @@
+import { Server } from "@modelcontextprotocol/sdk/server/index.js";
+import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js";
+import { CallToolRequestSchema, ListToolsRequestSchema, ListResourcesRequestSchema, ReadResourceRequestSchema, ListPromptsRequestSchema, GetPromptRequestSchema, } from "@modelcontextprotocol/sdk/types.js";
+import { logger } from "./utils/index.js";
+import { vectorStore } from "./db/index.js";
+import { allTools } from "./tools/index.js";
+import { allResources, getDocumentation, getCode, getSchema, } from "./resources/index.js";
+import { promptDefinitions, generatePrompt } from "./prompts/index.js";
+// Server information
+const SERVER_INFO = {
+    name: "midnight-mcp",
+    version: "1.0.0",
+    description: "MCP Server for Midnight Blockchain Development",
+};
+/**
+ * Create and configure the MCP server
+ */
+export function createServer() {
+    const server = new Server(SERVER_INFO, {
+        capabilities: {
+            tools: {},
+            resources: {
+                subscribe: true,
+                listChanged: true,
+            },
+            prompts: {
+                listChanged: true,
+            },
+        },
+    });
+    // Register tool handlers
+    registerToolHandlers(server);
+    // Register resource handlers
+    registerResourceHandlers(server);
+    // Register prompt handlers
+    registerPromptHandlers(server);
+    return server;
+}
+/**
+ * Register tool handlers
+ */
+function registerToolHandlers(server) {
+    // List available tools
+    server.setRequestHandler(ListToolsRequestSchema, async () => {
+        logger.debug("Listing tools");
+        return {
+            tools: allTools.map((tool) => ({
+                name: tool.name,
+                description: tool.description,
+                inputSchema: tool.inputSchema,
+            })),
+        };
+    });
+    // Handle tool calls
+    server.setRequestHandler(CallToolRequestSchema, async (request) => {
+        const { name, arguments: args } = request.params;
+        logger.info(`Tool called: ${name}`, { args });
+        const tool = allTools.find((t) => t.name === name);
+        if (!tool) {
+            return {
+                content: [
+                    {
+                        type: "text",
+                        text: `Unknown tool: ${name}`,
+                    },
+                ],
+                isError: true,
+            };
+        }
+        try {
+            const result = await tool.handler(args);
+            return {
+                content: [
+                    {
+                        type: "text",
+                        text: JSON.stringify(result, null, 2),
+                    },
+                ],
+            };
+        }
+        catch (error) {
+            logger.error(`Tool error: ${name}`, { error: String(error) });
+            return {
+                content: [
+                    {
+                        type: "text",
+                        text: `Error executing ${name}: ${error}`,
+                    },
+                ],
+                isError: true,
+            };
+        }
+    });
+}
+/**
+ * Register resource handlers
+ */
+function registerResourceHandlers(server) {
+    // List available resources
+    server.setRequestHandler(ListResourcesRequestSchema, async () => {
+        logger.debug("Listing resources");
+        return {
+            resources: allResources.map((resource) => ({
+                uri: resource.uri,
+                name: resource.name,
+                description: resource.description,
+                mimeType: resource.mimeType,
+            })),
+        };
+    });
+    // Read resource content
+    server.setRequestHandler(ReadResourceRequestSchema, async (request) => {
+        const { uri } = request.params;
+        logger.info(`Resource requested: ${uri}`);
+        try {
+            let content = null;
+            let mimeType = "text/plain";
+            if (uri.startsWith("midnight://docs/")) {
+                content = await getDocumentation(uri);
+                mimeType = "text/markdown";
+            }
+            else if (uri.startsWith("midnight://code/")) {
+                content = await getCode(uri);
+                mimeType = "text/x-compact";
+            }
+            else if (uri.startsWith("midnight://schema/")) {
+                const schema = getSchema(uri);
+                content = schema ? JSON.stringify(schema, null, 2) : null;
+                mimeType = "application/json";
+            }
+            if (!content) {
+                return {
+                    contents: [
+                        {
+                            uri,
+                            mimeType: "text/plain",
+                            text: `Resource not found: ${uri}`,
+                        },
+                    ],
+                };
+            }
+            return {
+                contents: [
+                    {
+                        uri,
+                        mimeType,
+                        text: content,
+                    },
+                ],
+            };
+        }
+        catch (error) {
+            logger.error(`Resource error: ${uri}`, { error: String(error) });
+            return {
+                contents: [
+                    {
+                        uri,
+                        mimeType: "text/plain",
+                        text: `Error reading resource: ${error}`,
+                    },
+                ],
+            };
+        }
+    });
+}
+/**
+ * Register prompt handlers
+ */
+function registerPromptHandlers(server) {
+    // List available prompts
+    server.setRequestHandler(ListPromptsRequestSchema, async () => {
+        logger.debug("Listing prompts");
+        return {
+            prompts: promptDefinitions.map((prompt) => ({
+                name: prompt.name,
+                description: prompt.description,
+                arguments: prompt.arguments,
+            })),
+        };
+    });
+    // Get prompt content
+    server.setRequestHandler(GetPromptRequestSchema, async (request) => {
+        const { name, arguments: args } = request.params;
+        logger.info(`Prompt requested: ${name}`, { args });
+        const prompt = promptDefinitions.find((p) => p.name === name);
+        if (!prompt) {
+            return {
+                description: `Unknown prompt: ${name}`,
+                messages: [],
+            };
+        }
+        const messages = generatePrompt(name, args || {});
+        return {
+            description: prompt.description,
+            messages: messages.map((m) => ({
+                role: m.role,
+                content: m.content,
+            })),
+        };
+    });
+}
+/**
+ * Initialize the server and vector store
+ */
+export async function initializeServer() {
+    logger.info("Initializing Midnight MCP Server...");
+    // Initialize vector store
+    try {
+        await vectorStore.initialize();
+        logger.info("Vector store initialized");
+    }
+    catch (error) {
+        logger.warn("Vector store initialization failed, continuing without it", {
+            error: String(error),
+        });
+    }
+    // Create and return server
+    const server = createServer();
+    logger.info("Server created successfully");
+    return server;
+}
+/**
+ * Start the server with stdio transport
+ */
+export async function startServer() {
+    const server = await initializeServer();
+    const transport = new StdioServerTransport();
+    await server.connect(transport);
+    logger.info("Midnight MCP Server running on stdio");
+}
+//# sourceMappingURL=server.js.map

package/dist/server.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.js","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,0BAA0B,EAC1B,yBAAyB,EACzB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,OAAO,EACP,SAAS,GACV,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEvE,qBAAqB;AACrB,MAAM,WAAW,GAAG;IAClB,IAAI,EAAE,cAAc;IACpB,OAAO,EAAE,OAAO;IAChB,WAAW,EAAE,gDAAgD;CAC9D,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,YAAY;IAC1B,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,WAAW,EAAE;QACrC,YAAY,EAAE;YACZ,KAAK,EAAE,EAAE;YACT,SAAS,EAAE;gBACT,SAAS,EAAE,IAAI;gBACf,WAAW,EAAE,IAAI;aAClB;YACD,OAAO,EAAE;gBACP,WAAW,EAAE,IAAI;aAClB;SACF;KACF,CAAC,CAAC;IAEH,yBAAyB;IACzB,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAE7B,6BAA6B;IAC7B,wBAAwB,CAAC,MAAM,CAAC,CAAC;IAEjC,2BAA2B;IAC3B,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAE/B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,MAAc;IAC1C,uBAAuB;IACvB,MAAM,CAAC,iBAAiB,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE;QAC1D,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC9B,OAAO;YACL,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC7B,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,WAAW,EAAE,IAAI,CAAC,WAAW;aAC9B,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,oBAAoB;IACpB,MAAM,CAAC,iBAAiB,CAAC,qBAAqB,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;QAChE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QACjD,MAAM,CAAC,IAAI,CAAC,gBAAgB,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAE9C,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO;gBACL,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,iBAAiB,IAAI,EAAE;qBAC9B;iBACF;gBACD,OAAO,EAAE,IAAI;aACd,CAAC;QACJ,CAAC;QAED,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,IAAa,CAAC,CAAC;YACjD,OAAO;gBACL,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;qBACtC;iBACF;aACF,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,CAAC,KAAK,CAAC,eAAe,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC9D,OAAO;gBACL,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,mBAAmB,IAAI,KAAK,KAAK,EAAE;qBAC1C;iBACF;gBACD,OAAO,EAAE,IAAI;aACd,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB,CAAC,MAAc;IAC9C,2BAA2B;IAC3B,MAAM,CAAC,iBAAiB,CAAC,0BAA0B,EAAE,KAAK,IAAI,EAAE;QAC9D,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAClC,OAAO;YACL,SAAS,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;gBACzC,GAAG,EAAE,QAAQ,CAAC,GAAG;gBACjB,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,WAAW,EAAE,QAAQ,CAAC,WAAW;gBACjC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;aAC5B,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,wBAAwB;IACxB,MAAM,CAAC,iBAAiB,CAAC,yBAAyB,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;QACpE,MAAM,EAAE,GAAG,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,uBAAuB,GAAG,EAAE,CAAC,CAAC;QAE1C,IAAI,CAAC;YACH,IAAI,OAAO,GAAkB,IAAI,CAAC;YAClC,IAAI,QAAQ,GAAG,YAAY,CAAC;YAE5B,IAAI,GAAG,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;gBACvC,OAAO,GAAG,MAAM,gBAAgB,CAAC,GAAG,CAAC,CAAC;gBACtC,QAAQ,GAAG,eAAe,CAAC;YAC7B,CAAC;iBAAM,IAAI,GAAG,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;gBAC9C,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC;gBAC7B,QAAQ,GAAG,gBAAgB,CAAC;YAC9B,CAAC;iBAAM,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;gBAChD,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;gBAC9B,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC1D,QAAQ,GAAG,kBAAkB,CAAC;YAChC,CAAC;YAED,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO;oBACL,QAAQ,EAAE;wBACR;4BACE,GAAG;4BACH,QAAQ,EAAE,YAAY;4BACtB,IAAI,EAAE,uBAAuB,GAAG,EAAE;yBACnC;qBACF;iBACF,CAAC;YACJ,CAAC;YAED,OAAO;gBACL,QAAQ,EAAE;oBACR;wBACE,GAAG;wBACH,QAAQ;wBACR,IAAI,EAAE,OAAO;qBACd;iBACF;aACF,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,CAAC,KAAK,CAAC,mBAAmB,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACjE,OAAO;gBACL,QAAQ,EAAE;oBACR;wBACE,GAAG;wBACH,QAAQ,EAAE,YAAY;wBACtB,IAAI,EAAE,2BAA2B,KAAK,EAAE;qBACzC;iBACF;aACF,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAAC,MAAc;IAC5C,yBAAyB;IACzB,MAAM,CAAC,iBAAiB,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE;QAC5D,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAChC,OAAO;YACL,OAAO,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBAC1C,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,SAAS,EAAE,MAAM,CAAC,SAAS;aAC5B,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,qBAAqB;IACrB,MAAM,CAAC,iBAAiB,CAAC,sBAAsB,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;QACjE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QACjD,MAAM,CAAC,IAAI,CAAC,qBAAqB,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAEnD,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC9D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,WAAW,EAAE,mBAAmB,IAAI,EAAE;gBACtC,QAAQ,EAAE,EAAE;aACb,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;QAElD,OAAO;YACL,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7B,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,CAAC,CAAC,OAAO;aACnB,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB;IACpC,MAAM,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAEnD,0BAA0B;IAC1B,IAAI,CAAC;QACH,MAAM,WAAW,CAAC,UAAU,EAAE,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAC1C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,CAAC,IAAI,CAAC,2DAA2D,EAAE;YACvE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC;SACrB,CAAC,CAAC;IACL,CAAC;IAED,2BAA2B;IAC3B,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC;IAC9B,MAAM,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAE3C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW;IAC/B,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;IAExC,MAAM,SAAS,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC7C,MAAM,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAEhC,MAAM,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;AACtD,CAAC"}

package/dist/tools/analyze.d.ts

@@ -0,0 +1,140 @@
+import { z } from "zod";
+export declare const AnalyzeContractInputSchema: z.ZodObject<{
+    code: z.ZodString;
+    checkSecurity: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+}, "strip", z.ZodTypeAny, {
+    code: string;
+    checkSecurity: boolean;
+}, {
+    code: string;
+    checkSecurity?: boolean | undefined;
+}>;
+export declare const ExplainCircuitInputSchema: z.ZodObject<{
+    circuitCode: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    circuitCode: string;
+}, {
+    circuitCode: string;
+}>;
+export type AnalyzeContractInput = z.infer<typeof AnalyzeContractInputSchema>;
+export type ExplainCircuitInput = z.infer<typeof ExplainCircuitInputSchema>;
+interface SecurityFinding {
+    severity: "info" | "warning" | "error";
+    message: string;
+    line?: number;
+    suggestion?: string;
+}
+/**
+ * Analyze a Compact smart contract for structure, patterns, and potential issues
+ */
+export declare function analyzeContract(input: AnalyzeContractInput): Promise<{
+    summary: {
+        hasLedger: boolean;
+        hasCircuits: boolean;
+        hasWitnesses: boolean;
+        totalLines: number;
+        publicCircuits: number;
+        privateCircuits: number;
+        publicState: number;
+        privateState: number;
+    };
+    structure: {
+        imports: string[];
+        exports: string[];
+        ledger: {
+            name: string;
+            type: string | undefined;
+            isPrivate: boolean;
+        }[];
+        circuits: {
+            name: string;
+            isPublic: boolean;
+            parameters: {
+                name: string;
+                type: string;
+            }[] | undefined;
+            returnType: string | undefined;
+        }[];
+        witnesses: {
+            name: string;
+            parameters: {
+                name: string;
+                type: string;
+            }[] | undefined;
+            returnType: string | undefined;
+        }[];
+        types: {
+            name: string;
+            definition: string | undefined;
+        }[];
+    };
+    securityFindings: SecurityFinding[];
+    recommendations: (string | undefined)[];
+}>;
+/**
+ * Explain what a specific circuit does in plain language
+ */
+export declare function explainCircuit(input: ExplainCircuitInput): Promise<{
+    error: string;
+    suggestion: string;
+    circuitName?: undefined;
+    isPublic?: undefined;
+    parameters?: undefined;
+    returnType?: undefined;
+    explanation?: undefined;
+    operations?: undefined;
+    zkImplications?: undefined;
+    privacyConsiderations?: undefined;
+} | {
+    circuitName: string;
+    isPublic: boolean;
+    parameters: {
+        name: string;
+        type: string;
+    }[] | undefined;
+    returnType: string | undefined;
+    explanation: string;
+    operations: string[];
+    zkImplications: string[];
+    privacyConsiderations: string[];
+    error?: undefined;
+    suggestion?: undefined;
+}>;
+export declare const analyzeTools: ({
+    name: string;
+    description: string;
+    inputSchema: {
+        type: "object";
+        properties: {
+            code: {
+                type: string;
+                description: string;
+            };
+            checkSecurity: {
+                type: string;
+                description: string;
+            };
+            circuitCode?: undefined;
+        };
+        required: string[];
+    };
+    handler: typeof analyzeContract;
+} | {
+    name: string;
+    description: string;
+    inputSchema: {
+        type: "object";
+        properties: {
+            circuitCode: {
+                type: string;
+                description: string;
+            };
+            code?: undefined;
+            checkSecurity?: undefined;
+        };
+        required: string[];
+    };
+    handler: typeof explainCircuit;
+})[];
+export {};
+//# sourceMappingURL=analyze.d.ts.map

package/dist/tools/analyze.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze.d.ts","sourceRoot":"","sources":["../../src/tools/analyze.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAKxB,eAAO,MAAM,0BAA0B;;;;;;;;;EAOrC,CAAC;AAEH,eAAO,MAAM,yBAAyB;;;;;;EAEpC,CAAC;AAEH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAC9E,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E,UAAU,eAAe;IACvB,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,wBAAsB,eAAe,CAAC,KAAK,EAAE,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+HhE;AAED;;GAEG;AACH,wBAAsB,cAAc,CAAC,KAAK,EAAE,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;GA6E9D;AAmED,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAqCxB,CAAC"}

package/dist/tools/analyze.js

@@ -0,0 +1,270 @@
+import { z } from "zod";
+import { parseCompactFile } from "../pipeline/index.js";
+import { logger } from "../utils/index.js";
+// Schema definitions
+export const AnalyzeContractInputSchema = z.object({
+    code: z.string().describe("Compact contract source code"),
+    checkSecurity: z
+        .boolean()
+        .optional()
+        .default(true)
+        .describe("Run security analysis"),
+});
+export const ExplainCircuitInputSchema = z.object({
+    circuitCode: z.string().describe("Circuit definition from Compact"),
+});
+/**
+ * Analyze a Compact smart contract for structure, patterns, and potential issues
+ */
+export async function analyzeContract(input) {
+    logger.debug("Analyzing Compact contract");
+    const parsed = parseCompactFile("contract.compact", input.code);
+    const findings = [];
+    // Extract structured information
+    const ledgerFields = parsed.codeUnits.filter((u) => u.type === "ledger");
+    const circuits = parsed.codeUnits.filter((u) => u.type === "circuit");
+    const witnesses = parsed.codeUnits.filter((u) => u.type === "witness");
+    const types = parsed.codeUnits.filter((u) => u.type === "type");
+    // Security analysis
+    if (input.checkSecurity) {
+        // Check for private state exposure
+        const privateFields = ledgerFields.filter((f) => f.isPrivate);
+        for (const field of privateFields) {
+            // Check if private field is used in a public circuit without proper protection
+            for (const circuit of circuits) {
+                if (circuit.isPublic && circuit.code.includes(field.name)) {
+                    if (!circuit.code.includes("disclose") &&
+                        !circuit.code.includes("commit")) {
+                        findings.push({
+                            severity: "warning",
+                            message: `Private field '${field.name}' used in public circuit '${circuit.name}' without disclose/commit`,
+                            suggestion: "Consider using disclose() or commit() to properly handle private data",
+                        });
+                    }
+                }
+            }
+        }
+        // Check for missing access control on state-modifying circuits
+        for (const circuit of circuits) {
+            if (circuit.isPublic) {
+                const modifiesState = circuit.code.includes(".insert") ||
+                    circuit.code.includes(".increment") ||
+                    circuit.code.includes(".decrement") ||
+                    circuit.code.includes("=");
+                if (modifiesState && !circuit.code.includes("assert")) {
+                    findings.push({
+                        severity: "info",
+                        message: `Public circuit '${circuit.name}' modifies state without assertions`,
+                        suggestion: "Consider adding assertions to validate inputs and permissions",
+                    });
+                }
+            }
+        }
+        // Check for unused witnesses
+        for (const witness of witnesses) {
+            let isUsed = false;
+            for (const circuit of circuits) {
+                if (circuit.code.includes(witness.name)) {
+                    isUsed = true;
+                    break;
+                }
+            }
+            if (!isUsed) {
+                findings.push({
+                    severity: "info",
+                    message: `Witness '${witness.name}' is defined but not used in any circuit`,
+                    suggestion: "Remove unused witnesses or implement their usage",
+                });
+            }
+        }
+        // Check for common patterns
+        if (!parsed.imports.includes("std")) {
+            findings.push({
+                severity: "info",
+                message: "Standard library not imported",
+                suggestion: "Consider adding 'include \"std\";' for common utilities",
+            });
+        }
+    }
+    // Generate summary
+    const summary = {
+        hasLedger: parsed.metadata.hasLedger,
+        hasCircuits: parsed.metadata.hasCircuits,
+        hasWitnesses: parsed.metadata.hasWitnesses,
+        totalLines: parsed.metadata.lineCount,
+        publicCircuits: circuits.filter((c) => c.isPublic).length,
+        privateCircuits: circuits.filter((c) => !c.isPublic).length,
+        publicState: ledgerFields.filter((f) => !f.isPrivate).length,
+        privateState: ledgerFields.filter((f) => f.isPrivate).length,
+    };
+    return {
+        summary,
+        structure: {
+            imports: parsed.imports,
+            exports: parsed.exports,
+            ledger: ledgerFields.map((f) => ({
+                name: f.name,
+                type: f.returnType,
+                isPrivate: f.isPrivate,
+            })),
+            circuits: circuits.map((c) => ({
+                name: c.name,
+                isPublic: c.isPublic,
+                parameters: c.parameters,
+                returnType: c.returnType,
+            })),
+            witnesses: witnesses.map((w) => ({
+                name: w.name,
+                parameters: w.parameters,
+                returnType: w.returnType,
+            })),
+            types: types.map((t) => ({
+                name: t.name,
+                definition: t.returnType,
+            })),
+        },
+        securityFindings: findings,
+        recommendations: findings.length === 0
+            ? ["Contract structure looks good! No issues found."]
+            : findings.map((f) => f.suggestion).filter(Boolean),
+    };
+}
+/**
+ * Explain what a specific circuit does in plain language
+ */
+export async function explainCircuit(input) {
+    logger.debug("Explaining circuit");
+    const parsed = parseCompactFile("circuit.compact", input.circuitCode);
+    const circuit = parsed.codeUnits.find((u) => u.type === "circuit");
+    if (!circuit) {
+        return {
+            error: "No circuit definition found in the provided code",
+            suggestion: "Make sure to provide a complete circuit definition including 'circuit' keyword",
+        };
+    }
+    // Analyze the circuit
+    const operations = [];
+    const zkImplications = [];
+    // Detect common operations
+    if (circuit.code.includes("disclose")) {
+        operations.push("Reveals private data selectively (disclose)");
+        zkImplications.push("Data revealed via disclose() will be visible on-chain while proving possession of private data");
+    }
+    if (circuit.code.includes("commit")) {
+        operations.push("Creates cryptographic commitments (commit)");
+        zkImplications.push("Commitments allow hiding data while proving properties about it");
+    }
+    if (circuit.code.includes("hash")) {
+        operations.push("Computes cryptographic hashes (hash)");
+        zkImplications.push("Hashes are computed in-circuit and can be verified without revealing preimages");
+    }
+    if (circuit.code.includes("assert")) {
+        operations.push("Validates constraints (assert)");
+        zkImplications.push("Assertions create ZK constraints - the proof will fail if any assertion fails");
+    }
+    if (circuit.code.includes(".insert")) {
+        operations.push("Inserts data into ledger storage");
+    }
+    if (circuit.code.includes(".increment")) {
+        operations.push("Increments a counter value");
+    }
+    if (circuit.code.includes(".decrement")) {
+        operations.push("Decrements a counter value");
+    }
+    // Build explanation
+    const explanation = buildCircuitExplanation(circuit, operations);
+    return {
+        circuitName: circuit.name,
+        isPublic: circuit.isPublic,
+        parameters: circuit.parameters,
+        returnType: circuit.returnType,
+        explanation,
+        operations,
+        zkImplications: zkImplications.length > 0
+            ? zkImplications
+            : [
+                "This circuit generates a zero-knowledge proof that the computation was performed correctly",
+            ],
+        privacyConsiderations: getPrivacyConsiderations(circuit),
+    };
+}
+function buildCircuitExplanation(circuit, operations) {
+    let explanation = `The circuit '${circuit.name}' is a `;
+    if (circuit.isPublic) {
+        explanation += "public (exported) function that can be called by anyone. ";
+    }
+    else {
+        explanation += "private (internal) function used by other circuits. ";
+    }
+    if (circuit.parameters && circuit.parameters.length > 0) {
+        explanation += `It takes ${circuit.parameters.length} parameter(s): `;
+        explanation += circuit.parameters
+            .map((p) => `${p.name} (${p.type})`)
+            .join(", ");
+        explanation += ". ";
+    }
+    if (circuit.returnType && circuit.returnType !== "Void") {
+        explanation += `It returns a value of type ${circuit.returnType}. `;
+    }
+    if (operations.length > 0) {
+        explanation += `\n\nKey operations performed:\n`;
+        operations.forEach((op, i) => {
+            explanation += `${i + 1}. ${op}\n`;
+        });
+    }
+    return explanation;
+}
+function getPrivacyConsiderations(circuit) {
+    const considerations = [];
+    if (circuit.code.includes("disclose")) {
+        considerations.push("Uses disclose() - some private data will be revealed on-chain");
+    }
+    if (circuit.isPublic) {
+        considerations.push("Public circuit - anyone can call this and generate proofs");
+    }
+    if (circuit.code.includes("@private") || circuit.code.includes("witness")) {
+        considerations.push("Accesses private state or witnesses - ensure sensitive data is handled correctly");
+    }
+    if (considerations.length === 0) {
+        considerations.push("No specific privacy concerns identified in this circuit");
+    }
+    return considerations;
+}
+// Tool definitions for MCP
+export const analyzeTools = [
+    {
+        name: "midnight-analyze-contract",
+        description: "Analyze a Compact smart contract for structure, patterns, and potential security issues. Returns detailed breakdown of circuits, witnesses, ledger state, and recommendations.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                code: {
+                    type: "string",
+                    description: "Compact contract source code to analyze",
+                },
+                checkSecurity: {
+                    type: "boolean",
+                    description: "Run security analysis (default: true)",
+                },
+            },
+            required: ["code"],
+        },
+        handler: analyzeContract,
+    },
+    {
+        name: "midnight-explain-circuit",
+        description: "Explain what a specific Compact circuit does in plain language, including its zero-knowledge proof implications and privacy considerations.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                circuitCode: {
+                    type: "string",
+                    description: "Circuit definition from Compact to explain",
+                },
+            },
+            required: ["circuitCode"],
+        },
+        handler: explainCircuit,
+    },
+];
+//# sourceMappingURL=analyze.js.map

package/dist/tools/analyze.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze.js","sourceRoot":"","sources":["../../src/tools/analyze.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,gBAAgB,EAAY,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,qBAAqB;AACrB,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,8BAA8B,CAAC;IACzD,aAAa,EAAE,CAAC;SACb,OAAO,EAAE;SACT,QAAQ,EAAE;SACV,OAAO,CAAC,IAAI,CAAC;SACb,QAAQ,CAAC,uBAAuB,CAAC;CACrC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,iCAAiC,CAAC;CACpE,CAAC,CAAC;AAYH;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,KAA2B;IAC/D,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAE3C,MAAM,MAAM,GAAG,gBAAgB,CAAC,kBAAkB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAsB,EAAE,CAAC;IAEvC,iCAAiC;IACjC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IACtE,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAEhE,oBAAoB;IACpB,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACxB,mCAAmC;QACnC,MAAM,aAAa,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC9D,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,+EAA+E;YAC/E,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1D,IACE,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;wBAClC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAChC,CAAC;wBACD,QAAQ,CAAC,IAAI,CAAC;4BACZ,QAAQ,EAAE,SAAS;4BACnB,OAAO,EAAE,kBAAkB,KAAK,CAAC,IAAI,6BAA6B,OAAO,CAAC,IAAI,2BAA2B;4BACzG,UAAU,EACR,uEAAuE;yBAC1E,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,+DAA+D;QAC/D,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACrB,MAAM,aAAa,GACjB,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;oBAChC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC;oBACnC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC;oBACnC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAE7B,IAAI,aAAa,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACtD,QAAQ,CAAC,IAAI,CAAC;wBACZ,QAAQ,EAAE,MAAM;wBAChB,OAAO,EAAE,mBAAmB,OAAO,CAAC,IAAI,qCAAqC;wBAC7E,UAAU,EACR,+DAA+D;qBAClE,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,6BAA6B;QAC7B,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;YAChC,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oBACxC,MAAM,GAAG,IAAI,CAAC;oBACd,MAAM;gBACR,CAAC;YACH,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,MAAM;oBAChB,OAAO,EAAE,YAAY,OAAO,CAAC,IAAI,0CAA0C;oBAC3E,UAAU,EAAE,kDAAkD;iBAC/D,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,4BAA4B;QAC5B,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,MAAM;gBAChB,OAAO,EAAE,+BAA+B;gBACxC,UAAU,EAAE,yDAAyD;aACtE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,MAAM,OAAO,GAAG;QACd,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS;QACpC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,WAAW;QACxC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,YAAY;QAC1C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS;QACrC,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM;QACzD,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM;QAC3D,WAAW,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM;QAC5D,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM;KAC7D,CAAC;IAEF,OAAO;QACL,OAAO;QACP,SAAS,EAAE;YACT,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,MAAM,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC/B,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,IAAI,EAAE,CAAC,CAAC,UAAU;gBAClB,SAAS,EAAE,CAAC,CAAC,SAAS;aACvB,CAAC,CAAC;YACH,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7B,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,UAAU,EAAE,CAAC,CAAC,UAAU;aACzB,CAAC,CAAC;YACH,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC/B,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,UAAU,EAAE,CAAC,CAAC,UAAU;aACzB,CAAC,CAAC;YACH,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACvB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,UAAU,EAAE,CAAC,CAAC,UAAU;aACzB,CAAC,CAAC;SACJ;QACD,gBAAgB,EAAE,QAAQ;QAC1B,eAAe,EACb,QAAQ,CAAC,MAAM,KAAK,CAAC;YACnB,CAAC,CAAC,CAAC,iDAAiD,CAAC;YACrD,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;KACxD,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,KAA0B;IAC7D,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAEnC,MAAM,MAAM,GAAG,gBAAgB,CAAC,iBAAiB,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAEnE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,KAAK,EAAE,kDAAkD;YACzD,UAAU,EACR,gFAAgF;SACnF,CAAC;IACJ,CAAC;IAED,sBAAsB;IACtB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,cAAc,GAAa,EAAE,CAAC;IAEpC,2BAA2B;IAC3B,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACtC,UAAU,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;QAC/D,cAAc,CAAC,IAAI,CACjB,gGAAgG,CACjG,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,UAAU,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;QAC9D,cAAc,CAAC,IAAI,CACjB,iEAAiE,CAClE,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,UAAU,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QACxD,cAAc,CAAC,IAAI,CACjB,gFAAgF,CACjF,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,UAAU,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QAClD,cAAc,CAAC,IAAI,CACjB,+EAA+E,CAChF,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACrC,UAAU,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IACtD,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACxC,UAAU,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACxC,UAAU,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAChD,CAAC;IAED,oBAAoB;IACpB,MAAM,WAAW,GAAG,uBAAuB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAEjE,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,IAAI;QACzB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,WAAW;QACX,UAAU;QACV,cAAc,EACZ,cAAc,CAAC,MAAM,GAAG,CAAC;YACvB,CAAC,CAAC,cAAc;YAChB,CAAC,CAAC;gBACE,4FAA4F;aAC7F;QACP,qBAAqB,EAAE,wBAAwB,CAAC,OAAO,CAAC;KACzD,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,OAAiB,EACjB,UAAoB;IAEpB,IAAI,WAAW,GAAG,gBAAgB,OAAO,CAAC,IAAI,SAAS,CAAC;IAExD,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,WAAW,IAAI,2DAA2D,CAAC;IAC7E,CAAC;SAAM,CAAC;QACN,WAAW,IAAI,sDAAsD,CAAC;IACxE,CAAC;IAED,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,WAAW,IAAI,YAAY,OAAO,CAAC,UAAU,CAAC,MAAM,iBAAiB,CAAC;QACtE,WAAW,IAAI,OAAO,CAAC,UAAU;aAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC;aACnC,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,WAAW,IAAI,IAAI,CAAC;IACtB,CAAC;IAED,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,KAAK,MAAM,EAAE,CAAC;QACxD,WAAW,IAAI,8BAA8B,OAAO,CAAC,UAAU,IAAI,CAAC;IACtE,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,WAAW,IAAI,iCAAiC,CAAC;QACjD,UAAU,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;YAC3B,WAAW,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAiB;IACjD,MAAM,cAAc,GAAa,EAAE,CAAC;IAEpC,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACtC,cAAc,CAAC,IAAI,CACjB,+DAA+D,CAChE,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,cAAc,CAAC,IAAI,CACjB,2DAA2D,CAC5D,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1E,cAAc,CAAC,IAAI,CACjB,kFAAkF,CACnF,CAAC;IACJ,CAAC;IAED,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,cAAc,CAAC,IAAI,CACjB,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IAED,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,2BAA2B;AAC3B,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B;QACE,IAAI,EAAE,2BAA2B;QACjC,WAAW,EACT,gLAAgL;QAClL,WAAW,EAAE;YACX,IAAI,EAAE,QAAiB;YACvB,UAAU,EAAE;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,yCAAyC;iBACvD;gBACD,aAAa,EAAE;oBACb,IAAI,EAAE,SAAS;oBACf,WAAW,EAAE,uCAAuC;iBACrD;aACF;YACD,QAAQ,EAAE,CAAC,MAAM,CAAC;SACnB;QACD,OAAO,EAAE,eAAe;KACzB;IACD;QACE,IAAI,EAAE,0BAA0B;QAChC,WAAW,EACT,6IAA6I;QAC/I,WAAW,EAAE;YACX,IAAI,EAAE,QAAiB;YACvB,UAAU,EAAE;gBACV,WAAW,EAAE;oBACX,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,4CAA4C;iBAC1D;aACF;YACD,QAAQ,EAAE,CAAC,aAAa,CAAC;SAC1B;QACD,OAAO,EAAE,cAAc;KACxB;CACF,CAAC"}