edict-lang 1.6.0 → 1.7.0

package/README.md

@@ -51,7 +51,7 @@ Host capabilities available through adapters: filesystem (sandboxed), HTTP, cryp
 
 ```bash
 npm install
-npm test          # 1073 tests across 62 files
+npm test          # 1194 tests across 69 files
 npm run mcp       # start MCP server (stdio transport)
 ```
 
@@ -61,7 +61,7 @@ npm run mcp       # start MCP server (stdio transport)
 |---|---|
 | `edict_schema` | Returns the full AST JSON Schema — the spec for how to write programs |
 | `edict_version` | Returns compiler version and capability info |
-| `edict_examples` | Returns 18 example programs as JSON ASTs |
+| `edict_examples` | Returns 19 example programs as JSON ASTs |
 | `edict_validate` | Validates AST structure (field names, types, node kinds) |
 | `edict_check` | Full pipeline: validate → resolve names → type check → effect check → verify contracts |
 | `edict_compile` | Compiles a checked AST to WASM (returns base64-encoded binary) |
@@ -167,8 +167,8 @@ src/
 ├── mcp/           # MCP server (tools + resources + prompts)
 └── errors/        # Structured error types
 
-tests/             # 1073 tests across 62 files
-examples/          # 18 example programs as JSON ASTs
+tests/             # 1194 tests across 69 files
+examples/          # 19 example programs (⭐→⭐⭐⭐ difficulty in README)
 schema/            # Auto-generated JSON Schema
 ```
 

package/dist/mcp/create-server.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"create-server.d.ts","sourceRoot":"","sources":["../../src/mcp/create-server.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AA2BpE,wBAAgB,iBAAiB,IAAI,SAAS,CAqY7C"}
+{"version":3,"file":"create-server.d.ts","sourceRoot":"","sources":["../../src/mcp/create-server.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AAUpE,wBAAgB,iBAAiB,IAAI,SAAS,CAyC7C"}

package/dist/mcp/create-server.js

@@ -1,7 +1,14 @@
+// =============================================================================
+// MCP Server — declarative tool/resource/prompt registration
+// =============================================================================
+// Each tool, resource, and prompt is defined as a declarative object in its
+// own file. This module imports them via barrel exports and registers them
+// with the MCP SDK. To add a new tool, create a file in tools/ and add it
+// to tools/index.ts — no changes to this file needed.
 import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
-import { z } from "zod";
-import { handleSchema, handleExamples, handleValidate, handleCheck, handleCompile, handleRun, handleVersion, handlePatch, handleErrorCatalog, handleLint, handlePatchSchema, } from "./handlers.js";
-import { promptWriteProgram, promptFixError, promptAddContracts, promptReviewAst, } from "./prompts.js";
+import { ALL_TOOLS } from "./tools/index.js";
+import { ALL_RESOURCES } from "./resources/index.js";
+import { ALL_PROMPTS } from "./prompt-defs/index.js";
 // =============================================================================
 // Server setup
 // =============================================================================
@@ -10,288 +17,34 @@ export function createEdictServer() {
         name: "edict-compiler",
         version: "0.1.0",
     });
-    // =============================================================================
-    // Tools
-    // =============================================================================
-    // edict_schema — Return the JSON Schema for EdictModule
-    server.tool("edict_schema", "Return the JSON Schema defining valid Edict AST programs. Use format 'minimal' for reduced token cost (strips descriptions).", {
-        format: z.enum(["full", "minimal", "compact"]).optional().default("full").describe("Schema format: 'full' (default, with descriptions), 'minimal' (stripped for token efficiency), or 'compact' (compact key/kind mapping reference)"),
-    }, async ({ format }) => {
-        const result = handleSchema(format);
-        return {
-            content: [
-                {
-                    type: "text",
-                    text: JSON.stringify({ schema: result.schema, format: result.format, tokenEstimate: result.tokenEstimate }),
-                },
-            ],
-        };
-    });
-    // edict_version — Return capability info
-    server.tool("edict_version", {}, async () => {
-        const result = handleVersion();
-        return {
-            content: [
-                {
-                    type: "text",
-                    text: JSON.stringify(result, null, 2),
-                },
-            ],
-        };
-    });
-    // edict_examples — Return all example programs
-    server.tool("edict_examples", {}, async () => {
-        const result = handleExamples();
-        return {
-            content: [{ type: "text", text: JSON.stringify(result, null, 2) }],
-        };
-    });
-    // edict_validate — Validate an AST against the JSON schema
-    server.tool("edict_validate", "Validate an Edict AST against the compiler's JSON schema without typing or compiling. Use this as a first pass.", {
-        ast: z.any().describe("The Edict JSON AST to validate"),
-    }, async ({ ast }) => {
-        const result = handleValidate(ast);
-        if (result.ok) {
-            return { content: [{ type: "text", text: "AST is schema-valid." }] };
-        }
-        else {
-            return {
-                content: [
-                    { type: "text", text: JSON.stringify({ errors: result.errors }, null, 2) },
-                ],
-                isError: true,
-            };
-        }
-    });
-    // edict_check — Type check, effect check, and verify contracts
-    server.tool("edict_check", "Run the full semantic checker (name resolution, type checking, effect checking, contract verification) on an AST.", {
-        ast: z.any().describe("The Edict JSON AST to check"),
-    }, async ({ ast }) => {
-        const result = await handleCheck(ast);
-        if (result.ok) {
-            return { content: [{ type: "text", text: "AST passed all semantic checks." }] };
-        }
-        else {
-            return {
-                content: [
-                    { type: "text", text: JSON.stringify({ errors: result.errors }, null, 2) },
-                ],
-                isError: true,
-            };
-        }
-    });
-    // edict_compile — Compile a checked AST to a base64 encoded WASM module
-    server.tool("edict_compile", "Compile a semantically valid Edict AST into a WebAssembly module. Returns the WASM binary encoded as a base64 string.", {
-        ast: z.any().describe("The Edict JSON AST to compile"),
-    }, async ({ ast }) => {
-        const result = await handleCompile(ast);
-        if (result.ok && result.wasm) {
-            return {
-                content: [
-                    {
-                        type: "text",
-                        text: JSON.stringify({
-                            message: "Compilation successful.",
-                            wasm: result.wasm,
-                            binarySize: result.wasm.length, // rough estimate
-                        }, null, 2),
-                    },
-                ],
-            };
-        }
-        else {
-            return {
-                content: [
-                    { type: "text", text: JSON.stringify({ errors: result.errors }, null, 2) },
-                ],
-                isError: true,
-            };
-        }
-    });
-    // edict_run — Run a base64 encoded WASM module and return its output
-    server.tool("edict_run", "Execute a compiled WebAssembly module (provided as base64) using the Edict runtime host. Returns standard output, exit code, and any sandbox limit errors. Supports optional execution limits (timeout, memory).", {
-        wasmBase64: z.string().describe("The base64 encoded WebAssembly module to execute"),
-        limits: z.object({
-            timeoutMs: z.number().optional().describe("Max execution time in milliseconds (default: 15000, min: 100)"),
-            maxMemoryMb: z.number().optional().describe("Max WASM memory in MB (compile-time limit, default: 1)"),
-        }).optional().describe("Optional execution sandbox limits"),
-    }, async ({ wasmBase64, limits }) => {
-        try {
-            const result = await handleRun(wasmBase64, limits);
-            return {
-                content: [
-                    {
-                        type: "text",
-                        text: JSON.stringify(result, null, 2),
-                    },
-                ],
-            };
-        }
-        catch (err) {
-            return {
-                content: [{ type: "text", text: String(err) }],
-                isError: true,
-            };
-        }
-    });
-    // edict_patch — Apply targeted AST patches by nodeId and re-check
-    server.tool("edict_patch", "Apply surgical patches to an Edict AST by nodeId, then run the full check pipeline. Use this to fix errors without resubmitting the entire AST. Each patch specifies a nodeId, an operation (replace/delete/insert), and the relevant field/value.", {
-        ast: z.any().describe("The base Edict JSON AST to patch"),
-        patches: z.array(z.object({
-            nodeId: z.string().describe("ID of the target AST node"),
-            op: z.enum(["replace", "delete", "insert"]).describe("Operation: replace a field, delete a node, or insert into an array"),
-            field: z.string().optional().describe("Field name (required for replace/insert)"),
-            value: z.any().optional().describe("New value (required for replace/insert)"),
-            index: z.number().optional().describe("Array index for insert (defaults to end)"),
-        })).describe("Array of patches to apply"),
-        returnAst: z.boolean().optional().default(false).describe("Include the patched AST in the response (costs tokens, off by default)"),
-    }, async ({ ast, patches, returnAst }) => {
-        const result = await handlePatch(ast, patches, returnAst);
-        if (result.ok) {
-            const response = { ok: true };
-            if (result.patchedAst)
-                response.patchedAst = result.patchedAst;
-            return {
-                content: [{ type: "text", text: JSON.stringify(response, null, 2) }],
-            };
+    // -------------------------------------------------------------------------
+    // Tools — auto-register from declarative definitions
+    // -------------------------------------------------------------------------
+    for (const tool of ALL_TOOLS) {
+        if (tool.description) {
+            // eslint-disable-next-line @typescript-eslint/no-explicit-any
+            server.tool(tool.name, tool.description, tool.schema, tool.handler);
         }
         else {
-            return {
-                content: [
-                    { type: "text", text: JSON.stringify({ errors: result.errors }, null, 2) },
-                ],
-                isError: true,
-            };
-        }
-    });
-    // edict_errors — Return machine-readable catalog of all error types
-    server.tool("edict_errors", {}, async () => {
-        const result = handleErrorCatalog();
-        return {
-            content: [
-                {
-                    type: "text",
-                    text: JSON.stringify(result, null, 2),
-                },
-            ],
-        };
-    });
-    // edict_lint — Run non-blocking quality analysis and return warnings
-    server.tool("edict_lint", "Run non-blocking lint analysis on an Edict AST. Returns quality warnings (unused variables, missing contracts, oversized functions, redundant effects, etc.) without blocking compilation. Warnings use the same structured format as errors but with severity: 'warning'.", {
-        ast: z.any().describe("The Edict JSON AST to lint"),
-    }, async ({ ast }) => {
-        const result = handleLint(ast);
-        if (!result.ok) {
-            return {
-                content: [
-                    { type: "text", text: JSON.stringify({ errors: result.errors }, null, 2) },
-                ],
-                isError: true,
-            };
-        }
-        return {
-            content: [
-                {
-                    type: "text",
-                    text: JSON.stringify({ warnings: result.warnings, count: result.warnings?.length ?? 0 }, null, 2),
-                },
-            ],
-        };
-    });
-    // =============================================================================
-    // Resources
-    // =============================================================================
-    server.resource("schema", "edict://schema", {
-        description: "The full JSON Schema defining valid Edict AST programs",
-        mimeType: "application/json",
-    }, async () => {
-        const result = handleSchema("full");
-        return {
-            contents: [
-                {
-                    uri: "edict://schema",
-                    mimeType: "application/json",
-                    text: JSON.stringify(result.schema, null, 2),
-                },
-            ],
-        };
-    });
-    server.resource("schema-minimal", "edict://schema/minimal", {
-        description: "Token-optimized JSON Schema (descriptions stripped) for minimal context window usage",
-        mimeType: "application/json",
-    }, async () => {
-        const result = handleSchema("minimal");
-        return {
-            contents: [
-                {
-                    uri: "edict://schema/minimal",
-                    mimeType: "application/json",
-                    text: JSON.stringify(result.schema, null, 2),
-                },
-            ],
-        };
-    });
-    server.resource("examples", "edict://examples", { description: "10 example Edict programs as JSON ASTs", mimeType: "application/json" }, async () => {
-        const result = handleExamples();
-        return {
-            contents: [
-                {
-                    uri: "edict://examples",
-                    mimeType: "application/json",
-                    text: JSON.stringify(result, null, 2),
-                },
-            ],
-        };
-    });
-    server.resource("errors", "edict://errors", {
-        description: "Machine-readable catalog of all structured error types with fields, pipeline stages, and example cause/fix ASTs",
-        mimeType: "application/json",
-    }, async () => {
-        const result = handleErrorCatalog();
-        return {
-            contents: [
-                {
-                    uri: "edict://errors",
-                    mimeType: "application/json",
-                    text: JSON.stringify(result, null, 2),
-                },
-            ],
-        };
-    });
-    server.resource("schema-patch", "edict://schema/patch", {
-        description: "JSON Schema defining the AST diff/patch protocol for the edict_patch tool (replace, insert, delete operations)",
-        mimeType: "application/json",
-    }, async () => {
-        const schema = handlePatchSchema();
-        return {
-            contents: [
-                {
-                    uri: "edict://schema/patch",
-                    mimeType: "application/json",
-                    text: JSON.stringify(schema, null, 2),
-                },
-            ],
-        };
-    });
-    // =============================================================================
-    // Prompts
-    // =============================================================================
-    server.prompt("write_program", "System prompt for writing a new Edict program from a task description. Includes minimal schema, example, and builtin list.", { task: z.string().describe("Description of what the program should do") }, async ({ task }, _extra) => {
-        const result = promptWriteProgram(task);
-        return result;
-    });
-    server.prompt("fix_error", "Prompt for fixing a structured Edict compiler error. Includes error taxonomy and fix strategy.", { error: z.string().describe("The structured error JSON from the compiler") }, async ({ error }, _extra) => {
-        const result = promptFixError(error);
-        return result;
-    });
-    server.prompt("add_contracts", "Prompt for adding pre/postcondition contracts to existing Edict functions for Z3 formal verification.", { ast: z.string().describe("The Edict JSON AST to add contracts to") }, async ({ ast }, _extra) => {
-        const result = promptAddContracts(ast);
-        return result;
-    });
-    server.prompt("review_ast", "Prompt for reviewing an Edict AST for quality issues (unused variables, missing effects, dead code, etc.).", { ast: z.string().describe("The Edict JSON AST to review") }, async ({ ast }, _extra) => {
-        const result = promptReviewAst(ast);
-        return result;
-    });
+            // eslint-disable-next-line @typescript-eslint/no-explicit-any
+            server.tool(tool.name, tool.schema, tool.handler);
+        }
+    }
+    // -------------------------------------------------------------------------
+    // Resources — auto-register from declarative definitions
+    // -------------------------------------------------------------------------
+    for (const resource of ALL_RESOURCES) {
+        server.resource(resource.name, resource.uri, { description: resource.description, mimeType: resource.mimeType }, 
+        // eslint-disable-next-line @typescript-eslint/no-explicit-any
+        resource.handler);
+    }
+    // -------------------------------------------------------------------------
+    // Prompts — auto-register from declarative definitions
+    // -------------------------------------------------------------------------
+    for (const prompt of ALL_PROMPTS) {
+        // eslint-disable-next-line @typescript-eslint/no-explicit-any
+        server.prompt(prompt.name, prompt.description, prompt.schema, prompt.handler);
+    }
     return server;
 }
 //# sourceMappingURL=create-server.js.map

package/dist/mcp/create-server.js.map

@@ -1 +1 @@
-{"version":3,"file":"create-server.js","sourceRoot":"","sources":["../../src/mcp/create-server.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EACH,YAAY,EACZ,cAAc,EACd,cAAc,EACd,WAAW,EACX,aAAa,EACb,SAAS,EACT,aAAa,EACb,WAAW,EACX,kBAAkB,EAClB,UAAU,EACV,iBAAiB,GACpB,MAAM,eAAe,CAAC;AACvB,OAAO,EACH,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAClB,eAAe,GAClB,MAAM,cAAc,CAAC;AAEtB,gFAAgF;AAChF,eAAe;AACf,gFAAgF;AAEhF,MAAM,UAAU,iBAAiB;IAC7B,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC;QACzB,IAAI,EAAE,gBAAgB;QACtB,OAAO,EAAE,OAAO;KACnB,CAAC,CAAC;IAEH,gFAAgF;IAChF,QAAQ;IACR,gFAAgF;IAEhF,wDAAwD;IACxD,MAAM,CAAC,IAAI,CACP,cAAc,EACd,8HAA8H,EAC9H;QACI,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,kJAAkJ,CAAC;KACzO,EACD,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;QACjB,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,OAAO;YACH,OAAO,EAAE;gBACL;oBACI,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC;iBAC9G;aACJ;SACJ,CAAC;IACN,CAAC,CACJ,CAAC;IAEF,yCAAyC;IACzC,MAAM,CAAC,IAAI,CAAC,eAAe,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE;QACxC,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;QAC/B,OAAO;YACH,OAAO,EAAE;gBACL;oBACI,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;iBACxC;aACJ;SACJ,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,+CAA+C;IAC/C,MAAM,CAAC,IAAI,CAAC,gBAAgB,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE;QACzC,MAAM,MAAM,GAAG,cAAc,EAAE,CAAC;QAChC,OAAO;YACH,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;SACrE,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,2DAA2D;IAC3D,MAAM,CAAC,IAAI,CACP,gBAAgB,EAChB,iHAAiH,EACjH;QACI,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,gCAAgC,CAAC;KAC1D,EACD,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;QACd,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACZ,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC,EAAE,CAAC;QACzE,CAAC;aAAM,CAAC;YACJ,OAAO;gBACH,OAAO,EAAE;oBACL,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE;iBAC7E;gBACD,OAAO,EAAE,IAAI;aAChB,CAAC;QACN,CAAC;IACL,CAAC,CACJ,CAAC;IAEF,+DAA+D;IAC/D,MAAM,CAAC,IAAI,CACP,aAAa,EACb,mHAAmH,EACnH;QACI,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,6BAA6B,CAAC;KACvD,EACD,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;QACd,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACZ,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,iCAAiC,EAAE,CAAC,EAAE,CAAC;QACpF,CAAC;aAAM,CAAC;YACJ,OAAO;gBACH,OAAO,EAAE;oBACL,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE;iBAC7E;gBACD,OAAO,EAAE,IAAI;aAChB,CAAC;QACN,CAAC;IACL,CAAC,CACJ,CAAC;IAEF,wEAAwE;IACxE,MAAM,CAAC,IAAI,CACP,eAAe,EACf,uHAAuH,EACvH;QACI,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,+BAA+B,CAAC;KACzD,EACD,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;QACd,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC3B,OAAO;gBACH,OAAO,EAAE;oBACL;wBACI,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAChB;4BACI,OAAO,EAAE,yBAAyB;4BAClC,IAAI,EAAE,MAAM,CAAC,IAAI;4BACjB,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,iBAAiB;yBACpD,EACD,IAAI,EACJ,CAAC,CACJ;qBACJ;iBACJ;aACJ,CAAC;QACN,CAAC;aAAM,CAAC;YACJ,OAAO;gBACH,OAAO,EAAE;oBACL,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE;iBAC7E;gBACD,OAAO,EAAE,IAAI;aAChB,CAAC;QACN,CAAC;IACL,CAAC,CACJ,CAAC;IAEF,qEAAqE;IACrE,MAAM,CAAC,IAAI,CACP,WAAW,EACX,kNAAkN,EAClN;QACI,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kDAAkD,CAAC;QACnF,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;YACb,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,+DAA+D,CAAC;YAC1G,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,wDAAwD,CAAC;SACxG,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,mCAAmC,CAAC;KAC9D,EACD,KAAK,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE;QAC7B,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YACnD,OAAO;gBACH,OAAO,EAAE;oBACL;wBACI,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;qBACxC;iBACJ;aACJ,CAAC;QACN,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAChB,OAAO;gBACH,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC9C,OAAO,EAAE,IAAI;aAChB,CAAC;QACN,CAAC;IACL,CAAC,CACJ,CAAC;IAEF,kEAAkE;IAClE,MAAM,CAAC,IAAI,CACP,aAAa,EACb,oPAAoP,EACpP;QACI,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,kCAAkC,CAAC;QACzD,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;YACtB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,2BAA2B,CAAC;YACxD,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,oEAAoE,CAAC;YAC1H,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,0CAA0C,CAAC;YACjF,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,yCAAyC,CAAC;YAC7E,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,0CAA0C,CAAC;SACpF,CAAC,CAAC,CAAC,QAAQ,CAAC,2BAA2B,CAAC;QACzC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,wEAAwE,CAAC;KACtI,EACD,KAAK,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE;QAClC,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QAC1D,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACZ,MAAM,QAAQ,GAA4B,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;YACvD,IAAI,MAAM,CAAC,UAAU;gBAAE,QAAQ,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;YAC/D,OAAO;gBACH,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;aACvE,CAAC;QACN,CAAC;aAAM,CAAC;YACJ,OAAO;gBACH,OAAO,EAAE;oBACL,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE;iBAC7E;gBACD,OAAO,EAAE,IAAI;aAChB,CAAC;QACN,CAAC;IACL,CAAC,CACJ,CAAC;IAEF,oEAAoE;IACpE,MAAM,CAAC,IAAI,CAAC,cAAc,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE;QACvC,MAAM,MAAM,GAAG,kBAAkB,EAAE,CAAC;QACpC,OAAO;YACH,OAAO,EAAE;gBACL;oBACI,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;iBACxC;aACJ;SACJ,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,qEAAqE;IACrE,MAAM,CAAC,IAAI,CACP,YAAY,EACZ,4QAA4Q,EAC5Q;QACI,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,4BAA4B,CAAC;KACtD,EACD,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;QACd,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACb,OAAO;gBACH,OAAO,EAAE;oBACL,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE;iBAC7E;gBACD,OAAO,EAAE,IAAI;aAChB,CAAC;QACN,CAAC;QACD,OAAO;YACH,OAAO,EAAE;gBACL;oBACI,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;iBACpG;aACJ;SACJ,CAAC;IACN,CAAC,CACJ,CAAC;IAEF,gFAAgF;IAChF,YAAY;IACZ,gFAAgF;IAEhF,MAAM,CAAC,QAAQ,CACX,QAAQ,EACR,gBAAgB,EAChB;QACI,WAAW,EAAE,wDAAwD;QACrE,QAAQ,EAAE,kBAAkB;KAC/B,EACD,KAAK,IAAI,EAAE;QACP,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,OAAO;YACH,QAAQ,EAAE;gBACN;oBACI,GAAG,EAAE,gBAAgB;oBACrB,QAAQ,EAAE,kBAAkB;oBAC5B,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;iBAC/C;aACJ;SACJ,CAAC;IACN,CAAC,CACJ,CAAC;IAEF,MAAM,CAAC,QAAQ,CACX,gBAAgB,EAChB,wBAAwB,EACxB;QACI,WAAW,EAAE,sFAAsF;QACnG,QAAQ,EAAE,kBAAkB;KAC/B,EACD,KAAK,IAAI,EAAE;QACP,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;QACvC,OAAO;YACH,QAAQ,EAAE;gBACN;oBACI,GAAG,EAAE,wBAAwB;oBAC7B,QAAQ,EAAE,kBAAkB;oBAC5B,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;iBAC/C;aACJ;SACJ,CAAC;IACN,CAAC,CACJ,CAAC;IAEF,MAAM,CAAC,QAAQ,CACX,UAAU,EACV,kBAAkB,EAClB,EAAE,WAAW,EAAE,wCAAwC,EAAE,QAAQ,EAAE,kBAAkB,EAAE,EACvF,KAAK,IAAI,EAAE;QACP,MAAM,MAAM,GAAG,cAAc,EAAE,CAAC;QAChC,OAAO;YACH,QAAQ,EAAE;gBACN;oBACI,GAAG,EAAE,kBAAkB;oBACvB,QAAQ,EAAE,kBAAkB;oBAC5B,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;iBACxC;aACJ;SACJ,CAAC;IACN,CAAC,CACJ,CAAC;IAEF,MAAM,CAAC,QAAQ,CACX,QAAQ,EACR,gBAAgB,EAChB;QACI,WAAW,EAAE,iHAAiH;QAC9H,QAAQ,EAAE,kBAAkB;KAC/B,EACD,KAAK,IAAI,EAAE;QACP,MAAM,MAAM,GAAG,kBAAkB,EAAE,CAAC;QACpC,OAAO;YACH,QAAQ,EAAE;gBACN;oBACI,GAAG,EAAE,gBAAgB;oBACrB,QAAQ,EAAE,kBAAkB;oBAC5B,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;iBACxC;aACJ;SACJ,CAAC;IACN,CAAC,CACJ,CAAC;IAEF,MAAM,CAAC,QAAQ,CACX,cAAc,EACd,sBAAsB,EACtB;QACI,WAAW,EAAE,gHAAgH;QAC7H,QAAQ,EAAE,kBAAkB;KAC/B,EACD,KAAK,IAAI,EAAE;QACP,MAAM,MAAM,GAAG,iBAAiB,EAAE,CAAC;QACnC,OAAO;YACH,QAAQ,EAAE;gBACN;oBACI,GAAG,EAAE,sBAAsB;oBAC3B,QAAQ,EAAE,kBAAkB;oBAC5B,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;iBACxC;aACJ;SACJ,CAAC;IACN,CAAC,CACJ,CAAC;IAEF,gFAAgF;IAChF,UAAU;IACV,gFAAgF;IAEhF,MAAM,CAAC,MAAM,CACT,eAAe,EACf,4HAA4H,EAC5H,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,2CAA2C,CAAC,EAAE,EAC1E,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE;QACvB,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACxC,OAAO,MAAM,CAAC;IAClB,CAAC,CACJ,CAAC;IAEF,MAAM,CAAC,MAAM,CACT,WAAW,EACX,gGAAgG,EAChG,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,6CAA6C,CAAC,EAAE,EAC7E,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE;QACxB,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QACrC,OAAO,MAAM,CAAC;IAClB,CAAC,CACJ,CAAC;IAEF,MAAM,CAAC,MAAM,CACT,eAAe,EACf,uGAAuG,EACvG,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,wCAAwC,CAAC,EAAE,EACtE,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;QACvC,OAAO,MAAM,CAAC;IAClB,CAAC,CACJ,CAAC;IAEF,MAAM,CAAC,MAAM,CACT,YAAY,EACZ,4GAA4G,EAC5G,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,8BAA8B,CAAC,EAAE,EAC5D,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACpC,OAAO,MAAM,CAAC;IAClB,CAAC,CACJ,CAAC;IAEF,OAAO,MAAM,CAAC;AAClB,CAAC"}
+{"version":3,"file":"create-server.js","sourceRoot":"","sources":["../../src/mcp/create-server.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,6DAA6D;AAC7D,gFAAgF;AAChF,4EAA4E;AAC5E,2EAA2E;AAC3E,0EAA0E;AAC1E,sDAAsD;AAEtD,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AAEpE,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD,gFAAgF;AAChF,eAAe;AACf,gFAAgF;AAEhF,MAAM,UAAU,iBAAiB;IAC7B,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC;QACzB,IAAI,EAAE,gBAAgB;QACtB,OAAO,EAAE,OAAO;KACnB,CAAC,CAAC;IAEH,4EAA4E;IAC5E,qDAAqD;IACrD,4EAA4E;IAC5E,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACnB,8DAA8D;YAC9D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAc,CAAC,CAAC;QAC/E,CAAC;aAAM,CAAC;YACJ,8DAA8D;YAC9D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAc,CAAC,CAAC;QAC7D,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,yDAAyD;IACzD,4EAA4E;IAC5E,KAAK,MAAM,QAAQ,IAAI,aAAa,EAAE,CAAC;QACnC,MAAM,CAAC,QAAQ,CACX,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,GAAG,EACZ,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE;QAClE,8DAA8D;QAC9D,QAAQ,CAAC,OAAc,CAC1B,CAAC;IACN,CAAC;IAED,4EAA4E;IAC5E,uDAAuD;IACvD,4EAA4E;IAC5E,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;QAC/B,8DAA8D;QAC9D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,OAAc,CAAC,CAAC;IACzF,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC"}

package/dist/mcp/prompt-defs/add-contracts.d.ts

@@ -0,0 +1,3 @@
+import type { EdictMcpPrompt } from "../tool-types.js";
+export declare const addContractsPrompt: EdictMcpPrompt;
+//# sourceMappingURL=add-contracts.d.ts.map

package/dist/mcp/prompt-defs/add-contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"add-contracts.d.ts","sourceRoot":"","sources":["../../../src/mcp/prompt-defs/add-contracts.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGvD,eAAO,MAAM,kBAAkB,EAAE,cAOhC,CAAC"}

package/dist/mcp/prompt-defs/add-contracts.js

@@ -0,0 +1,11 @@
+import { z } from "zod";
+import { promptAddContracts } from "../prompts.js";
+export const addContractsPrompt = {
+    name: "add_contracts",
+    description: "Prompt for adding pre/postcondition contracts to existing Edict functions for Z3 formal verification.",
+    schema: { ast: z.string().describe("The Edict JSON AST to add contracts to") },
+    handler: async ({ ast }) => {
+        return promptAddContracts(ast);
+    },
+};
+//# sourceMappingURL=add-contracts.js.map

package/dist/mcp/prompt-defs/add-contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"add-contracts.js","sourceRoot":"","sources":["../../../src/mcp/prompt-defs/add-contracts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAEnD,MAAM,CAAC,MAAM,kBAAkB,GAAmB;IAC9C,IAAI,EAAE,eAAe;IACrB,WAAW,EAAE,uGAAuG;IACpH,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,wCAAwC,CAAC,EAAE;IAC9E,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;QACvB,OAAO,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC;CACJ,CAAC"}

package/dist/mcp/prompt-defs/fix-error.d.ts

@@ -0,0 +1,3 @@
+import type { EdictMcpPrompt } from "../tool-types.js";
+export declare const fixErrorPrompt: EdictMcpPrompt;
+//# sourceMappingURL=fix-error.d.ts.map

package/dist/mcp/prompt-defs/fix-error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fix-error.d.ts","sourceRoot":"","sources":["../../../src/mcp/prompt-defs/fix-error.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGvD,eAAO,MAAM,cAAc,EAAE,cAO5B,CAAC"}

package/dist/mcp/prompt-defs/fix-error.js

@@ -0,0 +1,11 @@
+import { z } from "zod";
+import { promptFixError } from "../prompts.js";
+export const fixErrorPrompt = {
+    name: "fix_error",
+    description: "Prompt for fixing a structured Edict compiler error. Includes error taxonomy and fix strategy.",
+    schema: { error: z.string().describe("The structured error JSON from the compiler") },
+    handler: async ({ error }) => {
+        return promptFixError(error);
+    },
+};
+//# sourceMappingURL=fix-error.js.map

package/dist/mcp/prompt-defs/fix-error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fix-error.js","sourceRoot":"","sources":["../../../src/mcp/prompt-defs/fix-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,CAAC,MAAM,cAAc,GAAmB;IAC1C,IAAI,EAAE,WAAW;IACjB,WAAW,EAAE,gGAAgG;IAC7G,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,6CAA6C,CAAC,EAAE;IACrF,OAAO,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;QACzB,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;CACJ,CAAC"}

package/dist/mcp/prompt-defs/index.d.ts

@@ -0,0 +1,4 @@
+import type { EdictMcpPrompt } from "../tool-types.js";
+/** All registered MCP prompts. Add new prompts by creating a file and adding to this array. */
+export declare const ALL_PROMPTS: EdictMcpPrompt[];
+//# sourceMappingURL=index.d.ts.map

package/dist/mcp/prompt-defs/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/mcp/prompt-defs/index.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAMvD,+FAA+F;AAC/F,eAAO,MAAM,WAAW,EAAE,cAAc,EAKvC,CAAC"}

package/dist/mcp/prompt-defs/index.js

@@ -0,0 +1,15 @@
+// =============================================================================
+// Prompt barrel export — all declarative MCP prompt definitions
+// =============================================================================
+import { writeProgramPrompt } from "./write-program.js";
+import { fixErrorPrompt } from "./fix-error.js";
+import { addContractsPrompt } from "./add-contracts.js";
+import { reviewAstPrompt } from "./review-ast.js";
+/** All registered MCP prompts. Add new prompts by creating a file and adding to this array. */
+export const ALL_PROMPTS = [
+    writeProgramPrompt,
+    fixErrorPrompt,
+    addContractsPrompt,
+    reviewAstPrompt,
+];
+//# sourceMappingURL=index.js.map

package/dist/mcp/prompt-defs/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/mcp/prompt-defs/index.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gEAAgE;AAChE,gFAAgF;AAGhF,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,+FAA+F;AAC/F,MAAM,CAAC,MAAM,WAAW,GAAqB;IACzC,kBAAkB;IAClB,cAAc;IACd,kBAAkB;IAClB,eAAe;CAClB,CAAC"}

package/dist/mcp/prompt-defs/review-ast.d.ts

@@ -0,0 +1,3 @@
+import type { EdictMcpPrompt } from "../tool-types.js";
+export declare const reviewAstPrompt: EdictMcpPrompt;
+//# sourceMappingURL=review-ast.d.ts.map

package/dist/mcp/prompt-defs/review-ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"review-ast.d.ts","sourceRoot":"","sources":["../../../src/mcp/prompt-defs/review-ast.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGvD,eAAO,MAAM,eAAe,EAAE,cAO7B,CAAC"}

package/dist/mcp/prompt-defs/review-ast.js

@@ -0,0 +1,11 @@
+import { z } from "zod";
+import { promptReviewAst } from "../prompts.js";
+export const reviewAstPrompt = {
+    name: "review_ast",
+    description: "Prompt for reviewing an Edict AST for quality issues (unused variables, missing effects, dead code, etc.).",
+    schema: { ast: z.string().describe("The Edict JSON AST to review") },
+    handler: async ({ ast }) => {
+        return promptReviewAst(ast);
+    },
+};
+//# sourceMappingURL=review-ast.js.map

package/dist/mcp/prompt-defs/review-ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"review-ast.js","sourceRoot":"","sources":["../../../src/mcp/prompt-defs/review-ast.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,MAAM,CAAC,MAAM,eAAe,GAAmB;IAC3C,IAAI,EAAE,YAAY;IAClB,WAAW,EAAE,4GAA4G;IACzH,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,8BAA8B,CAAC,EAAE;IACpE,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;QACvB,OAAO,eAAe,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;CACJ,CAAC"}

package/dist/mcp/prompt-defs/write-program.d.ts

@@ -0,0 +1,3 @@
+import type { EdictMcpPrompt } from "../tool-types.js";
+export declare const writeProgramPrompt: EdictMcpPrompt;
+//# sourceMappingURL=write-program.d.ts.map

package/dist/mcp/prompt-defs/write-program.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"write-program.d.ts","sourceRoot":"","sources":["../../../src/mcp/prompt-defs/write-program.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGvD,eAAO,MAAM,kBAAkB,EAAE,cAOhC,CAAC"}

package/dist/mcp/prompt-defs/write-program.js

@@ -0,0 +1,11 @@
+import { z } from "zod";
+import { promptWriteProgram } from "../prompts.js";
+export const writeProgramPrompt = {
+    name: "write_program",
+    description: "System prompt for writing a new Edict program from a task description. Includes minimal schema, example, and builtin list.",
+    schema: { task: z.string().describe("Description of what the program should do") },
+    handler: async ({ task }) => {
+        return promptWriteProgram(task);
+    },
+};
+//# sourceMappingURL=write-program.js.map

package/dist/mcp/prompt-defs/write-program.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"write-program.js","sourceRoot":"","sources":["../../../src/mcp/prompt-defs/write-program.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAEnD,MAAM,CAAC,MAAM,kBAAkB,GAAmB;IAC9C,IAAI,EAAE,eAAe;IACrB,WAAW,EAAE,4HAA4H;IACzI,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,2CAA2C,CAAC,EAAE;IAClF,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE;QACxB,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;CACJ,CAAC"}

package/dist/mcp/resources/errors.d.ts

@@ -0,0 +1,3 @@
+import type { EdictMcpResource } from "../tool-types.js";
+export declare const errorsResource: EdictMcpResource;
+//# sourceMappingURL=errors.d.ts.map

package/dist/mcp/resources/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../../src/mcp/resources/errors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAGzD,eAAO,MAAM,cAAc,EAAE,gBAiB5B,CAAC"}

package/dist/mcp/resources/errors.js

@@ -0,0 +1,20 @@
+import { handleErrorCatalog } from "../handlers.js";
+export const errorsResource = {
+    name: "errors",
+    uri: "edict://errors",
+    description: "Machine-readable catalog of all structured error types with fields, pipeline stages, and example cause/fix ASTs",
+    mimeType: "application/json",
+    handler: async () => {
+        const result = handleErrorCatalog();
+        return {
+            contents: [
+                {
+                    uri: "edict://errors",
+                    mimeType: "application/json",
+                    text: JSON.stringify(result, null, 2),
+                },
+            ],
+        };
+    },
+};
+//# sourceMappingURL=errors.js.map

package/dist/mcp/resources/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../../src/mcp/resources/errors.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAEpD,MAAM,CAAC,MAAM,cAAc,GAAqB;IAC5C,IAAI,EAAE,QAAQ;IACd,GAAG,EAAE,gBAAgB;IACrB,WAAW,EAAE,iHAAiH;IAC9H,QAAQ,EAAE,kBAAkB;IAC5B,OAAO,EAAE,KAAK,IAAI,EAAE;QAChB,MAAM,MAAM,GAAG,kBAAkB,EAAE,CAAC;QACpC,OAAO;YACH,QAAQ,EAAE;gBACN;oBACI,GAAG,EAAE,gBAAgB;oBACrB,QAAQ,EAAE,kBAAkB;oBAC5B,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;iBACxC;aACJ;SACJ,CAAC;IACN,CAAC;CACJ,CAAC"}

package/dist/mcp/resources/examples.d.ts

@@ -0,0 +1,3 @@
+import type { EdictMcpResource } from "../tool-types.js";
+export declare const examplesResource: EdictMcpResource;
+//# sourceMappingURL=examples.d.ts.map

package/dist/mcp/resources/examples.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"examples.d.ts","sourceRoot":"","sources":["../../../src/mcp/resources/examples.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAGzD,eAAO,MAAM,gBAAgB,EAAE,gBAiB9B,CAAC"}

package/dist/mcp/resources/examples.js

@@ -0,0 +1,20 @@
+import { handleExamples } from "../handlers.js";
+export const examplesResource = {
+    name: "examples",
+    uri: "edict://examples",
+    description: "10 example Edict programs as JSON ASTs",
+    mimeType: "application/json",
+    handler: async () => {
+        const result = handleExamples();
+        return {
+            contents: [
+                {
+                    uri: "edict://examples",
+                    mimeType: "application/json",
+                    text: JSON.stringify(result, null, 2),
+                },
+            ],
+        };
+    },
+};
+//# sourceMappingURL=examples.js.map

package/dist/mcp/resources/examples.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"examples.js","sourceRoot":"","sources":["../../../src/mcp/resources/examples.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAEhD,MAAM,CAAC,MAAM,gBAAgB,GAAqB;IAC9C,IAAI,EAAE,UAAU;IAChB,GAAG,EAAE,kBAAkB;IACvB,WAAW,EAAE,wCAAwC;IACrD,QAAQ,EAAE,kBAAkB;IAC5B,OAAO,EAAE,KAAK,IAAI,EAAE;QAChB,MAAM,MAAM,GAAG,cAAc,EAAE,CAAC;QAChC,OAAO;YACH,QAAQ,EAAE;gBACN;oBACI,GAAG,EAAE,kBAAkB;oBACvB,QAAQ,EAAE,kBAAkB;oBAC5B,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;iBACxC;aACJ;SACJ,CAAC;IACN,CAAC;CACJ,CAAC"}

package/dist/mcp/resources/index.d.ts

@@ -0,0 +1,4 @@
+import type { EdictMcpResource } from "../tool-types.js";
+/** All registered MCP resources. Add new resources by creating a file and adding to this array. */
+export declare const ALL_RESOURCES: EdictMcpResource[];
+//# sourceMappingURL=index.d.ts.map

package/dist/mcp/resources/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/mcp/resources/index.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAOzD,mGAAmG;AACnG,eAAO,MAAM,aAAa,EAAE,gBAAgB,EAM3C,CAAC"}