midnight-mcp 0.2.12 → 0.2.14

package/README.md

@@ -104,12 +104,12 @@ Add to `~/.codeium/windsurf/mcp_config.json`:
 
 ## What's Included
 
-### 28 Tools
+### 29 Tools
 
 | Category          | Tools                                                                                                                             | Description                                      |
 | ----------------- | --------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------ |
 | **Search**        | `search-compact`, `search-typescript`, `search-docs`, `fetch-docs`                                                                | Semantic search + live docs fetching             |
-| **Analysis**      | `analyze-contract`, `explain-circuit`, `extract-contract-structure`                                                               | Static analysis with 15+ checks (P0-P2 severity) |
+| **Analysis**      | `analyze-contract`, `explain-circuit`, `extract-contract-structure`, `compile-contract`                                           | Static analysis + real compilation               |
 | **Repository**    | `get-file`, `list-examples`, `get-latest-updates`                                                                                 | Access files and examples                        |
 | **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)_ |
@@ -119,6 +119,20 @@ Add to `~/.codeium/windsurf/mcp_config.json`:
 
 All tools are prefixed with `midnight-` (e.g., `midnight-search-compact`).
 
+### Real Contract Compilation
+
+The `midnight-compile-contract` tool validates Compact code using a hosted compiler service:
+
+```
+✅ Compilation successful (Compiler v0.18.0) in 2841ms
+```
+
+- **Fast mode** (`skipZk=true`): Syntax validation in ~1-2 seconds
+- **Full mode** (`fullCompile=true`): Complete ZK circuit generation in ~10-30 seconds
+- **Automatic fallback**: Falls back to static analysis if the compiler service is unavailable
+
+This catches semantic errors that static analysis misses (sealed fields, disclose rules, type mismatches).
+
 ### MCP Capabilities
 
 | Capability      | Feature                                         |

package/dist/bin.js

@@ -2,10 +2,10 @@
 import {
   startHttpServer,
   startServer
-} from "./chunk-YT6DWZUA.js";
+} from "./chunk-V7KK64OX.js";
 import {
   setOutputFormat
-} from "./chunk-B6UJ7ZQY.js";
+} from "./chunk-WYQRVPIQ.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.12";
+var CURRENT_VERSION = "0.2.14";
 process.on("uncaughtException", (error) => {
   console.error("Uncaught exception:", error);
   process.exit(1);