midnight-mcp 0.0.1

package/dist/prompts/templates.js

@@ -0,0 +1,353 @@
+// Prompt definitions
+export const promptDefinitions = [
+    {
+        name: "midnight:create-contract",
+        description: "Guided prompt for creating new Compact contracts with privacy considerations",
+        arguments: [
+            {
+                name: "contractType",
+                description: "Type of contract (token, voting, credential, custom)",
+                required: true,
+            },
+            {
+                name: "privacyLevel",
+                description: "Required privacy features (full, partial, public)",
+                required: false,
+            },
+            {
+                name: "complexity",
+                description: "Expected complexity level (beginner, intermediate, advanced)",
+                required: false,
+            },
+        ],
+    },
+    {
+        name: "midnight:review-contract",
+        description: "Security and best practices review prompt for existing contracts",
+        arguments: [
+            {
+                name: "contractCode",
+                description: "The Compact contract code to review",
+                required: true,
+            },
+            {
+                name: "focusAreas",
+                description: "Specific areas to emphasize (security, performance, privacy, readability)",
+                required: false,
+            },
+        ],
+    },
+    {
+        name: "midnight:explain-concept",
+        description: "Educational prompt for explaining Midnight concepts at various levels",
+        arguments: [
+            {
+                name: "concept",
+                description: "The concept to explain (zk-proofs, circuits, witnesses, ledger, etc.)",
+                required: true,
+            },
+            {
+                name: "level",
+                description: "Expertise level (beginner, intermediate, advanced)",
+                required: false,
+            },
+        ],
+    },
+    {
+        name: "midnight:compare-approaches",
+        description: "Compare different implementation approaches for a given problem",
+        arguments: [
+            {
+                name: "problem",
+                description: "The problem to solve",
+                required: true,
+            },
+            {
+                name: "approaches",
+                description: "Specific approaches to compare (comma-separated)",
+                required: false,
+            },
+        ],
+    },
+    {
+        name: "midnight:debug-contract",
+        description: "Help debug issues with a Compact contract",
+        arguments: [
+            {
+                name: "contractCode",
+                description: "The contract code with issues",
+                required: true,
+            },
+            {
+                name: "errorMessage",
+                description: "Error message or description of the issue",
+                required: false,
+            },
+        ],
+    },
+];
+/**
+ * Generate prompt messages based on template and arguments
+ */
+export function generatePrompt(name, args) {
+    switch (name) {
+        case "midnight:create-contract":
+            return generateCreateContractPrompt(args);
+        case "midnight:review-contract":
+            return generateReviewContractPrompt(args);
+        case "midnight:explain-concept":
+            return generateExplainConceptPrompt(args);
+        case "midnight:compare-approaches":
+            return generateCompareApproachesPrompt(args);
+        case "midnight:debug-contract":
+            return generateDebugContractPrompt(args);
+        default:
+            return [
+                {
+                    role: "user",
+                    content: {
+                        type: "text",
+                        text: `Unknown prompt: ${name}`,
+                    },
+                },
+            ];
+    }
+}
+function generateCreateContractPrompt(args) {
+    const contractType = args.contractType || "custom";
+    const privacyLevel = args.privacyLevel || "partial";
+    const complexity = args.complexity || "intermediate";
+    return [
+        {
+            role: "user",
+            content: {
+                type: "text",
+                text: `I want to create a new Midnight Compact smart contract with the following requirements:
+
+**Contract Type:** ${contractType}
+**Privacy Level:** ${privacyLevel}
+**Complexity:** ${complexity}
+
+Please help me design and implement this contract. Consider:
+
+1. **State Design**
+   - What should be public vs private (shielded)?
+   - What data structures are needed?
+   - How should state transitions work?
+
+2. **Circuit Design**
+   - What circuits (functions) are needed?
+   - What inputs/outputs should they have?
+   - What constraints and assertions are required?
+
+3. **Witness Functions**
+   - What off-chain data is needed?
+   - How should private state be accessed?
+
+4. **Privacy Considerations**
+   - How to protect user privacy?
+   - When to use disclose() vs commit()?
+   - How to prevent information leakage?
+
+5. **Security**
+   - Access control mechanisms
+   - Input validation
+   - Protection against common vulnerabilities
+
+Please provide:
+- A complete contract implementation
+- Explanation of design decisions
+- Example usage scenarios
+- Any security considerations`,
+            },
+        },
+    ];
+}
+function generateReviewContractPrompt(args) {
+    const contractCode = args.contractCode || "// No code provided";
+    const focusAreas = args.focusAreas || "security, privacy, best practices";
+    return [
+        {
+            role: "user",
+            content: {
+                type: "text",
+                text: `Please review this Midnight Compact smart contract:
+
+\`\`\`compact
+${contractCode}
+\`\`\`
+
+**Focus Areas:** ${focusAreas}
+
+Please analyze:
+
+1. **Security Analysis**
+   - Input validation
+   - Access control
+   - State manipulation vulnerabilities
+   - Assertion coverage
+
+2. **Privacy Assessment**
+   - Proper use of @private state
+   - Information leakage risks
+   - Correct use of disclose() and commit()
+   - Privacy guarantees provided
+
+3. **Best Practices**
+   - Code organization
+   - Naming conventions
+   - Documentation
+   - Error messages
+
+4. **Performance**
+   - Circuit complexity
+   - State access patterns
+   - Optimization opportunities
+
+5. **Recommendations**
+   - Critical issues to fix
+   - Improvements to consider
+   - Alternative approaches
+
+Please provide specific line references and code suggestions where applicable.`,
+            },
+        },
+    ];
+}
+function generateExplainConceptPrompt(args) {
+    const concept = args.concept || "zero-knowledge proofs";
+    const level = args.level || "intermediate";
+    const levelDescriptions = {
+        beginner: "Explain like I'm new to blockchain and cryptography. Use analogies and avoid jargon.",
+        intermediate: "I understand blockchain basics and some cryptography. Focus on practical applications.",
+        advanced: "I have deep technical knowledge. Include implementation details and edge cases.",
+    };
+    return [
+        {
+            role: "user",
+            content: {
+                type: "text",
+                text: `Please explain the concept of **${concept}** in the context of Midnight blockchain.
+
+**My Level:** ${level}
+${levelDescriptions[level] || levelDescriptions.intermediate}
+
+Please cover:
+
+1. **What it is**
+   - Clear definition
+   - How it works in Midnight
+
+2. **Why it matters**
+   - Benefits and use cases
+   - Real-world applications
+
+3. **How to use it**
+   - Code examples in Compact
+   - Best practices
+
+4. **Common pitfalls**
+   - Mistakes to avoid
+   - Debugging tips
+
+5. **Further learning**
+   - Related concepts
+   - Resources for deeper understanding`,
+            },
+        },
+    ];
+}
+function generateCompareApproachesPrompt(args) {
+    const problem = args.problem || "implementing a token contract";
+    const approaches = args.approaches || "";
+    return [
+        {
+            role: "user",
+            content: {
+                type: "text",
+                text: `I need to solve the following problem in Midnight:
+
+**Problem:** ${problem}
+
+${approaches ? `**Approaches to compare:** ${approaches}` : "Please suggest different implementation approaches."}
+
+Please compare:
+
+1. **Approach Overview**
+   - Brief description of each approach
+   - Key differences
+
+2. **Privacy Implications**
+   - What data is exposed?
+   - Privacy guarantees
+
+3. **Performance**
+   - Proof generation time
+   - State storage requirements
+   - Transaction costs
+
+4. **Security**
+   - Attack surface
+   - Trust assumptions
+
+5. **Code Complexity**
+   - Implementation difficulty
+   - Maintenance burden
+
+6. **Recommendation**
+   - Best approach for different scenarios
+   - Trade-offs to consider
+
+Please include code examples for each approach.`,
+            },
+        },
+    ];
+}
+function generateDebugContractPrompt(args) {
+    const contractCode = args.contractCode || "// No code provided";
+    const errorMessage = args.errorMessage || "Not specified";
+    return [
+        {
+            role: "user",
+            content: {
+                type: "text",
+                text: `I'm having issues with this Midnight Compact contract:
+
+\`\`\`compact
+${contractCode}
+\`\`\`
+
+**Error/Issue:** ${errorMessage}
+
+Please help me debug by:
+
+1. **Identifying the Problem**
+   - What's causing the error?
+   - Which line(s) are problematic?
+
+2. **Explaining Why**
+   - Root cause analysis
+   - How Compact/ZK constraints work
+
+3. **Providing a Fix**
+   - Corrected code
+   - Explanation of changes
+
+4. **Preventing Future Issues**
+   - Related pitfalls to watch for
+   - Testing strategies
+
+5. **Additional Improvements**
+   - Code quality suggestions
+   - Best practices`,
+            },
+        },
+    ];
+}
+/**
+ * List all available prompts
+ */
+export function listPrompts() {
+    return promptDefinitions;
+}
+//# sourceMappingURL=templates.js.map

