midnight-mcp 0.2.16 → 0.2.18

package/README.md

@@ -8,6 +8,8 @@
 
 MCP server that gives AI assistants access to Midnight blockchain—search contracts, analyze code, and explore documentation.
 
+This project extends the Midnight Network with additional developer tooling.
+
 ## Requirements
 
 - **Node.js 20+** (LTS recommended)
@@ -124,7 +126,7 @@ All tools are prefixed with `midnight-` (e.g., `midnight-search-compact`).
 The `midnight-compile-contract` tool validates Compact code using a hosted compiler service:
 
 ```
-✅ Compilation successful (Compiler v0.18.0) in 2841ms
+✅ Compilation successful (Compiler v0.29.0) in 2841ms
 ```
 
 - **Fast mode** (`skipZk=true`): Syntax validation in ~1-2 seconds
@@ -137,7 +139,7 @@ This catches semantic errors that static analysis misses (sealed fields, disclos
 
 | Capability      | Feature                                         |
 | --------------- | ----------------------------------------------- |
-| **Tools**       | 28 tools with `listChanged` notifications       |
+| **Tools**       | 29 tools with `listChanged` notifications       |
 | **Resources**   | 9 embedded resources with subscription support  |
 | **Prompts**     | 5 workflow prompts                              |
 | **Logging**     | Client-controllable log level                   |
@@ -149,7 +151,7 @@ This catches semantic errors that static analysis misses (sealed fields, disclos
 
 Quick references available offline:
 
-- Compact syntax guide (v0.16-0.18)
+- Compact syntax guide (v0.16-0.21)
 - SDK API reference
 - OpenZeppelin contracts
 - Tokenomics overview
@@ -164,7 +166,7 @@ Quick references available offline:
 | ------------------------- | -------- | ------------------------------------------------------- |
 | `deprecated_ledger_block` | P0       | Catches `ledger { }` → use `export ledger field: Type;` |
 | `invalid_void_type`       | P0       | Catches `Void` → use `[]` (empty tuple)                 |
-| `invalid_pragma_format`   | P0       | Catches old pragma → use `>= 0.16 && <= 0.18`           |
+| `invalid_pragma_format`   | P0       | Catches old pragma → use `>= 0.16 && <= 0.21`           |
 | `unexported_enum`         | P1       | Enums need `export` for TypeScript access               |
 | `module_level_const`      | P0       | Use `pure circuit` instead                              |
 | + 10 more checks          | P1-P2    | Overflow, division, assertions, etc.                    |
@@ -269,6 +271,11 @@ Add `"GITHUB_TOKEN": "ghp_..."` for higher GitHub API rate limits (60 → 5000 r
 ```bash
 git clone https://github.com/Olanetsoft/midnight-mcp.git && cd midnight-mcp
 npm install && npm run build && npm test
+
+# Lint & format
+npm run lint          # ESLint (typescript-eslint)
+npm run lint:fix      # Auto-fix lint issues
+npm run format        # Prettier
 ```
 
 The hosted API runs on Cloudflare Workers + Vectorize. See [api/README.md](./api/README.md) for backend details.

package/dist/bin.js

@@ -2,10 +2,10 @@
 import {
   startHttpServer,
   startServer
-} from "./chunk-TJ7QA5XT.js";
+} from "./chunk-TSXIIBEH.js";
 import {
   setOutputFormat
-} from "./chunk-P3MTQHP6.js";
+} from "./chunk-WVMAQ2LK.js";
 
 // src/bin.ts
 import { config } from "dotenv";
@@ -13,7 +13,7 @@ import { resolve } from "path";
 import yargs from "yargs";
 import { hideBin } from "yargs/helpers";
 config({ path: resolve(process.cwd(), ".env") });
-var CURRENT_VERSION = "0.2.16";
+var CURRENT_VERSION = "0.2.18";
 process.on("uncaughtException", (error) => {
   console.error("Uncaught exception:", error);
   process.exit(1);

package/dist/{chunk-TJ7QA5XT.js → chunk-TSXIIBEH.js}

@@ -25,7 +25,7 @@ import {
   validateNumber,
   validateQuery,
   vectorStore
-} from "./chunk-P3MTQHP6.js";
+} from "./chunk-WVMAQ2LK.js";
 
 // src/tools/search/schemas.ts
 import { z } from "zod";
@@ -171,38 +171,53 @@ function finalizeResponse(response, cacheKey, warnings) {
   });
   return finalResponse;
 }
