midnight-mcp 0.1.36 → 0.1.38

package/README.md

@@ -71,19 +71,28 @@ Add to `~/.codeium/windsurf/mcp_config.json`:
 
 **No API keys required.** Restart your editor after adding the config.
 
-### Automatic Updates
+### Updating to Latest Version
 
-Using `midnight-mcp@latest` ensures you always get the newest version.
+Using `midnight-mcp@latest` in your config ensures you get updates automatically on restart.
 
-**If you have an older version:** The AI agent will detect it and offer to update your config automatically—no manual steps required! Just approve the config edit and restart your editor.
-
-Or manually update your config:
+**Already using an older version without `@latest`?** Update your config manually:
 
 ```diff
 - "args": ["-y", "midnight-mcp"]
 + "args": ["-y", "midnight-mcp@latest"]
 ```
 
+**Then clear npm cache and restart:**
+
+```bash
+# Clear npx cache (required to fetch new version)
+rm -rf ~/.npm/_npx
+
+# Restart your editor (Cmd+Q on Mac, then reopen)
+```
+
+> **Note:** AI agents cannot auto-update your config because they run in a sandboxed environment without access to your local filesystem.
+
 ---
 
 ## What's Included
@@ -98,7 +107,7 @@ Or manually update your config:
 | **Versioning**    | `get-version-info`, `check-breaking-changes`, `get-migration-guide`, `get-file-at-version`, `compare-syntax`, `get-latest-syntax` | Version tracking and migration                   |
 | **AI Generation** | `generate-contract`, `review-contract`, `document-contract`                                                                       | AI-powered code generation _(requires sampling)_ |
 | **Compound**      | `upgrade-check`, `get-repo-context`                                                                                               | Multi-step operations _(saves 50-70% tokens)_    |
-| **Health**        | `health-check`, `get-status`, `check-version`, `auto-update-config`                                                               | Server status, version checking, auto-update     |
+| **Health**        | `health-check`, `get-status`, `check-version`                                                                                     | Server status and version checking               |
 | **Discovery**     | `list-tool-categories`, `list-category-tools`                                                                                     | Explore available tools                          |
 
 All tools are prefixed with `midnight-` (e.g., `midnight-search-compact`).

package/dist/config/compact-version.js

@@ -358,5 +358,20 @@ witness lookup_value(key: Bytes<32>): Field;`,
 WRONG:  Choice::rock, GameState::waiting
 CORRECT: Choice.rock, GameState.waiting`,
     },
+    {
+        error: 'parse error: found "{" after witness declaration',
+        cause: "Trying to add implementation body to witness",
+        fix: `Witnesses are declarations only - no body allowed:
+WRONG:  witness get_caller(): Bytes<32> { return ...; }
+CORRECT: witness get_caller(): Bytes<32>;
+Implementation goes in TypeScript prover, not Compact.`,
+    },
+    {
+        error: 'unbound identifier "function"',
+        cause: 'Using "pure function" instead of "pure circuit"',
+        fix: `Use "pure circuit" for helper functions:
+WRONG:  pure function helper(...): Type { }
+CORRECT: pure circuit helper(...): Type { }`,
+    },
 ];
 //# sourceMappingURL=compact-version.js.map

package/dist/resources/content/docs-content.js

@@ -197,18 +197,20 @@ export pure circuit hash(x: Field): Bytes<32>  // No state access
 
 Witnesses provide off-chain/private data to circuits. They run locally, not on-chain.
 
