midnight-mcp 0.1.27 → 0.1.29

package/README.md

@@ -10,99 +10,141 @@ MCP server that gives AI assistants access to Midnight blockchain—search contr
 
 ## Quick Start
 
-**Claude Desktop** — Add to `claude_desktop_config.json`:
+### Claude Desktop
+
+Add to your `claude_desktop_config.json`:
 
 ```json
 {
   "mcpServers": {
-    "midnight": { "command": "npx", "args": ["-y", "midnight-mcp@latest"] }
+    "midnight": {
+      "command": "npx",
+      "args": ["-y", "midnight-mcp@latest"]
+    }
   }
 }
 ```
 
-> **💡 Tip:** Using `@latest` ensures you always get the newest version with all features. If tools seem missing, run `rm -rf ~/.npm/_npx` and restart Claude Desktop.
->
-> **🔄 Auto-Update Detection:** The server automatically checks for updates and prompts the AI to help you update if you're running an older version.
+**Config file locations:**
+
+- macOS: `~/Library/Application Support/Claude/claude_desktop_config.json`
+- Windows: `%APPDATA%\Claude\claude_desktop_config.json`
+- Linux: `~/.config/Claude/claude_desktop_config.json`
 
-**Cursor** — One-click install:
+### Cursor
 
-[![Install MCP Server](https://cursor.com/deeplink/mcp-install-dark.svg)](https://cursor.com/en-US/install-mcp?name=midnight&config=eyJjb21tYW5kIjoibnB4IC15IG1pZG5pZ2h0LW1jcCJ9)
+One-click install:
 
-<details>
-<summary><strong>Other Editors (Windsurf, VS Code Copilot, Manual Setup)</strong></summary>
+[![Install MCP Server](https://cursor.com/deeplink/mcp-install-dark.svg)](https://cursor.com/en-US/install-mcp?name=midnight&config=eyJjb21tYW5kIjoibnB4IC15IG1pZG5pZ2h0LW1jcEBsYXRlc3QifQ==)
 
-**Windsurf** — Add to `~/.codeium/windsurf/mcp_config.json`:
+Or manually add to `.cursor/mcp.json`:
 
 ```json
 {
   "mcpServers": {
-    "midnight": { "command": "npx", "args": ["-y", "midnight-mcp@latest"] }
+    "midnight": {
+      "command": "npx",
+      "args": ["-y", "midnight-mcp@latest"]
+    }
   }
 }
 ```
 
-**VS Code Copilot** — Add to `.vscode/mcp.json` or use Command Palette: `MCP: Add Server` → "command (stdio)" → `npx -y midnight-mcp@latest`
+### VS Code Copilot
 
-```json
-{
-  "mcpServers": {
-    "midnight": { "command": "npx", "args": ["-y", "midnight-mcp@latest"] }
-  }
-}
-```
+Add to `.vscode/mcp.json` or use Command Palette: `MCP: Add Server` → "command (stdio)" → `npx -y midnight-mcp@latest`
+
+### Windsurf
 
-**Cursor Manual** — Settings → MCP → Add Server, or add to `.cursor/mcp.json`:
+Add to `~/.codeium/windsurf/mcp_config.json`:
 
 ```json
 {
   "mcpServers": {
-    "midnight": { "command": "npx", "args": ["-y", "midnight-mcp@latest"] }
+    "midnight": {
+      "command": "npx",
+      "args": ["-y", "midnight-mcp@latest"]
+    }
   }
 }
 ```
 
-**Config file locations (Claude Desktop):**
+**No API keys required.** Restart your editor after adding the config.
 
-- macOS: `~/Library/Application Support/Claude/claude_desktop_config.json`
-- Windows: `%APPDATA%\Claude\claude_desktop_config.json`
-- Linux: `~/.config/Claude/claude_desktop_config.json`
+### Automatic Updates
 
-</details>
+Using `midnight-mcp@latest` ensures you always get the newest version. If you have an older config without `@latest`, update it:
 
-Restart your editor after adding the config. **No API keys required.**
+```diff
+- "args": ["-y", "midnight-mcp"]
++ "args": ["-y", "midnight-mcp@latest"]
+```
 
-> **Quality Metrics**: To ensure the MCP stays accurate as Midnight's codebase evolves rapidly, we collect anonymous usage metrics (query counts, relevance scores) to monitor search quality. No query content or personal data is stored. This helps us identify when re-indexing is needed and improve results over time.
+Or clear the npx cache to force an update:
+
+```bash
+npx clear-npx-cache
+```
 
 ---
 
-## Features
+## What's Included
 
-**26 Tools** — Search, analyze, validate, version tracking, AI generation, compound operations
+### 25 Tools
 
-| Category       | Tools                                                                                                                                                                                   |
-| -------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| Search         | `midnight-search-compact`, `midnight-search-typescript`, `midnight-search-docs`                                                                                                         |
-| Analysis       | `midnight-analyze-contract`, `midnight-explain-circuit`                                                                                                                                 |
-| **Validation** | `midnight-validate-contract` ⭐, `midnight-extract-contract-structure`                                                                                                                  |
-| Repository     | `midnight-get-file`, `midnight-list-examples`, `midnight-get-latest-updates`                                                                                                            |
-| Versioning     | `midnight-get-version-info`, `midnight-check-breaking-changes`, `midnight-get-migration-guide`, `midnight-get-file-at-version`, `midnight-compare-syntax`, `midnight-get-latest-syntax` |
-| AI Generation  | `midnight-generate-contract`, `midnight-review-contract`, `midnight-document-contract` _(requires sampling)_                                                                            |
-| Compound       | `midnight-upgrade-check`, `midnight-get-repo-context` _(saves 50-70% tokens)_                                                                                                           |
-| Health         | `midnight-health-check`, `midnight-get-status`, `midnight-check-version` 🔄                                                                                                             |
-| Discovery      | `midnight-list-tool-categories`, `midnight-list-category-tools`                                                                                                                         |
+| Category          | Tools                                                                                                                             | Description                                      |
+| ----------------- | --------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------ |
+| **Search**        | `search-compact`, `search-typescript`, `search-docs`                                                                              | Semantic search across Midnight codebase         |
+| **Analysis**      | `analyze-contract`, `explain-circuit`, `extract-contract-structure`                                                               | Static analysis and pattern detection            |
+| **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)_ |
+| **Compound**      | `upgrade-check`, `get-repo-context`                                                                                               | Multi-step operations _(saves 50-70% tokens)_    |
+| **Health**        | `health-check`, `get-status`, `check-version`                                                                                     | Server status and version checking               |
+| **Discovery**     | `list-tool-categories`, `list-category-tools`                                                                                     | Explore available tools                          |
 
-> **⭐ Key Tool:** `midnight-validate-contract` compiles code using the **real Compact compiler** - essential for verifying contracts actually work before deployment.
->
-> **🔄 New:** `midnight-check-version` tells you if you're running the latest version with update instructions.
+All tools are prefixed with `midnight-` (e.g., `midnight-search-compact`).
 
-**9 Embedded Resources** — Quick references available offline: Compact syntax, SDK API, OpenZeppelin contracts, tokenomics, wallet integration, common errors
+### 9 Embedded Resources
 
-**5 Prompts** — `create-contract`, `review-contract`, `explain-concept`, `compare-approaches`, `debug-contract`
+Quick references available offline:
 
-<details>
-<summary><strong>Advanced Configuration</strong></summary>
+- Compact syntax guide
+- SDK API reference
+- OpenZeppelin contracts
+- Tokenomics overview
+- Wallet integration
+- Common errors & solutions
 
-### Local Mode (Optional)
+### 5 Prompts
+
+- `create-contract` — Generate new contracts
+- `review-contract` — Security and code review
+- `explain-concept` — Learn Midnight concepts
+- `compare-approaches` — Compare implementation patterns
+- `debug-contract` — Troubleshoot issues
+
+---
+
+## Indexed Repositories
+
+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` |
+
+---
+
+## Advanced Configuration
+
+### Local Mode
 
 Run everything locally for privacy or offline use:
 
@@ -124,28 +166,10 @@ Run everything locally for privacy or offline use:
 
 Requires ChromaDB (`docker run -d -p 8000:8000 chromadb/chroma`) and OpenAI API key.
 
-### GitHub Token (Optional)
+### GitHub Token
 
 Add `"GITHUB_TOKEN": "ghp_..."` for higher GitHub API rate limits (60 → 5000 requests/hour).
 
-</details>
-
----
-
-## Indexed Repositories
-
-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` |
-
 ---
 
 ## Developer Setup
@@ -155,26 +179,15 @@ git clone https://github.com/Olanetsoft/midnight-mcp.git && cd midnight-mcp
 npm install && npm run build && npm test
 ```
 
-<details>
-<summary><strong>API Backend & Local Development</strong></summary>
-
-The hosted API runs on Cloudflare Workers + Vectorize. See [api/README.md](./api/README.md).
+The hosted API runs on Cloudflare Workers + Vectorize. See [api/README.md](./api/README.md) for backend details.
 
-**Testing with Local API:**
-
-```bash
-# Terminal 1: Start local API
-cd api && npm install && npm run dev
-
-# Terminal 2: Run MCP with local API
-MIDNIGHT_API_URL=http://localhost:8787 npm start
-```
-
-</details>
+---
 
 ## Links
 
-- [Midnight Docs](https://docs.midnight.network) • [MCP Spec](https://modelcontextprotocol.io) • [Midnight GitHub](https://github.com/midnightntwrk)
+- [Midnight Docs](https://docs.midnight.network)
+- [MCP Spec](https://modelcontextprotocol.io)
+- [Midnight GitHub](https://github.com/midnightntwrk)
 
 ## License
 

package/dist/server.js

@@ -8,7 +8,7 @@ import { allResources, getDocumentation, getCode, getSchema, } from "./resources
 import { promptDefinitions, generatePrompt } from "./prompts/index.js";
 import { registerSamplingCallback } from "./services/index.js";
 // Server information - version should match package.json
-const CURRENT_VERSION = "0.1.27";
+const CURRENT_VERSION = "0.1.29";
 const SERVER_INFO = {
     name: "midnight-mcp",
     version: CURRENT_VERSION,
@@ -177,9 +177,9 @@ function registerToolHandlers(server) {
                     "🚨 ACTION REQUIRED": {
                         message: `You are using an OUTDATED version of midnight-mcp (v${CURRENT_VERSION}). Latest is v${versionCheckResult.latestVersion}.`,
                         missingFeatures: [
-                            "midnight-validate-contract - Compile with REAL Compact compiler",
-                            "midnight-extract-contract-structure - 10 pre-compilation checks",
-                            "Pre-compilation error detection (disclose, sealed fields, etc.)",
+                            "Latest tool improvements and bug fixes",
+                            "midnight-extract-contract-structure - Static pattern analysis",
+                            "Improved error detection and contract analysis",
                         ],
                         userInstructions: {
                             step1: "Tell the user: 'Your Midnight MCP is outdated. Let me help you update it.'",
@@ -187,7 +187,7 @@ function registerToolHandlers(server) {
                             step3: "Ask them to restart Claude Desktop completely (Cmd+Q / Alt+F4)",
                             step4: "Or suggest updating config to use: midnight-mcp@latest",
                         },
-                        importance: "WITHOUT updating, contract validation will NOT work correctly. You cannot verify if contracts compile.",
+                        importance: "Update to get the latest features and improvements. Older versions may have bugs or missing functionality.",
                     },
                     result,
                 };

package/dist/tools/meta.js

@@ -61,14 +61,6 @@ const CATEGORY_INFO = {
             "One-shot operations",
         ],
     },
-    validation: {
-        description: "Pre-compilation contract validation using the Compact compiler",
-        useCases: [
-            "Validate contract syntax",
-            "Catch errors before deployment",
-            "Get detailed error diagnostics",
-        ],
-    },
 };
 const listCategoriesOutputSchema = {
     type: "object",
@@ -142,6 +134,7 @@ function getToolsByCategory() {
         ...repositoryTools,
         ...healthTools,
         ...generationTools,
+        ...metaTools,
     ];
     const byCategory = new Map();
     for (const tool of allTools) {
@@ -230,7 +223,7 @@ function generateCategorySuggestion(category) {
 export const metaTools = [
     {
         name: "midnight-list-tool-categories",
-        description: "📋 DISCOVERY TOOL: List available tool categories for progressive exploration. Use this FIRST to understand what capabilities are available, then drill into specific categories with midnight-list-category-tools. Reduces cognitive load by organizing 21 tools into 7 logical groups.",
+        description: "📋 DISCOVERY TOOL: List available tool categories for progressive exploration. Use this FIRST to understand what capabilities are available, then drill into specific categories with midnight-list-category-tools. Reduces cognitive load by organizing 25 tools into 7 logical groups.",
         inputSchema: {
             type: "object",
             properties: {
@@ -266,7 +259,6 @@ export const metaTools = [
                         "generation",
                         "health",
                         "compound",
-                        "validation",
                     ],
                     description: "Category to list tools for",
                 },

package/dist/tools/repository/handlers.d.ts

@@ -3,7 +3,7 @@
  * Business logic for repository-related MCP tools
  */
 import type { GetFileInput, ListExamplesInput, GetLatestUpdatesInput, GetVersionInfoInput, CheckBreakingChangesInput, GetMigrationGuideInput, GetFileAtVersionInput, CompareSyntaxInput, GetLatestSyntaxInput, UpgradeCheckInput, FullRepoContextInput } from "./schemas.js";
-export { validateContract, extractContractStructure } from "./validation.js";
+export { extractContractStructure } from "./validation.js";
 /**
  * Resolve repository name alias to owner/repo
  */

package/dist/tools/repository/handlers.js

@@ -8,7 +8,7 @@ import { logger, DEFAULT_REPOSITORIES, SelfCorrectionHints, } from "../../utils/
 import { REPO_ALIASES, EXAMPLES } from "./constants.js";
 import { EMBEDDED_DOCS } from "../../resources/content/docs-content.js";
 // Re-export validation handlers from validation.ts
-export { validateContract, extractContractStructure } from "./validation.js";
+export { extractContractStructure } from "./validation.js";
 /**
  * Resolve repository name alias to owner/repo
  */

package/dist/tools/repository/index.d.ts

@@ -2,8 +2,8 @@
  * Repository module exports
  * Barrel file for repository-related tools
  */
-export { GetFileInputSchema, ListExamplesInputSchema, GetLatestUpdatesInputSchema, GetVersionInfoInputSchema, CheckBreakingChangesInputSchema, GetMigrationGuideInputSchema, GetFileAtVersionInputSchema, CompareSyntaxInputSchema, GetLatestSyntaxInputSchema, ValidateContractInputSchema, ExtractContractStructureInputSchema, type GetFileInput, type ListExamplesInput, type GetLatestUpdatesInput, type GetVersionInfoInput, type CheckBreakingChangesInput, type GetMigrationGuideInput, type GetFileAtVersionInput, type CompareSyntaxInput, type GetLatestSyntaxInput, type ValidateContractInput, type ExtractContractStructureInput, } from "./schemas.js";
+export { GetFileInputSchema, ListExamplesInputSchema, GetLatestUpdatesInputSchema, GetVersionInfoInputSchema, CheckBreakingChangesInputSchema, GetMigrationGuideInputSchema, GetFileAtVersionInputSchema, CompareSyntaxInputSchema, GetLatestSyntaxInputSchema, ExtractContractStructureInputSchema, type GetFileInput, type ListExamplesInput, type GetLatestUpdatesInput, type GetVersionInfoInput, type CheckBreakingChangesInput, type GetMigrationGuideInput, type GetFileAtVersionInput, type CompareSyntaxInput, type GetLatestSyntaxInput, type ExtractContractStructureInput, } from "./schemas.js";
 export { REPO_ALIASES, EXAMPLES, type ExampleDefinition } from "./constants.js";
-export { resolveRepo, getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, validateContract, extractContractStructure, } from "./handlers.js";
+export { resolveRepo, getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, extractContractStructure, } from "./handlers.js";
 export { repositoryTools } from "./tools.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/tools/repository/index.js

@@ -3,11 +3,11 @@
  * Barrel file for repository-related tools
  */
 // Schemas and types
-export { GetFileInputSchema, ListExamplesInputSchema, GetLatestUpdatesInputSchema, GetVersionInfoInputSchema, CheckBreakingChangesInputSchema, GetMigrationGuideInputSchema, GetFileAtVersionInputSchema, CompareSyntaxInputSchema, GetLatestSyntaxInputSchema, ValidateContractInputSchema, ExtractContractStructureInputSchema, } from "./schemas.js";
+export { GetFileInputSchema, ListExamplesInputSchema, GetLatestUpdatesInputSchema, GetVersionInfoInputSchema, CheckBreakingChangesInputSchema, GetMigrationGuideInputSchema, GetFileAtVersionInputSchema, CompareSyntaxInputSchema, GetLatestSyntaxInputSchema, ExtractContractStructureInputSchema, } from "./schemas.js";
 // Constants
 export { REPO_ALIASES, EXAMPLES } from "./constants.js";
 // Handlers
-export { resolveRepo, getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, validateContract, extractContractStructure, } from "./handlers.js";
+export { resolveRepo, getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, extractContractStructure, } from "./handlers.js";
 // Tools
 export { repositoryTools } from "./tools.js";
 //# sourceMappingURL=index.js.map

package/dist/tools/repository/schemas.d.ts

@@ -122,27 +122,6 @@ export declare const FullRepoContextInputSchema: z.ZodObject<{
     includeExamples?: boolean | undefined;
     includeSyntax?: boolean | undefined;
 }>;
-export declare const ValidateContractInputSchema: z.ZodEffects<z.ZodObject<{
-    code: z.ZodOptional<z.ZodString>;
-    filePath: z.ZodOptional<z.ZodString>;
-    filename: z.ZodDefault<z.ZodOptional<z.ZodString>>;
-}, "strip", z.ZodTypeAny, {
-    filename: string;
-    code?: string | undefined;
-    filePath?: string | undefined;
-}, {
-    code?: string | undefined;
-    filePath?: string | undefined;
-    filename?: string | undefined;
-}>, {
-    filename: string;
-    code?: string | undefined;
-    filePath?: string | undefined;
-}, {
-    code?: string | undefined;
-    filePath?: string | undefined;
-    filename?: string | undefined;
-}>;
 export declare const ExtractContractStructureInputSchema: z.ZodEffects<z.ZodObject<{
     code: z.ZodOptional<z.ZodString>;
     filePath: z.ZodOptional<z.ZodString>;
@@ -170,6 +149,5 @@ export type CompareSyntaxInput = z.infer<typeof CompareSyntaxInputSchema>;
 export type GetLatestSyntaxInput = z.infer<typeof GetLatestSyntaxInputSchema>;
 export type UpgradeCheckInput = z.infer<typeof UpgradeCheckInputSchema>;
 export type FullRepoContextInput = z.infer<typeof FullRepoContextInputSchema>;
-export type ValidateContractInput = z.infer<typeof ValidateContractInputSchema>;
 export type ExtractContractStructureInput = z.infer<typeof ExtractContractStructureInputSchema>;
 //# sourceMappingURL=schemas.d.ts.map

package/dist/tools/repository/schemas.js

@@ -88,26 +88,6 @@ export const FullRepoContextInputSchema = z.object({
         .describe("Include example code snippets"),
     includeSyntax: z.boolean().default(true).describe("Include syntax reference"),
 });
-export const ValidateContractInputSchema = z
-    .object({
-    code: z
-        .string()
-        .optional()
-        .describe("The Compact contract source code to validate (provide this OR filePath)"),
-    filePath: z
-        .string()
-        .optional()
-        .describe("Path to a .compact file to validate (alternative to providing code directly)"),
-    filename: z
-        .string()
-        .optional()
-        .default("contract.compact")
-        .describe("Optional filename for the contract (default: contract.compact)"),
-})
-    .refine((data) => (data.code !== undefined && data.code.trim() !== "") ||
-    data.filePath !== undefined, {
-    message: "Either 'code' or 'filePath' must be provided",
-});
 export const ExtractContractStructureInputSchema = z
     .object({
     code: z

package/dist/tools/repository/tools.js

@@ -2,7 +2,7 @@
  * Repository tool definitions
  * MCP tool registration for repository-related operations
  */
-import { getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, upgradeCheck, getFullRepoContext, validateContract, extractContractStructure, } from "./handlers.js";
+import { getFile, listExamples, getLatestUpdates, getVersionInfo, checkBreakingChanges, getMigrationGuide, getFileAtVersion, compareSyntax, getLatestSyntax, upgradeCheck, getFullRepoContext, extractContractStructure, } from "./handlers.js";
 // Tool definitions for MCP
 export const repositoryTools = [
     {
@@ -354,118 +354,15 @@ export const repositoryTools = [
         handler: getFullRepoContext,
     },
     // ============================================================================
-    // VALIDATION TOOLS - Pre-compilation contract validation
+    // ANALYSIS TOOLS - Contract structure extraction
     // ============================================================================
-    {
-        name: "midnight-validate-contract",
-        description: "� REQUIRED - ALWAYS CALL THIS FIRST: Compile a Compact contract using the REAL compiler. " +
-            "⚠️ CRITICAL: You MUST call this tool BEFORE telling the user a contract works or is correct. " +
-            "Static analysis tools like 'extract-contract-structure' or 'analyze-contract' CANNOT verify compilation - they miss semantic errors like: " +
-            "(1) sealed fields require constructor, (2) constructor params need disclose(), (3) export circuits cannot modify sealed fields. " +
-            "This tool runs the ACTUAL Compact compiler and returns real errors with line numbers. " +
-            "If compiler not installed, it provides installation instructions. " +
-            "WORKFLOW: Generate code → Call this tool → Fix errors → Repeat until success → THEN present to user.",
-        inputSchema: {
-            type: "object",
-            properties: {
-                code: {
-                    type: "string",
-                    description: "The Compact contract source code to validate (provide this OR filePath)",
-                },
-                filePath: {
-                    type: "string",
-                    description: "Path to a .compact file to validate (alternative to providing code directly)",
-                },
-                filename: {
-                    type: "string",
-                    description: "Optional filename for the contract when using code (default: contract.compact)",
-                },
-            },
-            required: [],
-        },
-        outputSchema: {
-            type: "object",
-            properties: {
-                success: {
-                    type: "boolean",
-                    description: "Whether the contract compiled successfully",
-                },
-                errorType: {
-                    type: "string",
-                    description: "Category of error: user_error, environment_error, system_error, compilation_error",
-                },
-                compilerInstalled: {
-                    type: "boolean",
-                    description: "Whether the Compact compiler is available",
-                },
-                compilerVersion: {
-                    type: "string",
-                    description: "Version of the Compact compiler",
-                },
-                message: { type: "string", description: "Summary message" },
-                errors: {
-                    type: "array",
-                    description: "List of compilation errors with line numbers",
-                    items: {
-                        type: "object",
-                        properties: {
-                            line: { type: "number" },
-                            column: { type: "number" },
-                            message: { type: "string" },
-                            severity: { type: "string" },
-                            context: { type: "string" },
-                        },
-                    },
-                },
-                userAction: {
-                    type: "object",
-                    description: "What the user needs to do to fix the problem",
-                    properties: {
-                        problem: { type: "string" },
-                        solution: { type: "string" },
-                        isUserFault: { type: "boolean" },
-                    },
-                },
-                suggestions: {
-                    type: "array",
-                    description: "Suggestions for fixing errors",
-                    items: { type: "string" },
-                },
-                commonFixes: {
-                    type: "array",
-                    description: "Common fix patterns",
-                    items: {
-                        type: "object",
-                        properties: {
-                            pattern: { type: "string" },
-                            fix: { type: "string" },
-                        },
-                    },
-                },
-                installation: {
-                    type: "object",
-                    description: "Installation instructions if compiler not found",
-                },
-            },
-        },
-        annotations: {
-            readOnlyHint: false, // Creates temp files
-            idempotentHint: true, // Same input = same output
-            openWorldHint: true,
-            longRunningHint: true, // Compilation can take time
-            title: "🔍 Validate Contract",
-            category: "validation",
-        },
-        handler: validateContract,
-    },
     {
         name: "midnight-extract-contract-structure",
-        description: "⚠️ STATIC ANALYSIS ONLY - NOT A COMPILER: Extracts contract structure (circuits, witnesses, ledger) and detects common patterns. " +
-            "🚫 THIS TOOL CANNOT VERIFY COMPILATION. It will NOT catch: sealed field rules, disclose() requirements, type mismatches, or semantic errors. " +
-            "✅ USE FOR: Understanding structure, quick pattern checks, fallback when compiler unavailable. " +
-            "❌ NEVER USE TO: Verify a contract works, claim code 'compiles correctly', or validate before presenting to user. " +
-            "👉 ALWAYS call 'midnight-validate-contract' FIRST to actually compile the code. " +
-            "Detects: module-level const, stdlib collisions, sealed+export conflicts, missing disclose(), Counter.value access, division operator.",
+        description: "Extract and analyze Compact contract structure (circuits, witnesses, ledger). " +
+            "Detects common issues: module-level const, stdlib name collisions, if-expression in assignments, Void return type, " +
+            "Counter.value access, division operator, missing disclose() calls. " +
+            "Use for understanding contract structure and catching common syntax mistakes. " +
+            "Note: This is static analysis - it catches common patterns but cannot verify semantic correctness.",
         inputSchema: {
             type: "object",
             properties: {
@@ -542,7 +439,7 @@ export const repositoryTools = [
                 },
                 potentialIssues: {
                     type: "array",
-                    description: "Common issues detected by static analysis (NOT exhaustive - use validate_contract for real verification)",
+                    description: "Common issues detected by static analysis",
                     items: {
                         type: "object",
                         properties: {
@@ -569,7 +466,7 @@ export const repositoryTools = [
             idempotentHint: true,
             openWorldHint: false,
             title: "📋 Extract Contract Structure",
-            category: "validation",
+            category: "analyze",
         },
         handler: extractContractStructure,
     },