midnight-mcp 0.1.13 → 0.1.15

package/README.md

@@ -126,15 +126,17 @@ Add `"GITHUB_TOKEN": "ghp_..."` for higher GitHub API rate limits (60 → 5000 r
 
 ## Indexed Repositories
 
-The API indexes **22+ Midnight repositories**:
-
-| Category          | Repositories                                                                                                                                       |
-| ----------------- | -------------------------------------------------------------------------------------------------------------------------------------------------- |
-| Core              | `compact`, `midnight-js`, `midnight-wallet`, `midnight-docs`                                                                                       |
-| Examples          | `example-counter`, `example-bboard`, `example-dex`, `create-mn-app`                                                                                |
-| Infrastructure    | `midnight-indexer`, `midnight-node-docker`, `midnight-dapp-connector-api`                                                                          |
-| Partner Libraries | `OpenZeppelin/compact-contracts`, `OpenZeppelin/midnight-apps`                                                                                     |
-| Official Partners | `bricktowers/midnight-seabattle`, `bricktowers/midnight-identity`, `bricktowers/midnight-rwa`, `MeshJS/midnight-starter-template`, `midnames/core` |
+The API indexes **39 Midnight repositories**:
+
+| Category          | Repositories                                                                                                                                                           |
+| ----------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| Core              | `compact`, `midnight-js`, `midnight-wallet`, `midnight-docs`, `midnight-node`, `midnight-indexer`, `midnight-ledger`, `midnight-zk`                                    |
+| Examples          | `example-counter`, `example-bboard`, `example-dex`, `create-mn-app`                                                                                                    |
+| Infrastructure    | `midnight-node-docker`, `midnight-dapp-connector-api`, `compact-tree-sitter`, `setup-compact-action`                                                                   |
+| Partner Libraries | `OpenZeppelin/compact-contracts`, `OpenZeppelin/midnight-apps` (LunarSwap)                                                                                             |
+| Official Partners | `bricktowers/midnight-seabattle`, `bricktowers/midnight-identity`, `bricktowers/midnight-rwa`, `MeshJS/midnight-starter-template`, `midnames/core`                     |
+| Core Partner      | `PaimaStudios/midnight-game-2`, `PaimaStudios/midnight-wasm-prover`, `PaimaStudios/midnight-batcher`, `PaimaStudios/midnight-impact-rps-example`                       |
+| Hackathon Winners | Sea Battle: `ErickRomeroDev/naval-battle-game_v2`, `eddex/midnight-sea-battle-hackathon` • Mini DApp: `statera-protocol`, `nel349/midnight-bank`, `Imdavyking/zkbadge` |
 
 ---
 

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

@@ -15,9 +15,13 @@ export const EMBEDDED_DOCS = {
 
 A curated syntax reference for Compact - Midnight's smart contract language.
 
+> **Version Note**: This reference is for Compact 0.16+ (current). Some older examples may use deprecated syntax like \`Cell<T>\` wrappers - see "Common Pitfalls" section below.
+
 ## Basic Structure
 
 \`\`\`compact
+pragma language_version >= 0.14.0;
+
 include "std";
 
 ledger {
@@ -145,11 +149,124 @@ export circuit revealSecret(): Field {
 }
 \`\`\`
 
+### Disclosure in Conditionals (IMPORTANT)
+When using witness values in if/else conditions, you MUST explicitly disclose the comparison result:
+
+\`\`\`compact
+// ❌ WRONG - compiler error: "potential witness-value disclosure must be declared"
+witness getSecret(): Field { return 42; }
+export circuit checkValue(guess: Field): Boolean {
+  const secret = getSecret();
+  if (guess == secret) {  // ERROR: implicit disclosure
+    return true;
+  }
+  return false;
+}
+
+// ✅ CORRECT - wrap comparison in disclose()
+export circuit checkValue(guess: Field): Boolean {
+  const secret = getSecret();
+  if (disclose(guess == secret)) {  // Explicitly acknowledge disclosure
+    return true;
+  }
+  return false;
+}
+
+// ✅ Multiple comparisons
+export circuit giveHint(guess: Field): Hint {
+  const secret = getSecret();
+  if (disclose(guess == secret)) {
+    return Hint.correct;
+  } else if (disclose(guess > secret)) {
+    return Hint.too_high;
+  } else {
+    return Hint.too_low;
+  }
+}
+\`\`\`
+
+**Why?** When you branch on a comparison involving private (witness) values, the boolean result becomes observable on-chain. Compact requires explicit acknowledgment via \`disclose()\` to prevent accidental privacy leaks.
+
 ### Assertions
 \`\`\`compact
 assert(condition);                    // Basic assertion
 assert(condition, "Error message");   // With message
 \`\`\`
+
+## Common Pitfalls & Solutions
+
+### 1. Cell<T> Wrapper (Deprecated)
+\`\`\`compact
+// ❌ OLD SYNTAX (pre-0.15) - causes "unbound identifier Cell"
+export ledger myValue: Cell<Field>;
+myValue.write(42);
+const x = myValue.read();
+
+// ✅ CURRENT SYNTAX (0.16+) - direct declaration
+export ledger myValue: Field;
+myValue = 42;
+const x = myValue;
+\`\`\`
+
+### 2. Opaque String Assignment
+\`\`\`compact
+// ❌ WRONG - cannot assign string literals to Opaque
+export ledger message: Opaque<"string">;
+export circuit setMessage(): Void {
+  message = "hello";  // ERROR!
+}
+
+// ✅ CORRECT - use enum for fixed values
+export enum Status { pending, approved, rejected }
+export ledger status: Status;
+export circuit setStatus(): Void {
+  status = Status.approved;  // Works!
+}
+
+// ✅ Or receive Opaque from parameter/witness
+export circuit setMessage(msg: Opaque<"string">): Void {
+  message = msg;  // msg comes from TypeScript
+}
+\`\`\`
+
+### 3. Counter vs Field
+\`\`\`compact
+// Counter has special methods
+export ledger count: Counter;
+count.increment(1);
+count.decrement(1);
+const val = count.value();
+
+// Field uses direct assignment
+export ledger amount: Field;
+amount = amount + 1;
+const val = amount;
+\`\`\`
+
+### 4. Map Initialization
+\`\`\`compact
+// Maps don't need initialization
+export ledger balances: Map<Bytes<32>, Field>;
+
+// Access with .member()
+const balance = balances.member(address);
+balances.insert(address, 100);
+\`\`\`
+
+### 5. Boolean Returns with Witnesses
+\`\`\`compact
+// ❌ WRONG - returns private boolean without disclosure
+export circuit isOwner(): Boolean {
+  const caller = getCaller();  // witness
+  return caller == owner;      // ERROR: undisclosed
+}
+
+// ✅ CORRECT - disclose the result
+export circuit isOwner(): Boolean {
+  const caller = getCaller();
+  return disclose(caller == owner);
+}
+\`\`\`
 `,
     "midnight://docs/sdk-api": `# Midnight TypeScript SDK Quick Reference
 

package/package.json

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