midnight-mcp 0.2.17 → 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-GDUMSS3E.js";
+} from "./chunk-TSXIIBEH.js";
 import {
   setOutputFormat
-} from "./chunk-S33OTE35.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.17";
+var CURRENT_VERSION = "0.2.18";
 process.on("uncaughtException", (error) => {
   console.error("Uncaught exception:", error);
   process.exit(1);

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

@@ -25,7 +25,7 @@ import {
   validateNumber,
   validateQuery,
   vectorStore
-} from "./chunk-S33OTE35.js";
+} from "./chunk-WVMAQ2LK.js";
 
 // src/tools/search/schemas.ts
 import { z } from "zod";
@@ -1914,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.
@@ -1924,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;
 
@@ -1947,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
 \`\`\`
 
 ---
@@ -2201,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;
 
@@ -2441,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) |
@@ -2774,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"
@@ -2815,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"
@@ -3406,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;
 
@@ -3455,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;
 
@@ -3504,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;
 
@@ -3555,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;
 
@@ -3610,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;
 
@@ -3715,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;
 
@@ -3774,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;
 
@@ -3854,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;
 
@@ -3921,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;
 
@@ -3968,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;
 
@@ -4006,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;
 
@@ -4796,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:
@@ -4897,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
 
@@ -5066,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
@@ -5190,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
@@ -6540,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"
 };
@@ -7387,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"
     });
   }
@@ -11172,4 +11172,4 @@ export {
   startServer,
   startHttpServer
 };
-//# sourceMappingURL=chunk-GDUMSS3E.js.map
+//# sourceMappingURL=chunk-TSXIIBEH.js.map

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

@@ -1091,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) {
@@ -1605,7 +1624,7 @@ var releaseTracker = new ReleaseTracker();
 
 // src/utils/health.ts
 var startTime = Date.now();
-var VERSION = "0.2.17";
+var VERSION = "0.2.18";
 async function checkGitHubAPI() {
   const start = Date.now();
   try {
@@ -1633,7 +1652,7 @@ async function checkGitHubAPI() {
 }
 async function checkVectorStore() {
   try {
-    const { vectorStore: vectorStore2 } = await import("./db-SWEQRS2S.js");
+    const { vectorStore: vectorStore2 } = await import("./db-B4AOK42O.js");
     if (vectorStore2) {
       return {
         status: "pass",
@@ -2109,7 +2128,7 @@ function serialize(data) {
 }
 
 // src/utils/version.ts
-var CURRENT_VERSION = "0.2.17";
+var CURRENT_VERSION = "0.2.18";
 
 // src/db/vectorStore.ts
 var VectorStore = class {
@@ -2332,4 +2351,4 @@ export {
   serialize,
   CURRENT_VERSION
 };
-//# sourceMappingURL=chunk-S33OTE35.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-GDUMSS3E.js";
+} from "./chunk-TSXIIBEH.js";
 import {
   logger
-} from "./chunk-S33OTE35.js";
+} from "./chunk-WVMAQ2LK.js";
 export {
   allResources,
   allTools,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "midnight-mcp",
-  "version": "0.2.17",
+  "version": "0.2.18",
   "description": "Model Context Protocol Server for Midnight Blockchain Development",
   "type": "module",
   "main": "dist/index.js",

package/dist/db-SWEQRS2S.js

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