@dahch/muninn 0.0.0-stage → 0.1.0

package/dist/mcp/server.d.ts

@@ -0,0 +1,233 @@
+import type { Readable, Writable } from "node:stream";
+import { Server } from "@modelcontextprotocol/sdk/server/index.js";
+import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js";
+import { type JSONRPCMessage, type Tool } from "@modelcontextprotocol/sdk/types.js";
+import { z } from "zod";
+import { type IMemoryService, type MemoryServiceOptions } from "../service/index.js";
+export { type IMemoryService };
+/**
+ * Zod schema for symbol / entity objects.
+ */
+export declare const SymbolSchema: z.ZodObject<{
+    name: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    filePath: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    file_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    identifier: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+        function: "function";
+        file: "file";
+        class: "class";
+        interface: "interface";
+        module: "module";
+    }>>>;
+    entity_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+        function: "function";
+        file: "file";
+        class: "class";
+        interface: "interface";
+        module: "module";
+    }>>>;
+    id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+}, z.core.$loose>;
+/**
+ * Schema for observation category.
+ */
+export declare const CategorySchema: z.ZodEnum<{
+    decision: "decision";
+    convention: "convention";
+    discovery: "discovery";
+    bugfix: "bugfix";
+    architecture: "architecture";
+}>;
+/**
+ * Zod schema for muninn_save tool arguments.
+ */
+export declare const MuninnSaveSchema: z.ZodObject<{
+    category: z.ZodEnum<{
+        decision: "decision";
+        convention: "convention";
+        discovery: "discovery";
+        bugfix: "bugfix";
+        architecture: "architecture";
+    }>;
+    title: z.ZodString;
+    content: z.ZodString;
+    topicKey: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    symbols: z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        name: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        filePath: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        file_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        identifier: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+            function: "function";
+            file: "file";
+            class: "class";
+            interface: "interface";
+            module: "module";
+        }>>>;
+        entity_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+            function: "function";
+            file: "file";
+            class: "class";
+            interface: "interface";
+            module: "module";
+        }>>>;
+        id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$loose>]>>>>;
+}, z.core.$strip>;
+export type MuninnSaveInput = z.infer<typeof MuninnSaveSchema>;
+/**
+ * Zod schema for muninn_search tool arguments.
+ */
+export declare const MuninnSearchSchema: z.ZodObject<{
+    query: z.ZodString;
+    category: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+        decision: "decision";
+        convention: "convention";
+        discovery: "discovery";
+        bugfix: "bugfix";
+        architecture: "architecture";
+    }>>>;
+    limit: z.ZodDefault<z.ZodOptional<z.ZodNullable<z.ZodNumber>>>;
+    allProjects: z.ZodOptional<z.ZodNullable<z.ZodBoolean>>;
+}, z.core.$strip>;
+export type MuninnSearchInput = z.infer<typeof MuninnSearchSchema>;
+/**
+ * Zod schema for muninn_context tool arguments.
+ */
+export declare const MuninnContextSchema: z.ZodObject<{
+    limit: z.ZodDefault<z.ZodOptional<z.ZodNullable<z.ZodNumber>>>;
+    category: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+        decision: "decision";
+        convention: "convention";
+        discovery: "discovery";
+        bugfix: "bugfix";
+        architecture: "architecture";
+    }>>>;
+    topicKey: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    allProjects: z.ZodOptional<z.ZodNullable<z.ZodBoolean>>;
+}, z.core.$strip>;
+export type MuninnContextInput = z.infer<typeof MuninnContextSchema>;
+/**
+ * Zod schema for muninn_link_symbol tool arguments.
+ */
+export declare const MuninnLinkSymbolSchema: z.ZodObject<{
+    observationId: z.ZodString;
+    symbol: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        name: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        filePath: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        file_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        identifier: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+            function: "function";
+            file: "file";
+            class: "class";
+            interface: "interface";
+            module: "module";
+        }>>>;
+        entity_type: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+            function: "function";
+            file: "file";
+            class: "class";
+            interface: "interface";
+            module: "module";
+        }>>>;
+        id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$loose>]>;
+}, z.core.$strip>;
+export type MuninnLinkSymbolInput = z.infer<typeof MuninnLinkSymbolSchema>;
+/**
+ * Zod schema for muninn_stats tool arguments.
+ */
+export declare const MuninnStatsSchema: z.ZodObject<{
+    allProjects: z.ZodOptional<z.ZodNullable<z.ZodBoolean>>;
+}, z.core.$strip>;
+export type MuninnStatsInput = z.infer<typeof MuninnStatsSchema>;
+/**
+ * Zod schema for muninn_inspect_symbol tool arguments.
+ */
+export declare const MuninnInspectSymbolSchema: z.ZodObject<{
+    symbol: z.ZodString;
+    projectId: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    project_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+}, z.core.$strip>;
+export type MuninnInspectSymbolInput = z.infer<typeof MuninnInspectSymbolSchema>;
+/**
+ * Zod schema for muninn_verify_contract tool arguments.
+ */
+export declare const MuninnVerifyContractSchema: z.ZodObject<{
+    files: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]>, z.ZodTransform<string[], string | string[]>>>>;
+    projectRoot: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    project_root: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+}, z.core.$strip>;
+export type MuninnVerifyContractInput = z.infer<typeof MuninnVerifyContractSchema>;
+/**
+ * Helper to format Zod validation errors into a human-readable string.
+ */
+export declare function formatZodErrors(error: z.ZodError): string;
+export interface ToolDefinition<TSchema extends z.ZodTypeAny = any, TOutput = unknown> {
+    name: string;
+    description: string;
+    schema: TSchema;
+    handler: (service: IMemoryService, input: z.infer<TSchema>) => TOutput | Promise<TOutput>;
+}
+export declare const TOOL_REGISTRY: Record<string, ToolDefinition>;
+/**
+ * Metadata definition for all Muninn MCP tools.
+ */
+export declare const MUNINN_TOOLS: Tool[];
+export declare const TOOL_NAMES: readonly ["muninn_save", "muninn_search", "muninn_context", "muninn_link_symbol", "muninn_stats", "muninn_inspect_symbol", "muninn_verify_contract"];
+export type ToolName = (typeof TOOL_NAMES)[number];
+/**
+ * Normalizes input arguments (handling snake_case fallbacks and null/undefined values),
+ * hardened against prototype pollution by skipping __proto__, constructor, and prototype keys.
+ */
+export declare function normalizeArgs(args: Record<string, unknown> | undefined): Record<string, unknown>;
+/**
+ * Type guard to check if an object satisfies the IMemoryService interface.
+ */
+export declare function isMemoryService(obj: unknown): obj is IMemoryService;
+export type MuninnServer = Server & {
+    service: IMemoryService;
+    memoryService: IMemoryService;
+};
+/**
+ * Deadline for a single JSON-RPC write (AC-30.3 / ADR-30.3). The SDK transport
+ * resolves `send()` on `'drain'`, which a *broken* stdout pipe never emits, so
+ * an unbounded write would hang the pending request forever.
+ */
+export declare const MCP_WRITE_TIMEOUT_MS = 5000;
+export interface BoundedStdioTransportOptions {
+    /** Read-buffer ceiling (SDK default: 10 MB). */
+    maxBufferSize?: number;
+    /** Write deadline before the pending request is rejected; ≤ 0 disables it. */
+    writeTimeoutMs?: number;
+}
+/**
+ * `StdioServerTransport` with a *bounded* write path (REQ-30 / AC-30.3).
+ *
+ * `send()` races the SDK's write against (i) a short deadline and (ii) an error
+ * on the output stream (EPIPE / ERR_STREAM_DESTROYED). Either one **rejects**,
+ * so a broken parent pipe fails the pending request with a clear error instead
+ * of awaiting a `'drain'` that can never arrive. The reader side (`start()`,
+ * buffering, framing) is untouched.
+ */
+export declare class BoundedStdioServerTransport extends StdioServerTransport {
+    private readonly output;
+    private readonly writeTimeoutMs;
+    constructor(stdin?: Readable, stdout?: Writable, options?: BoundedStdioTransportOptions);
+    send(message: JSONRPCMessage): Promise<void>;
+}
+/**
+ * Creates and configures a Model Context Protocol (MCP) server for Muninn memory.
+ */
+export declare function createMcpServer(serviceOrOptions?: IMemoryService | MemoryServiceOptions): MuninnServer;
+/**
+ * Starts the Muninn MCP server using the bounded {@link BoundedStdioServerTransport}.
+ */
+export declare function startMcpServer(options?: MemoryServiceOptions | IMemoryService, transportOptions?: BoundedStdioTransportOptions): Promise<{
+    server: MuninnServer;
+    transport: BoundedStdioServerTransport;
+    service: IMemoryService;
+}>;
+//# sourceMappingURL=server.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../../src/mcp/server.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAGL,KAAK,cAAc,EACnB,KAAK,IAAI,EACV,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAGL,KAAK,cAAc,EACnB,KAAK,oBAAoB,EAM1B,MAAM,qBAAqB,CAAC;AAG7B,OAAO,EAAE,KAAK,cAAc,EAAE,CAAC;AAE/B;;GAEG;AACH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;iBAqBtB,CAAC;AAEJ;;GAEG;AACH,eAAO,MAAM,cAAc;;;;;;EAIgD,CAAC;AAE5E;;GAEG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAyB3B,CAAC;AAEH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE/D;;GAEG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;iBAoB7B,CAAC;AAEH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAEnE;;GAEG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;;;iBAoB9B,CAAC;AAEH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAErE;;GAEG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;iBASjC,CAAC;AAEH,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAE3E;;GAEG;AACH,eAAO,MAAM,iBAAiB;;iBAK5B,CAAC;AAEH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAEjE;;GAEG;AACH,eAAO,MAAM,yBAAyB;;;;iBAapC,CAAC;AAEH,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAC5C,OAAO,yBAAyB,CACjC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,0BAA0B;;;;iBAmBrC,CAAC;AAEH,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAC7C,OAAO,0BAA0B,CAClC,CAAC;AAEF;;GAEG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,GAAG,MAAM,CAUzD;AAED,MAAM,WAAW,cAAc,CAC7B,OAAO,SAAS,CAAC,CAAC,UAAU,GAAG,GAAG,EAClC,OAAO,GAAG,OAAO;IAEjB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,CACP,OAAO,EAAE,cAAc,EACvB,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KACpB,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CACjC;AAED,eAAO,MAAM,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CA0FxD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,YAAY,EAAE,IAAI,EAQ9B,CAAC;AAEF,eAAO,MAAM,UAAU,sJAQb,CAAC;AAEX,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAQnD;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GACxC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA4CzB;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,OAAO,GAAG,GAAG,IAAI,cAAc,CASnE;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG;IAClC,OAAO,EAAE,cAAc,CAAC;IACxB,aAAa,EAAE,cAAc,CAAC;CAC/B,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,OAAO,CAAC;AAEzC,MAAM,WAAW,4BAA4B;IAC3C,gDAAgD;IAChD,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,8EAA8E;IAC9E,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;GAQG;AACH,qBAAa,2BAA4B,SAAQ,oBAAoB;IACnE,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAW;IAClC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAS;gBAGtC,KAAK,GAAE,QAAwB,EAC/B,MAAM,GAAE,QAAyB,EACjC,OAAO,GAAE,4BAAiC;IAOnC,IAAI,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC;CA2DtD;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,gBAAgB,CAAC,EAAE,cAAc,GAAG,oBAAoB,GACvD,YAAY,CAoFd;AAED;;GAEG;AACH,wBAAsB,cAAc,CAClC,OAAO,CAAC,EAAE,oBAAoB,GAAG,cAAc,EAC/C,gBAAgB,CAAC,EAAE,4BAA4B,GAC9C,OAAO,CAAC;IACT,MAAM,EAAE,YAAY,CAAC;IACrB,SAAS,EAAE,2BAA2B,CAAC;IACvC,OAAO,EAAE,cAAc,CAAC;CACzB,CAAC,CAQD"}