+**CRITICAL**: Witnesses are declarations only - NO implementation body in Compact!
+The implementation goes in your TypeScript prover.
+
 \`\`\`compact
-// Basic witness - returns private data
+// ✅ CORRECT - declaration only, semicolon at end
 witness local_secret_key(): Bytes<32>;
-
-// Witness with parameters
 witness get_merkle_path(leaf: Bytes<32>): MerkleTreePath<10, Bytes<32>>;
-
-// Witness that returns nothing (side effect only)
 witness store_locally(data: Field): [];
-
-// Witness returning optional
 witness find_user(id: Bytes<32>): Maybe<UserData>;
+
+// ❌ WRONG - witnesses cannot have bodies
+witness get_caller(): Bytes<32> {
+  return public_key(local_secret_key());  // ERROR!
+}
 \`\`\`
 
 ---
@@ -229,6 +231,27 @@ constructor(initNonce: Bytes<32>) {
 
 ---
 
+## 7.5 Pure Circuits (Helper Functions)
+
+Use \`pure circuit\` for helper functions that don't modify ledger state:
+
+\`\`\`compact
+// ✅ CORRECT - use "pure circuit"
+pure circuit determine_winner(p1: Choice, p2: Choice): Result {
+  if (p1 == p2) {
+    return Result.draw;
+  }
+  // ... logic
+}
+
+// ❌ WRONG - "function" keyword doesn't exist
+pure function determine_winner(p1: Choice, p2: Choice): Result {
+  // ERROR: unbound identifier "function"
+}
+\`\`\`
+
+---
+
 ## 8. Common Patterns
 
 ### Authentication Pattern

package/dist/server.js

@@ -354,24 +354,25 @@ function registerToolHandlers(server) {
             // Include prominent update prompt in ALL responses when outdated
             const updateWarning = getUpdateWarning();
             if (updateWarning && versionCheckResult.isOutdated) {
-                // Prepend urgent update notice with AUTO-UPDATE instructions
+                // Prepend update notice with MANUAL instructions (auto-update not possible in sandbox)
                 const updatePrompt = {
-                    "🚨 AUTO-UPDATE AVAILABLE": {
-                        message: `You are using an OUTDATED version of midnight-mcp (v${CURRENT_VERSION}). Latest is v${versionCheckResult.latestVersion}.`,
-                        agentAction: {
-                            instruction: "YOU CAN AUTO-UPDATE FOR THE USER. Call the midnight-auto-update-config tool, then use your file editing capabilities to update their config automatically.",
-                            tool: "midnight-auto-update-config",
+                    "🚨 UPDATE AVAILABLE": {
+                        message: `You are using v${CURRENT_VERSION} but v${versionCheckResult.latestVersion} is available.`,
+                        userAction: {
+                            instruction: "Tell the user to update manually. Auto-update is NOT possible because you run in a sandboxed environment without access to local files.",
                             steps: [
-                                "1. Call midnight-auto-update-config to get config file paths",
-                                "2. Read the user's config file (Claude Desktop, Cursor, VS Code, or Windsurf)",
-                                "3. Replace 'midnight-mcp' with 'midnight-mcp@latest' in the args array",
-                                "4. Save the file",
-                                "5. Tell user: 'I've updated your config! Please restart your editor to use the latest version.'",
+                                "1. Edit config file to use 'midnight-mcp@latest' instead of 'midnight-mcp'",
+                                "2. Run: rm -rf ~/.npm/_npx (to clear npm cache)",
+                                "3. Restart the editor completely (Cmd+Q on Mac, then reopen)",
                             ],
+                            configLocations: {
+                                claudeDesktop: "~/Library/Application Support/Claude/claude_desktop_config.json",
+                                cursor: ".cursor/mcp.json",
+                                vscode: ".vscode/mcp.json",
+                                windsurf: "~/.codeium/windsurf/mcp_config.json",
+                            },
                         },
-                        fallbackInstructions: {
-                            ifAutoUpdateFails: "Ask user to manually update config to use midnight-mcp@latest",
-                        },
+                        note: "If user already has @latest in config, they just need to clear cache (rm -rf ~/.npm/_npx) and restart.",
                     },
                     result,
                 };

package/dist/tools/health.js

@@ -332,9 +332,9 @@ export const healthTools = [
     },
     {
         name: "midnight-auto-update-config",
-        description: "🔧 AUTO-UPDATE: Get config file paths so YOU (the AI agent) can automatically update the user's MCP config to use @latest. " +
-            "This tool returns the exact file paths and search/replace instructions. " +
-            "After calling this, use your file editing capabilities to update the config file automatically - NO USER ACTION REQUIRED except restart.",
+        description: "⚠️ DEPRECATED: Auto-update is NOT possible because AI agents run in sandboxed environments without access to local filesystems. " +
+            "Instead, tell users to manually update their config to use midnight-mcp@latest, then run: rm -rf ~/.npm/_npx && restart their editor. " +
+            "This tool only returns config file paths for reference.",
         inputSchema: {
             type: "object",
             properties: {},

package/dist/tools/repository/handlers.js

@@ -416,6 +416,16 @@ export circuit increment(): [] {
                         correct: "Choice.rock (dot notation)",
                         error: 'parse error: found ":" looking for ")"',
                     },
+                    {
+                        wrong: "witness fn(): T { ... }",
+                        correct: "witness fn(): T;  // declaration only, no body",
+                        error: "parse error after witness declaration",
+                    },
+                    {
+                        wrong: "pure function helper(): T",
+                        correct: "pure circuit helper(): T",
+                        error: 'unbound identifier "function"',
+                    },
                 ],
                 syntaxReference: compactReference,
                 sections: [

package/package.json

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