midnight-mcp 0.1.35 → 0.1.37

package/dist/config/compact-version.js

@@ -351,5 +351,27 @@ witness lookup_value(key: Bytes<32>): Field;`,
 2. Range check fails (use bounded Uint)
 3. Logic error in circuit`,
     },
+    {
+        error: 'parse error: found ":" looking for ")"',
+        cause: "Using Rust-style :: for enum variant access",
+        fix: `Use dot notation for enum variants:
+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

@@ -133,6 +133,16 @@ export enum GameState { waiting, playing, finished }
 export enum Choice { rock, paper, scissors }
 \`\`\`
 
+**Enum Access Syntax** - use DOT notation (not Rust-style ::):
+\`\`\`compact
+// CORRECT - dot notation
+if (choice == Choice.rock) { ... }
+game_state = GameState.waiting;
+
+// WRONG - Rust-style double colon
+if (choice == Choice::rock) { ... }  // ❌ Parse error: found ":" looking for ")"
+\`\`\`
+
 **Structs**:
 \`\`\`compact
 export struct PlayerConfig {
@@ -187,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!
+}
 \`\`\`
 
 ---
@@ -219,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/tools/repository/handlers.js

@@ -411,6 +411,21 @@ export circuit increment(): [] {
                         correct: "// Use witness: witness get_value(key): Type;",
                         error: "member access requires struct type",
                     },
+                    {
+                        wrong: "Choice::rock (Rust-style)",
+                        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.35",
+  "version": "0.1.37",
   "description": "Model Context Protocol Server for Midnight Blockchain Development",
   "type": "module",
   "main": "dist/index.js",