package/dist/prompts/templates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"templates.js","sourceRoot":"","sources":["../../src/prompts/templates.ts"],"names":[],"mappings":"AAkBA,qBAAqB;AACrB,MAAM,CAAC,MAAM,iBAAiB,GAAuB;IACnD;QACE,IAAI,EAAE,0BAA0B;QAChC,WAAW,EACT,8EAA8E;QAChF,SAAS,EAAE;YACT;gBACE,IAAI,EAAE,cAAc;gBACpB,WAAW,EAAE,sDAAsD;gBACnE,QAAQ,EAAE,IAAI;aACf;YACD;gBACE,IAAI,EAAE,cAAc;gBACpB,WAAW,EAAE,mDAAmD;gBAChE,QAAQ,EAAE,KAAK;aAChB;YACD;gBACE,IAAI,EAAE,YAAY;gBAClB,WAAW,EAAE,8DAA8D;gBAC3E,QAAQ,EAAE,KAAK;aAChB;SACF;KACF;IACD;QACE,IAAI,EAAE,0BAA0B;QAChC,WAAW,EAAE,kEAAkE;QAC/E,SAAS,EAAE;YACT;gBACE,IAAI,EAAE,cAAc;gBACpB,WAAW,EAAE,qCAAqC;gBAClD,QAAQ,EAAE,IAAI;aACf;YACD;gBACE,IAAI,EAAE,YAAY;gBAClB,WAAW,EACT,2EAA2E;gBAC7E,QAAQ,EAAE,KAAK;aAChB;SACF;KACF;IACD;QACE,IAAI,EAAE,0BAA0B;QAChC,WAAW,EAAE,uEAAuE;QACpF,SAAS,EAAE;YACT;gBACE,IAAI,EAAE,SAAS;gBACf,WAAW,EACT,uEAAuE;gBACzE,QAAQ,EAAE,IAAI;aACf;YACD;gBACE,IAAI,EAAE,OAAO;gBACb,WAAW,EAAE,oDAAoD;gBACjE,QAAQ,EAAE,KAAK;aAChB;SACF;KACF;IACD;QACE,IAAI,EAAE,6BAA6B;QACnC,WAAW,EAAE,iEAAiE;QAC9E,SAAS,EAAE;YACT;gBACE,IAAI,EAAE,SAAS;gBACf,WAAW,EAAE,sBAAsB;gBACnC,QAAQ,EAAE,IAAI;aACf;YACD;gBACE,IAAI,EAAE,YAAY;gBAClB,WAAW,EAAE,kDAAkD;gBAC/D,QAAQ,EAAE,KAAK;aAChB;SACF;KACF;IACD;QACE,IAAI,EAAE,yBAAyB;QAC/B,WAAW,EAAE,2CAA2C;QACxD,SAAS,EAAE;YACT;gBACE,IAAI,EAAE,cAAc;gBACpB,WAAW,EAAE,+BAA+B;gBAC5C,QAAQ,EAAE,IAAI;aACf;YACD;gBACE,IAAI,EAAE,cAAc;gBACpB,WAAW,EAAE,2CAA2C;gBACxD,QAAQ,EAAE,KAAK;aAChB;SACF;KACF;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,IAA4B;IAE5B,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,0BAA0B;YAC7B,OAAO,4BAA4B,CAAC,IAAI,CAAC,CAAC;QAC5C,KAAK,0BAA0B;YAC7B,OAAO,4BAA4B,CAAC,IAAI,CAAC,CAAC;QAC5C,KAAK,0BAA0B;YAC7B,OAAO,4BAA4B,CAAC,IAAI,CAAC,CAAC;QAC5C,KAAK,6BAA6B;YAChC,OAAO,+BAA+B,CAAC,IAAI,CAAC,CAAC;QAC/C,KAAK,yBAAyB;YAC5B,OAAO,2BAA2B,CAAC,IAAI,CAAC,CAAC;QAC3C;YACE,OAAO;gBACL;oBACE,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE;wBACP,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,mBAAmB,IAAI,EAAE;qBAChC;iBACF;aACF,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,4BAA4B,CACnC,IAA4B;IAE5B,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,QAAQ,CAAC;IACnD,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,SAAS,CAAC;IACpD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,cAAc,CAAC;IAErD,OAAO;QACL;YACE,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE;gBACP,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE;;qBAEO,YAAY;qBACZ,YAAY;kBACf,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8BAgCE;aACvB;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,4BAA4B,CACnC,IAA4B;IAE5B,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,qBAAqB,CAAC;IAChE,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,mCAAmC,CAAC;IAE1E,OAAO;QACL;YACE,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE;gBACP,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE;;;EAGZ,YAAY;;;mBAGK,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;+EAgCkD;aACxE;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,4BAA4B,CACnC,IAA4B;IAE5B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,uBAAuB,CAAC;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,cAAc,CAAC;IAE3C,MAAM,iBAAiB,GAA2B;QAChD,QAAQ,EACN,sFAAsF;QACxF,YAAY,EACV,wFAAwF;QAC1F,QAAQ,EACN,iFAAiF;KACpF,CAAC;IAEF,OAAO;QACL;YACE,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE;gBACP,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,mCAAmC,OAAO;;gBAExC,KAAK;EACnB,iBAAiB,CAAC,KAAK,CAAC,IAAI,iBAAiB,CAAC,YAAY;;;;;;;;;;;;;;;;;;;;;;wCAsBpB;aACjC;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CACtC,IAA4B;IAE5B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,+BAA+B,CAAC;IAChE,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC;IAEzC,OAAO;QACL;YACE,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE;gBACP,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE;;eAEC,OAAO;;EAEpB,UAAU,CAAC,CAAC,CAAC,8BAA8B,UAAU,EAAE,CAAC,CAAC,CAAC,qDAAqD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;gDA6BjE;aACzC;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,IAA4B;IAE5B,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,qBAAqB,CAAC;IAChE,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,eAAe,CAAC;IAE1D,OAAO;QACL;YACE,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE;gBACP,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE;;;EAGZ,YAAY;;;mBAGK,YAAY;;;;;;;;;;;;;;;;;;;;;;oBAsBX;aACb;SACF;KACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW;IACzB,OAAO,iBAAiB,CAAC;AAC3B,CAAC"}

package/dist/resources/code.d.ts

@@ -0,0 +1,16 @@
+export interface ResourceDefinition {
+    uri: string;
+    name: string;
+    description: string;
+    mimeType: string;
+}
+export declare const codeResources: ResourceDefinition[];
+/**
+ * Get code content by URI
+ */
+export declare function getCode(uri: string): Promise<string | null>;
+/**
+ * List all available code resources
+ */
+export declare function listCodeResources(): ResourceDefinition[];
+//# sourceMappingURL=code.d.ts.map

package/dist/resources/code.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"code.d.ts","sourceRoot":"","sources":["../../src/resources/code.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,kBAAkB;IACjC,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAGD,eAAO,MAAM,aAAa,EAAE,kBAAkB,EA2C7C,CAAC;AAkiBF;;GAEG;AACH,wBAAsB,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAyCjE;AAED;;GAEG;AACH,wBAAgB,iBAAiB,IAAI,kBAAkB,EAAE,CAExD"}