voratiq 0.1.0-beta.2 → 0.1.0-beta.21

package/dist/mcp/server.d.ts

@@ -0,0 +1,88 @@
+import { createEntrypointVoratiqCliTarget as createEntrypointCliTarget, resolveVoratiqCliTarget, type VoratiqCliTarget } from "../utils/voratiq-cli-target.js";
+export declare const VORATIQ_MCP_PROTOCOL_VERSION: "2025-11-25";
+export declare const VORATIQ_SUPPORTED_MCP_PROTOCOL_VERSIONS: readonly ["2025-11-25", "2025-06-18", "2024-11-05"];
+export type VoratiqMcpExecutionToolName = "voratiq_spec" | "voratiq_run" | "voratiq_reduce" | "voratiq_verify" | "voratiq_message" | "voratiq_apply" | "voratiq_prune";
+export type VoratiqMcpToolName = VoratiqMcpExecutionToolName | "voratiq_list";
+export type VoratiqMcpOperator = "spec" | "run" | "reduce" | "verify" | "message" | "apply" | "list" | "prune";
+export type TransportFailureKind = "invalid_input" | "spawn_failed" | "malformed_json" | "contract_mismatch";
+export interface TransportFailureResult {
+    failureKind: TransportFailureKind;
+    operator: VoratiqMcpOperator;
+    message: string;
+    details?: unknown;
+}
+export interface McpToolDefinition {
+    name: VoratiqMcpToolName;
+    description: string;
+    inputSchema: Record<string, unknown>;
+}
+interface CliInvocationSuccess {
+    kind: "success";
+    exitCode: number;
+    stdout: string;
+    stderr: string;
+}
+interface CliInvocationSpawnFailed {
+    kind: "spawn_failed";
+    error: Error;
+}
+type CliInvocationResult = CliInvocationSuccess | CliInvocationSpawnFailed;
+interface InvokeCliJsonContractInput {
+    operator: VoratiqMcpOperator;
+    args: string[];
+}
+export type InvokeCliJsonContract = (input: InvokeCliJsonContractInput) => Promise<CliInvocationResult>;
+export interface CreateVoratiqMcpRequestHandlerOptions {
+    invokeCliJsonContract?: InvokeCliJsonContract;
+    serverVersion?: string;
+}
+interface JsonRpcRequestMessage {
+    jsonrpc: "2.0";
+    id: number | string | null;
+    method: string;
+    params?: unknown;
+}
+interface JsonRpcNotificationMessage {
+    jsonrpc: "2.0";
+    method: string;
+    params?: unknown;
+}
+interface JsonRpcSuccessResponse {
+    jsonrpc: "2.0";
+    id: number | string | null;
+    result: unknown;
+}
+interface JsonRpcErrorResponse {
+    jsonrpc: "2.0";
+    id: number | string | null;
+    error: {
+        code: number;
+        message: string;
+        data?: unknown;
+    };
+}
+type JsonRpcResponse = JsonRpcSuccessResponse | JsonRpcErrorResponse;
+export declare function getVoratiqMcpToolDefinitions(): readonly McpToolDefinition[];
+export declare function createVoratiqMcpRequestHandler(options?: CreateVoratiqMcpRequestHandlerOptions): {
+    handleRequest: (message: JsonRpcRequestMessage) => Promise<JsonRpcResponse>;
+    handleNotification: (message: JsonRpcNotificationMessage) => Promise<void> | void;
+};
+export interface RunVoratiqMcpStdioServerOptions {
+    stdin?: McpInputStream;
+    stdout?: McpOutputStream;
+    invokeCliJsonContract?: InvokeCliJsonContract;
+    selfCliTarget?: VoratiqCliTarget;
+    serverVersion?: string;
+}
+interface McpInputStream {
+    on(event: "data", listener: (chunk: Buffer | string) => void): unknown;
+    on(event: "end", listener: () => void): unknown;
+    on(event: "error", listener: (error: Error) => void): unknown;
+    resume(): void;
+}
+interface McpOutputStream {
+    write(chunk: string | Buffer): boolean;
+}
+export declare function runVoratiqMcpStdioServer(options?: RunVoratiqMcpStdioServerOptions): Promise<void>;
+export { createEntrypointCliTarget, resolveVoratiqCliTarget };
+export declare function createDefaultCliJsonContractInvoker(target?: VoratiqCliTarget): InvokeCliJsonContract;