-async function searchCompact(input) {
-  const validation = validateSearchInput(input.query, input.limit);
+async function performSearch(query, limit, config) {
+  const validation = validateSearchInput(query, limit);
   if (!validation.success) {
     return validation.error;
   }
-  const { sanitizedQuery, limit, warnings } = validation.context;
-  logger.debug("Searching Compact code", {
+  const { sanitizedQuery, limit: validatedLimit, warnings } = validation.context;
+  logger.debug(`Searching ${config.searchType}`, {
     query: sanitizedQuery,
     mode: isHostedMode() ? "hosted" : "local"
   });
   const cacheKey = createCacheKey(
-    "compact",
+    config.searchType,
     sanitizedQuery,
-    limit,
-    input.filter?.repository
+    validatedLimit,
+    ...config.cacheKeyExtra
   );
   const cached = checkSearchCache(cacheKey);
   if (cached) return cached;
   const hostedResult = await tryHostedSearch(
-    "compact",
-    () => searchCompactHosted(sanitizedQuery, limit),
+    config.searchType,
+    () => config.hostedSearchFn(sanitizedQuery, validatedLimit),
     cacheKey,
     warnings
   );
-  if (hostedResult) return hostedResult.result;
-  const filter = {
-    language: "compact",
-    ...input.filter
-  };
-  const results = await vectorStore.search(sanitizedQuery, limit, filter);
+  if (hostedResult) {
+    return { ...hostedResult.result, ...config.hostedResultExtra };
+  }
+  const filter = config.buildFilter();
+  let results = await vectorStore.search(sanitizedQuery, validatedLimit, filter);
+  if (config.postFilter) {
+    results = config.postFilter(results);
+  }
   const response = {
-    results: results.map((r) => ({
+    results: results.map(config.transformResult),
+    totalResults: results.length,
+    query: sanitizedQuery,
+    ...config.extraFields
+  };
+  return finalizeResponse(response, cacheKey, warnings);
+}
+async function searchCompact(input) {
+  return performSearch(input.query, input.limit, {
+    searchType: "compact",
+    cacheKeyExtra: [input.filter?.repository],
+    hostedSearchFn: (query, limit) => searchCompactHosted(query, limit),
+    buildFilter: () => ({ language: "compact", ...input.filter }),
+    transformResult: (r) => ({
       code: r.content,
       relevanceScore: r.score,
       source: {
@@ -212,49 +227,19 @@ async function searchCompact(input) {
       },
       codeType: r.metadata.codeType,
       name: r.metadata.codeName
-    })),
-    totalResults: results.length,
-    query: sanitizedQuery
-  };
-  return finalizeResponse(response, cacheKey, warnings);
+    })
+  });
 }
 async function searchTypeScript(input) {
-  const validation = validateSearchInput(input.query, input.limit);
-  if (!validation.success) {
-    return validation.error;
-  }
-  const { sanitizedQuery, limit, warnings } = validation.context;
-  logger.debug("Searching TypeScript code", {
-    query: sanitizedQuery,
-    mode: isHostedMode() ? "hosted" : "local"
-  });
-  const cacheKey = createCacheKey(
-    "typescript",
-    sanitizedQuery,
-    limit,
-    input.includeTypes
-  );
-  const cached = checkSearchCache(cacheKey);
-  if (cached) return cached;
-  const hostedResult = await tryHostedSearch(
-    "typescript",
-    () => searchTypeScriptHosted(sanitizedQuery, limit, input.includeTypes),
-    cacheKey,
-    warnings
-  );
-  if (hostedResult) return hostedResult.result;
-  const filter = {
-    language: "typescript"
-  };
-  const results = await vectorStore.search(sanitizedQuery, limit, filter);
-  let filteredResults = results;
-  if (!input.includeTypes) {
-    filteredResults = results.filter(
+  return performSearch(input.query, input.limit, {
+    searchType: "typescript",
+    cacheKeyExtra: [input.includeTypes],
+    hostedSearchFn: (query, limit) => searchTypeScriptHosted(query, limit, input.includeTypes),
+    buildFilter: () => ({ language: "typescript" }),
+    postFilter: (results) => input.includeTypes ? results : results.filter(
       (r) => r.metadata.codeType !== "type" && r.metadata.codeType !== "interface"
-    );
-  }
-  const response = {
-    results: filteredResults.map((r) => ({
+    ),
+    transformResult: (r) => ({
       code: r.content,
       relevanceScore: r.score,
       source: {
@@ -265,49 +250,23 @@ async function searchTypeScript(input) {
       codeType: r.metadata.codeType,
       name: r.metadata.codeName,
       isExported: r.metadata.isPublic
-    })),
-    totalResults: filteredResults.length,
-    query: sanitizedQuery
-  };
-  return finalizeResponse(response, cacheKey, warnings);
+    })
+  });
 }
 async function searchDocs(input) {
-  const validation = validateSearchInput(input.query, input.limit);
-  if (!validation.success) {
-    return validation.error;
-  }
-  const { sanitizedQuery, limit, warnings } = validation.context;
-  logger.debug("Searching documentation", {
-    query: sanitizedQuery,
-    mode: isHostedMode() ? "hosted" : "local"
-  });
-  const cacheKey = createCacheKey(
-    "docs",
-    sanitizedQuery,
-    limit,
-    input.category
-  );
-  const cached = checkSearchCache(cacheKey);
-  if (cached) return cached;
   const freshnessHint = "For guaranteed freshness, use midnight-fetch-docs with the path from these results (e.g., /develop/faq)";
-  const hostedResult = await tryHostedSearch(
-    "docs",
-    () => searchDocsHosted(sanitizedQuery, limit, input.category),
-    cacheKey,
-    warnings
-  );
-  if (hostedResult) {
-    return { ...hostedResult.result, hint: freshnessHint };
-  }
-  const filter = {
-    language: "markdown"
-  };
-  if (input.category !== "all") {
-    filter.repository = "midnightntwrk/midnight-docs";
-  }
-  const results = await vectorStore.search(sanitizedQuery, limit, filter);
-  const response = {
-    results: results.map((r) => ({
+  return performSearch(input.query, input.limit, {
+    searchType: "docs",
+    cacheKeyExtra: [input.category],
+    hostedSearchFn: (query, limit) => searchDocsHosted(query, limit, input.category),
+    buildFilter: () => {
+      const filter = { language: "markdown" };
+      if (input.category !== "all") {
+        filter.repository = "midnightntwrk/midnight-docs";
+      }
+      return filter;
+    },
+    transformResult: (r) => ({
       content: r.content,
       relevanceScore: r.score,
       source: {
@@ -315,13 +274,13 @@ async function searchDocs(input) {
         filePath: r.metadata.filePath,
         section: r.metadata.codeName
       }
-    })),
-    totalResults: results.length,
-    query: sanitizedQuery,
-    category: input.category,
-    hint: "For guaranteed freshness, use midnight-fetch-docs with the path from these results (e.g., /develop/faq)"
-  };
-  return finalizeResponse(response, cacheKey, warnings);
+    }),
+    extraFields: {
+      category: input.category,
+      hint: freshnessHint
+    },
+    hostedResultExtra: { hint: freshnessHint }
+  });
 }
 var DOCS_BASE_URL = "https://docs.midnight.network";
 var FETCH_TIMEOUT = 15e3;
@@ -354,7 +313,7 @@ function extractContentFromHtml(html, extractSection) {
   const headingRegex = /<h([1-6])[^>]*class="[^"]*anchor[^"]*"[^>]*id="([^"]*)"[^>]*>([^<]*(?:<[^/][^>]*>[^<]*<\/[^>]+>)*[^<]*)/gi;
   let headingMatch;
   while ((headingMatch = headingRegex.exec(articleHtml)) !== null) {
-    const text = headingMatch[3].replace(/<[^>]+>/g, "").replace(/\u200B/g, "").replace(/​/g, "").trim();
+    const text = headingMatch[3].replace(/<[^>]+>/g, "").replace(/\u200B/g, "").trim();
     if (text) {
       headings.push({
         level: parseInt(headingMatch[1]),
@@ -406,7 +365,24 @@ async function fetchDocs(input) {
       suggestion: `Use a clean path like '/develop/faq' or '/getting-started/installation'`
     };
   }
-  const url = `${DOCS_BASE_URL}${normalizedPath}`;
+  let url;
+  try {
+    const constructed = new URL(normalizedPath, DOCS_BASE_URL);
+    if (constructed.origin !== new URL(DOCS_BASE_URL).origin) {
+      return {
+        error: "Invalid path",
+        details: ["Path resulted in a URL outside the documentation domain"],
+        suggestion: `Use a clean path like '/develop/faq' or '/getting-started/installation'`
+      };
+    }
+    url = constructed.href;
+  } catch {
+    return {
+      error: "Invalid path",
+      details: ["Could not construct a valid URL from the path"],
+      suggestion: `Use a clean path like '/develop/faq' or '/getting-started/installation'`
+    };
+  }
   logger.debug("Fetching live documentation", { url, extractSection });
   try {
     const controller = new AbortController();
@@ -800,7 +776,19 @@ async function compileContract(code, options = {}) {
         serviceAvailable: response.status < 500
       };
     }
-    const result = await response.json();
+    const rawResult = await response.json();
+    if (typeof rawResult !== "object" || rawResult === null || !("success" in rawResult)) {
+      logger.error("Compiler API returned unexpected response format", {
+        response: JSON.stringify(rawResult).slice(0, 200)
+      });
+      return {
+        success: false,
+        message: "Compiler service returned an unexpected response format",
+        error: "INVALID_RESPONSE",
+        serviceAvailable: true
+      };
+    }
+    const result = rawResult;
     if (result.success) {
       const outputInfo = typeof result.output === "object" && result.output !== null ? result.output : {};
       logger.info("Compilation successful", {
@@ -1710,10 +1698,7 @@ var REPO_ALIASES = {
   lucentlabs: { owner: "statera-protocol", repo: "statera-protocol-midnight" },
   stablecoin: { owner: "statera-protocol", repo: "statera-protocol-midnight" },
   "midnight-bank": { owner: "nel349", repo: "midnight-bank" },
-  bank: { owner: "nel349", repo: "midnight-bank" },
-  zkbadge: { owner: "Imdavyking", repo: "zkbadge" },
-  badge: { owner: "Imdavyking", repo: "zkbadge" },
-  davyking: { owner: "Imdavyking", repo: "zkbadge" }
+  bank: { owner: "nel349", repo: "midnight-bank" }
 };
 var EXAMPLES = [
   {
@@ -1837,21 +1822,6 @@ var EXAMPLES = [
       "Private transfers"
     ]
   },
-  {
-    name: "zkBadge (Davyking)",
-    repository: "Imdavyking/zkbadge",
-    description: "3rd place Mini DApp winner. Privacy-preserving identity and access control. Issue verifiable credentials (e.g., age proof) without revealing personal data. Only 'verified' status stored on-chain.",
-    category: "identity",
-    complexity: "intermediate",
-    mainFile: "contract/src/zkbadge.compact",
-    features: [
-      "ZK credentials",
-      "Off-chain verification",
-      "On-chain badges",
-      "Access control",
-      "Reputation system"
-    ]
-  },
   // Core Partner - PaimaStudios (Gaming Infrastructure)
   {
     name: "Midnight Game 2 (PaimaStudios)",
@@ -1944,7 +1914,7 @@ import { randomUUID } from "crypto";
 
 // src/resources/content/docs-content.ts
 var EMBEDDED_DOCS = {
-  "midnight://docs/compact-reference": `# Compact Language Syntax Reference (v0.16 - v0.18)
+  "midnight://docs/compact-reference": `# Compact Language Syntax Reference (v0.16 - v0.21)
 
 > **CRITICAL**: This reference is derived from **actual compiling contracts** in the Midnight ecosystem.
 > Always verify syntax against this reference before generating contracts.
@@ -1954,7 +1924,7 @@ var EMBEDDED_DOCS = {
 Use this as a starting point - it compiles successfully:
 
 \`\`\`compact
-pragma language_version >= 0.16 && <= 0.18;
+pragma language_version >= 0.16 && <= 0.21;
 
 import CompactStandardLibrary;
 
@@ -1977,13 +1947,13 @@ export circuit increment(): [] {
 
 **CORRECT** - use bounded range without patch version:
 \`\`\`compact
-pragma language_version >= 0.16 && <= 0.18;
+pragma language_version >= 0.16 && <= 0.21;
 \`\`\`
 
 **WRONG** - these will cause parse errors:
 \`\`\`compact
 pragma language_version >= 0.14.0;           // \u274C patch version not needed
-pragma language_version >= 0.16.0 < 0.19.0;  // \u274C wrong operator format
+pragma language_version >= 0.20.0 < 0.22.0;  // \u274C wrong operator format
 \`\`\`
 
 ---
@@ -2231,7 +2201,7 @@ export circuit authenticated_action(): [] {
 
 ### Commit-Reveal Pattern (COMPLETE, VALIDATED)
 \`\`\`compact
-pragma language_version >= 0.16 && <= 0.18;
+pragma language_version >= 0.16 && <= 0.21;
 
 import CompactStandardLibrary;
 
@@ -2471,7 +2441,7 @@ assert(disclose(caller == owner), "Not authorized");
 |---------|---------|
 | \`ledger { field: Type; }\` | \`export ledger field: Type;\` |
 | \`circuit fn(): Void\` | \`circuit fn(): []\` |
-| \`pragma >= 0.16.0\` | \`pragma >= 0.16 && <= 0.18\` |
+| \`pragma >= 0.20.0\` | \`pragma >= 0.16 && <= 0.21\` |
 | \`enum State { ... }\` | \`export enum State { ... }\` |
 | \`if (witness_val == x)\` | \`if (disclose(witness_val == x))\` |
 | \`Cell<Field>\` | \`Field\` (Cell is deprecated) |
@@ -2804,7 +2774,7 @@ npm install @openzeppelin/compact-contracts
 ## Usage Example
 
 \`\`\`compact
-pragma language_version >= 0.18.0;
+pragma language_version >= 0.16 && <= 0.21;
 
 import CompactStandardLibrary;
 import "@openzeppelin/compact-contracts/src/token/FungibleToken"
@@ -2845,7 +2815,7 @@ The recommended standard for privacy-preserving tokens on Midnight.
 ## Basic Usage
 
 \`\`\`compact
-pragma language_version >= 0.18.0;
+pragma language_version >= 0.16 && <= 0.21;
 
 import CompactStandardLibrary;
 import "@openzeppelin/compact-contracts/src/token/FungibleToken"
@@ -3436,7 +3406,7 @@ var EMBEDDED_CODE = {
   "midnight://code/examples/counter": `// Counter Example Contract
 // A simple contract demonstrating basic Compact concepts
 
-pragma language_version >= 0.16 && <= 0.18;
+pragma language_version >= 0.16 && <= 0.21;
 
 import CompactStandardLibrary;
 
@@ -3485,7 +3455,7 @@ export circuit isLessThan(threshold: Uint<64>): Boolean {
   "midnight://code/examples/bboard": `// Bulletin Board Example Contract
 // Demonstrates private messaging with selective disclosure
 
-pragma language_version >= 0.16 && <= 0.18;
+pragma language_version >= 0.16 && <= 0.21;
 
 import CompactStandardLibrary;
 
@@ -3534,7 +3504,7 @@ export circuit getMessageCount(): Uint<64> {
   "midnight://code/patterns/state-management": `// State Management Pattern
 // Best practices for managing public and private state
 
-pragma language_version >= 0.16 && <= 0.18;
+pragma language_version >= 0.16 && <= 0.21;
 
 import CompactStandardLibrary;
 
@@ -3585,7 +3555,7 @@ export circuit revealBalance(user: Opaque<"address">): Field {
   "midnight://code/patterns/access-control": `// Access Control Pattern
 // Implementing permissions and authorization
 
-pragma language_version >= 0.16 && <= 0.18;
+pragma language_version >= 0.16 && <= 0.21;
 
 import CompactStandardLibrary;
 
@@ -3640,7 +3610,7 @@ export circuit timeLockedAction(unlockTime: Field): [] {
   "midnight://code/patterns/privacy-preserving": `// Privacy-Preserving Patterns
 // Techniques for maintaining privacy in smart contracts
 
-pragma language_version >= 0.16 && <= 0.18;
+pragma language_version >= 0.16 && <= 0.21;
 
 import CompactStandardLibrary;
 
@@ -3745,7 +3715,7 @@ export circuit proveMembership(
   "midnight://code/templates/token": `// Privacy-Preserving Token Template
 // Starter template for token contracts with privacy features
 
-pragma language_version >= 0.16 && <= 0.18;
+pragma language_version >= 0.16 && <= 0.21;
 
 import CompactStandardLibrary;
 
@@ -3804,7 +3774,7 @@ export circuit mint(to: Opaque<"address">, amount: Uint<64>): Boolean {
   "midnight://code/templates/voting": `// Private Voting Template
 // Starter template for privacy-preserving voting contracts
 
-pragma language_version >= 0.16 && <= 0.18;
+pragma language_version >= 0.16 && <= 0.21;
 
 import CompactStandardLibrary;
 
@@ -3884,7 +3854,7 @@ export circuit addVoter(voter: Opaque<"address">): [] {
   "midnight://code/examples/nullifier": `// Nullifier Pattern Example
 // Demonstrates how to create and use nullifiers to prevent double-spending/actions
 
-pragma language_version >= 0.16 && <= 0.18;
+pragma language_version >= 0.16 && <= 0.21;
 
 import CompactStandardLibrary;
 
@@ -3951,7 +3921,7 @@ export circuit voteWithNullifier(
   "midnight://code/examples/hash": `// Hash Functions in Compact
 // Examples of using hash functions for various purposes
 
-pragma language_version >= 0.16 && <= 0.18;
+pragma language_version >= 0.16 && <= 0.21;
 
 import CompactStandardLibrary;
 
@@ -3998,7 +3968,7 @@ export circuit reveal(value: Field, randomness: Field): Field {
   "midnight://code/examples/simple-counter": `// Simple Counter Contract
 // Minimal example for learning Compact basics
 
-pragma language_version >= 0.16 && <= 0.18;
+pragma language_version >= 0.16 && <= 0.21;
 
 import CompactStandardLibrary;
 
@@ -4036,7 +4006,7 @@ export circuit reset(): [] {
   "midnight://code/templates/basic": `// Basic Compact Contract Template
 // Starting point for new contracts
 
-pragma language_version >= 0.16 && <= 0.18;
+pragma language_version >= 0.16 && <= 0.21;
 
 import CompactStandardLibrary;
 
@@ -4176,7 +4146,7 @@ async function getDocumentation(uri) {
       if (file) {
         return file.content;
       }
-    } catch (error) {
+    } catch (_error) {
       logger.warn(`Could not fetch doc from GitHub: ${uri}`);
     }
   }
@@ -4282,7 +4252,7 @@ async function getCode(uri) {
           return file.content;
         }
       }
-    } catch (error) {
+    } catch (_error) {
       logger.warn(`Could not fetch code from GitHub: ${uri}`);
     }
   }
@@ -4826,7 +4796,7 @@ function generateCreateContractPrompt(args) {
 Call \`midnight-get-latest-syntax\` FIRST to get:
 - The \`quickStartTemplate\` (use as your base)
 - The \`commonMistakes\` array (avoid these errors)
-- Current pragma format: \`pragma language_version >= 0.16 && <= 0.18;\`
+- Current pragma format: \`pragma language_version >= 0.16 && <= 0.21;\`
 
 ### Step 2: Generate Contract
 Based on syntax reference, generate the contract using:
@@ -4927,7 +4897,7 @@ ${contractCode}
 Call \`midnight-extract-contract-structure\` with the contract code to check for:
 - deprecated_ledger_block (should use \`export ledger field: Type;\`)
 - invalid_void_type (should use \`[]\` not \`Void\`)
-- invalid_pragma_format (should use \`>= 0.16 && <= 0.18\`)
+- invalid_pragma_format (should use \`>= 0.16 && <= 0.21\`)
 - unexported_enum (enums need \`export\`)
 - deprecated_cell_wrapper
 
@@ -5096,7 +5066,7 @@ ${contractCode}
 Call \`midnight-extract-contract-structure\` FIRST to check for common syntax errors:
 - deprecated_ledger_block \u2192 should use \`export ledger field: Type;\`
 - invalid_void_type \u2192 should use \`[]\` not \`Void\`
-- invalid_pragma_format \u2192 should use \`>= 0.16 && <= 0.18\`
+- invalid_pragma_format \u2192 should use \`>= 0.16 && <= 0.21\`
 - unexported_enum \u2192 enums need \`export\` keyword
 
 ### Step 2: Get Correct Syntax
@@ -5198,7 +5168,8 @@ async function requestCompletion(messages, options = {}) {
       );
       markSamplingFailed();
       throw new Error(
-        "Sampling not supported by this client - use Claude Desktop for this feature"
+        "Sampling not supported by this client - use Claude Desktop for this feature",
+        { cause: error }
       );
     }
     throw error;
@@ -5219,7 +5190,7 @@ Key Compact syntax (REQUIRED):
 - \`export ledger field: Type;\` - Individual ledger declarations (NOT ledger { } blocks)
 - \`export circuit fn(): []\` - Public functions return empty tuple [] (NOT Void)
 - \`witness fn(): T;\` - Declaration only, no body
-- \`pragma language_version >= 0.16 && <= 0.18;\` - Version pragma
+- \`pragma language_version >= 0.16 && <= 0.21;\` - Version pragma
 - \`import CompactStandardLibrary;\` - Standard imports
 - \`Counter\`, \`Map<K,V>\`, \`Set<T>\` - Built-in collection types  
 - \`Field\`, \`Boolean\`, \`Uint<N>\`, \`Bytes<N>\` - Primitive types
@@ -5880,7 +5851,10 @@ async function checkForUpdates() {
         lastChecked: Date.now()
       };
     }
-  } catch {
+  } catch (error) {
+    logger.debug("Version check failed (non-blocking)", {
+      error: error instanceof Error ? error.message : String(error)
+    });
   }
 }
 function maybeCheckForUpdates() {
@@ -5889,7 +5863,10 @@ function maybeCheckForUpdates() {
     toolCallCount = 0;
     const fiveMinutes = 5 * 60 * 1e3;
     if (Date.now() - versionCheckResult.lastChecked > fiveMinutes) {
-      checkForUpdates().catch(() => {
+      checkForUpdates().catch((error) => {
+        logger.debug("Periodic version check failed", {
+          error: error instanceof Error ? error.message : String(error)
+        });
       });
     }
   }
@@ -5956,7 +5933,10 @@ function sendLogToClient(level, loggerName, data) {
         data
       }
     });
-  } catch {
+  } catch (error) {
+    logger.debug("Failed to send log notification to client", {
+      error: error instanceof Error ? error.message : String(error)
+    });
   }
 }
 function sendProgressNotification(progressToken, progress, total, message) {
@@ -5971,7 +5951,10 @@ function sendProgressNotification(progressToken, progress, total, message) {
         ...message && { message }
       }
     });
-  } catch {
+  } catch (error) {
+    logger.debug("Failed to send progress notification", {
+      error: error instanceof Error ? error.message : String(error)
+    });
   }
 }
 function createServer() {
@@ -6404,7 +6387,10 @@ function setupSampling(server) {
 }
 async function initializeServer() {
   logger.info("Initializing Midnight MCP Server...");
-  checkForUpdates().catch(() => {
+  checkForUpdates().catch((error) => {
+    logger.debug("Startup version check failed (non-blocking)", {
+      error: error instanceof Error ? error.message : String(error)
+    });
   });
   try {
     await vectorStore.initialize();
@@ -6554,9 +6540,9 @@ var COMPACT_VERSION = {
   /** Minimum supported version */
   min: "0.16",
   /** Maximum supported version */
-  max: "0.18",
+  max: "0.21",
   /** When this config was last updated */
-  lastUpdated: "2025-01-26",
+  lastUpdated: "2026-03-24",
   /** Source of truth for syntax patterns */
   referenceSource: "https://github.com/piotr-iohk/template-contract"
 };
@@ -7401,7 +7387,7 @@ async function extractContractStructure(input) {
       type: "invalid_pragma_format",
       line: lineNum,
       message: `Pragma includes patch version which may cause parse errors`,
-      suggestion: `Use bounded range format: 'pragma language_version >= 0.16 && <= 0.18;'`,
+      suggestion: `Use bounded range format: 'pragma language_version >= 0.16 && <= 0.21;'`,
       severity: "error"
     });
   }
@@ -7874,7 +7860,7 @@ async function getFile(input) {
     );
   }
   let content = file.content;
-  let totalLines = content.split("\n").length;
+  const totalLines = content.split("\n").length;
   let lineRange;
   if (input.startLine || input.endLine) {
     const lines = content.split("\n");
@@ -11186,4 +11172,4 @@ export {
   startServer,
   startHttpServer
 };
-//# sourceMappingURL=chunk-TJ7QA5XT.js.map
+//# sourceMappingURL=chunk-TSXIIBEH.js.map

package/dist/{chunk-P3MTQHP6.js → chunk-WVMAQ2LK.js}

@@ -245,13 +245,6 @@ var DEFAULT_REPOSITORIES = [
     patterns: ["**/*.compact", "**/*.ts", "**/*.md"],
     exclude: ["node_modules/**", "dist/**"]
   },
-  {
-    owner: "Imdavyking",
-    repo: "zkbadge",
-    branch: "main",
-    patterns: ["**/*.compact", "**/*.ts", "**/*.md"],
-    exclude: ["node_modules/**", "dist/**"]
-  },
   // Core Partner - PaimaStudios (Gaming Infrastructure)
   {
     owner: "PaimaStudios",
@@ -858,13 +851,15 @@ var GitHubClient = class {
    * This is safe because malicious patterns could only come from internal config.
    */
   filterFilesByPatterns(files, patterns, exclude) {
-    const matchPattern = (file, pattern) => {
+    const compilePattern = (pattern) => {
       const regexPattern = pattern.replace(/\*\*/g, ".*").replace(/\*/g, "[^/]*").replace(/\./g, "\\.");
-      return new RegExp(`^${regexPattern}$`).test(file);
+      return new RegExp(`^${regexPattern}$`);
     };
+    const includeRegexes = patterns.map(compilePattern);
+    const excludeRegexes = exclude.map(compilePattern);
     return files.filter((file) => {
-      const matchesInclude = patterns.some((p) => matchPattern(file, p));
-      const matchesExclude = exclude.some((p) => matchPattern(file, p));
+      const matchesInclude = includeRegexes.some((re) => re.test(file));
+      const matchesExclude = excludeRegexes.some((re) => re.test(file));
       return matchesInclude && !matchesExclude;
     });
   }
@@ -883,11 +878,19 @@ var GitHubClient = class {
     logger.info(
       `Found ${filteredFiles.length} matching files in ${owner}/${repo}`
     );
+    const BATCH_SIZE = 5;
     const files = [];
-    for (const filePath of filteredFiles) {
-      const file = await this.getFileContent(owner, repo, filePath, branch);
-      if (file) {
-        files.push(file);
+    for (let i = 0; i < filteredFiles.length; i += BATCH_SIZE) {
+      const batch = filteredFiles.slice(i, i + BATCH_SIZE);
+      const results = await Promise.all(
+        batch.map(
+          (filePath) => this.getFileContent(owner, repo, filePath, branch)
+        )
+      );
+      for (const file of results) {
+        if (file) {
+          files.push(file);
+        }
       }
     }
     return files;
@@ -1088,6 +1091,25 @@ function parseCompactFile(path, content) {
       });
     }
   }
+  const newLedgerRegex = /(?:(export)\s+)?ledger\s+(\w+)\s*:\s*([^;]+);/gm;
+  let newLedgerMatch;
+  while ((newLedgerMatch = newLedgerRegex.exec(content)) !== null) {
+    hasLedger = true;
+    const isExport = newLedgerMatch[1] === "export";
+    const fieldName = newLedgerMatch[2];
+    const fieldType = newLedgerMatch[3].trim();
+    const startLine = content.substring(0, newLedgerMatch.index).split("\n").length;
+    codeUnits.push({
+      type: "ledger",
+      name: fieldName,
+      code: newLedgerMatch[0].trim(),
+      startLine,
+      endLine: startLine,
+      isPublic: isExport,
+      isPrivate: !isExport,
+      returnType: fieldType
+    });
+  }
   const circuitRegex = /(export\s+)?circuit\s+(\w+)\s*\(([^)]*)\)\s*(?::\s*(\w+))?\s*\{/g;
   let circuitMatch;
   while ((circuitMatch = circuitRegex.exec(content)) !== null) {
@@ -1232,9 +1254,18 @@ var EmbeddingGenerator = class {
         model: this.model,
         input: text
       });
+      const embedding = response.data[0].embedding;
+      const EXPECTED_DIMENSIONS = 1536;
+      if (!embedding || embedding.length !== EXPECTED_DIMENSIONS) {
+        logger.warn("Unexpected embedding dimensions", {
+          expected: EXPECTED_DIMENSIONS,
+          actual: embedding?.length ?? 0,
+          model: this.model
+        });
+      }
       return {
         text,
-        embedding: response.data[0].embedding,
+        embedding,
         model: this.model,
         tokenCount: response.usage?.total_tokens
       };
@@ -1593,7 +1624,7 @@ var releaseTracker = new ReleaseTracker();
 
 // src/utils/health.ts
 var startTime = Date.now();
-var VERSION = "0.2.16";
+var VERSION = "0.2.18";
 async function checkGitHubAPI() {
   const start = Date.now();
   try {
@@ -1621,7 +1652,7 @@ async function checkGitHubAPI() {
 }
 async function checkVectorStore() {
   try {
-    const { vectorStore: vectorStore2 } = await import("./db-72ZOGII3.js");
+    const { vectorStore: vectorStore2 } = await import("./db-B4AOK42O.js");
     if (vectorStore2) {
       return {
         status: "pass",
@@ -1806,6 +1837,9 @@ var Cache = class {
     if (this.cache.size >= this.options.maxSize) {
       this.evictOldest();
     }
+    if (this.cache.size > 0 && this.cache.size % 100 === 0) {
+      this.prune();
+    }
     const now = Date.now();
     this.cache.set(key, {
       value,
@@ -1917,12 +1951,6 @@ var metadataCache = new Cache({
   maxSize: 100,
   name: "metadata"
 });
-function pruneAllCaches() {
-  searchCache.prune();
-  fileCache.prune();
-  metadataCache.prune();
-}
-setInterval(pruneAllCaches, 5 * 60 * 1e3);
 
 // src/utils/hosted-api.ts
 var API_TIMEOUT = 15e3;
@@ -1991,7 +2019,8 @@ async function makeRequest(url, endpoint, options) {
   } catch (error) {
     if (error instanceof Error && error.name === "AbortError") {
       throw new Error(
-        `Request to ${endpoint} timed out after ${API_TIMEOUT / 1e3}s.`
+        `Request to ${endpoint} timed out after ${API_TIMEOUT / 1e3}s.`,
+        { cause: error }
       );
     }
     throw error;
@@ -2065,7 +2094,10 @@ function trackToolCall(tool, success, durationMs, version) {
   apiRequest("/v1/track/tool", {
     method: "POST",
     body: JSON.stringify({ tool, success, durationMs, version })
-  }).catch(() => {
+  }).catch((error) => {
+    logger.debug("Tracking call failed (non-blocking)", {
+      error: String(error)
+    });
   });
 }
 
@@ -2096,7 +2128,7 @@ function serialize(data) {
 }
 
 // src/utils/version.ts
-var CURRENT_VERSION = "0.2.16";
+var CURRENT_VERSION = "0.2.18";
 
 // src/db/vectorStore.ts
 var VectorStore = class {
@@ -2137,9 +2169,23 @@ var VectorStore = class {
       return;
     }
     try {
-      const ids = documents.map((d) => d.id);
-      const embeddings = documents.map((d) => d.embedding);
-      const metadatas = documents.map((d) => ({
+      const validDocuments = documents.filter((d) => {
+        if (!d.embedding || d.embedding.length === 0) {
+          logger.warn("Document missing embedding, skipping", {
+            id: d.id,
+            filePath: d.metadata.filePath
+          });
+          return false;
+        }
+        return true;
+      });
+      if (validDocuments.length === 0) {
+        logger.warn("No documents with valid embeddings to store");
+        return;
+      }
+      const ids = validDocuments.map((d) => d.id);
+      const embeddings = validDocuments.map((d) => d.embedding);
+      const metadatas = validDocuments.map((d) => ({
         repository: d.metadata.repository,
         filePath: d.metadata.filePath,
         language: d.metadata.language,
@@ -2149,14 +2195,14 @@ var VectorStore = class {
         codeName: d.metadata.codeName,
         isPublic: d.metadata.isPublic
       }));
-      const documentContents = documents.map((d) => d.content);
+      const documentContents = validDocuments.map((d) => d.content);
       await this.collection.add({
         ids,
         embeddings,
         metadatas,
         documents: documentContents
       });
-      logger.debug(`Added ${documents.length} documents to vector store`);
+      logger.debug(`Added ${validDocuments.length} documents to vector store`);
     } catch (error) {
       logger.error("Failed to add documents to vector store", {
         error: String(error)
@@ -2305,4 +2351,4 @@ export {
   serialize,
   CURRENT_VERSION
 };
-//# sourceMappingURL=chunk-P3MTQHP6.js.map
+//# sourceMappingURL=chunk-WVMAQ2LK.js.map

package/dist/db-B4AOK42O.js

@@ -0,0 +1,7 @@
+import {
+  vectorStore
+} from "./chunk-WVMAQ2LK.js";
+export {
+  vectorStore
+};
+//# sourceMappingURL=db-B4AOK42O.js.map

package/dist/index.js

@@ -9,10 +9,10 @@ import {
   promptDefinitions,
   startHttpServer,
   startServer
-} from "./chunk-TJ7QA5XT.js";
+} from "./chunk-TSXIIBEH.js";
 import {
   logger
-} from "./chunk-P3MTQHP6.js";
+} from "./chunk-WVMAQ2LK.js";
 export {
   allResources,
   allTools,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "midnight-mcp",
-  "version": "0.2.16",
+  "version": "0.2.18",
   "description": "Model Context Protocol Server for Midnight Blockchain Development",
   "type": "module",
   "main": "dist/index.js",
@@ -15,9 +15,11 @@
     "dev": "NODE_ENV=development tsup --watch",
     "test": "vitest",
     "test:coverage": "vitest --coverage",
+    "lint": "eslint src/",
+    "lint:fix": "eslint src/ --fix",
     "format": "prettier --write src/**/*.ts",
     "prepublishOnly": "npm run typecheck && npm run build",
-    "ci": "npm run typecheck && npm run build && npm test"
+    "ci": "npm run typecheck && npm run lint && npm run build && npm test"
   },
   "keywords": [
     "midnight",
@@ -43,16 +45,19 @@
     "zod": "^3.22.4"
   },
   "devDependencies": {
+    "@eslint/js": "^10.0.1",
     "@types/express": "^5.0.6",
     "@types/js-yaml": "^4.0.9",
     "@types/node": "^20.10.0",
     "@types/tar": "^6.1.13",
     "@types/yargs": "^17.0.35",
+    "eslint": "^10.0.2",
     "prettier": "^3.1.0",
     "tar": "^7.5.2",
     "tsup": "^8.5.1",
     "tsx": "^4.6.2",
     "typescript": "^5.3.2",
+    "typescript-eslint": "^8.56.1",
     "vitest": "^1.0.0"
   },
   "engines": {

package/dist/db-72ZOGII3.js

@@ -1,7 +0,0 @@
-import {
-  vectorStore
-} from "./chunk-P3MTQHP6.js";
-export {
-  vectorStore
-};
-//# sourceMappingURL=db-72ZOGII3.js.map