@lemmaoracle/mcp 0.0.2

package/README.ja.md

@@ -0,0 +1,64 @@
+# `@lemmaoracle/mcp`
+
+`@lemmaoracle/mcp` は Lemma の検証済み属性 (verified attributes) にアクセスするための MCP (Model Context Protocol) サーバーです。
+
+## Claude Desktop 設定例
+
+```json
+{
+  "mcpServers": {
+    "lemma": {
+      "command": "npx",
+      "args": ["-y", "@lemmaoracle/mcp"],
+      "env": {
+        "LEMMA_API_KEY": "YOUR_API_KEY"
+      }
+    }
+  }
+}
+```
+
+補足: `LEMMA_API_BASE` は省略可能です（省略時は本番エンドポイント）。
+
+## ツール一覧
+
+| ツール | フェーズ | 説明 |
+|---|---|---|
+| `lemma_query_verified_attributes` | MVP | Lemma Oracle から暗号学的に検証された属性を問い合わせる |
+| `lemma_get_schema` | MVP | ID からスキーマのメタデータを取得する |
+| `lemma_get_circuit` | MVP | ID から ZK 回路のメタデータを取得する |
+| `lemma_get_generator` | MVP | ID からドキュメントジェネレータのメタデータを取得する |
+| `lemma_get_proof_status` | MVP | `verificationId` から proof の検証状態を取得する |
+| `lemma_register_document` | Phase 2 | Lemma に新しいドキュメントを登録する |
+| `lemma_submit_proof` | Phase 2 | 検証用の ZK proof を送信する |
+
+書き込み系ツール（`register_document`, `submit_proof`）は Phase 2 です。
+
+## ローカル開発
+
+npm に公開されるまでは、このモノレポからローカルビルドで動かしてください。
+
+```bash
+git clone https://github.com/lemmaoracle/lemma.git
+cd lemma
+pnpm install
+pnpm -F @lemmaoracle/mcp build
+```
+
+`bin` エントリは `packages/mcp/dist/index.js` を出力します。Claude Desktop からは絶対パスで指定してください:
+
+```json
+{
+  "mcpServers": {
+    "lemma": {
+      "command": "node",
+      "args": ["/absolute/path/to/lemma/packages/mcp/dist/index.js"],
+      "env": {
+        "LEMMA_API_KEY": "YOUR_API_KEY"
+      }
+    }
+  }
+}
+```
+
+変更したあとは `pnpm -F @lemmaoracle/mcp build` で再ビルドし、Claude Desktop を再起動して接続し直してください。本番以外のエンドポイントに向ける場合は `env` に `"LEMMA_API_BASE": "https://..."` を追加してください。

package/README.md

@@ -0,0 +1,72 @@
+# `@lemmaoracle/mcp`
+
+`@lemmaoracle/mcp` is the MCP access layer for Lemma verified attributes.
+
+## Claude Desktop config example
+
+```json
+{
+  "mcpServers": {
+    "lemma": {
+      "command": "npx",
+      "args": ["-y", "@lemmaoracle/mcp"],
+      "env": {
+        "LEMMA_API_KEY": "YOUR_API_KEY"
+      }
+    }
+  }
+}
+```
+
+Note: `LEMMA_API_BASE` can be omitted (defaults to production endpoint).
+
+## Tool list
+
+| Tool | Phase | Description |
+|---|---|---|
+| `lemma_query_verified_attributes` | MVP | Query cryptographically verified attributes from Lemma Oracle |
+| `lemma_get_schema` | MVP | Retrieve schema metadata by ID |
+| `lemma_get_circuit` | MVP | Retrieve ZK circuit metadata by ID |
+| `lemma_get_generator` | MVP | Retrieve document generator metadata by ID |
+| `lemma_get_proof_status` | MVP | Get the verification status of a proof by its verificationId |
+| `lemma_register_document` | Phase 2 | Register a new document on Lemma |
+| `lemma_submit_proof` | Phase 2 | Submit a ZK proof for verification |
+
+Note that write tools (`register_document`, `submit_proof`) are Phase 2.
+
+## Local development
+
+Until this package is published to npm, run it from a local build of this
+monorepo.
+
+```bash
+git clone https://github.com/lemmaoracle/lemma.git
+cd lemma
+pnpm install
+pnpm -F @lemmaoracle/mcp build
+```
+
+The `bin` entry produces `packages/mcp/dist/index.js`. Point Claude Desktop
+at the absolute path:
+
+```json
+{
+  "mcpServers": {
+    "lemma": {
+      "command": "node",
+      "args": ["/absolute/path/to/lemma/packages/mcp/dist/index.js"],
+      "env": {
+        "LEMMA_API_KEY": "YOUR_API_KEY"
+      }
+    }
+  }
+}
+```
+
+Rebuild after changes with `pnpm -F @lemmaoracle/mcp build` and restart
+Claude Desktop to reconnect. To point at a non-production API, add
+`"LEMMA_API_BASE": "https://..."` to `env`.
+
+---
+
+🇯🇵 [日本語版はこちら / Japanese README](./README.ja.md)

package/dist/client.d.ts

@@ -0,0 +1,7 @@
+export declare const buildClient: (_void?: undefined) => Readonly<{
+    apiBase: string;
+    apiKey?: string;
+    defaultChainId?: number;
+    fetcher?: typeof fetch;
+}>;
+//# sourceMappingURL=client.d.ts.map

package/dist/client.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.d.ts","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,WAAW,GAAI,QAAQ,SAAS;;;;;EAOzC,CAAC"}

package/dist/client.js

@@ -0,0 +1,9 @@
+import { create } from "@lemmaoracle/sdk/client";
+export const buildClient = (_void) => create({
+    ...(process.env.LEMMA_API_BASE ? { apiBase: process.env.LEMMA_API_BASE } : {}),
+    ...(process.env.LEMMA_API_KEY ? { apiKey: process.env.LEMMA_API_KEY } : {}),
+    ...(process.env.LEMMA_DEFAULT_CHAIN_ID
+        ? { defaultChainId: Number(process.env.LEMMA_DEFAULT_CHAIN_ID) }
+        : {}),
+});
+//# sourceMappingURL=client.js.map

package/dist/client.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.js","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAEjD,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAiB,EAAE,EAAE,CAC/C,MAAM,CAAC;IACL,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9E,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,sBAAsB;QACpC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,EAAE;QAChE,CAAC,CAAC,EAAE,CAAC;CACR,CAAC,CAAC"}

package/dist/client.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=client.test.d.ts.map

package/dist/client.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.test.d.ts","sourceRoot":"","sources":["../src/client.test.ts"],"names":[],"mappings":""}

package/dist/client.test.js

@@ -0,0 +1,10 @@
+import { describe, it } from "vitest";
+// Note: Integration tests that require SDK imports are skipped due to ramda resolution issues
+// in pnpm workspace with Vite.
+describe("buildClient", () => {
+    it.todo("returns client with default apiBase when no env vars are set");
+    it.todo("uses LEMMA_API_BASE when provided");
+    it.todo("uses LEMMA_API_KEY when provided");
+    it.todo("parses LEMMA_DEFAULT_CHAIN_ID as number");
+});
+//# sourceMappingURL=client.test.js.map

package/dist/client.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.test.js","sourceRoot":"","sources":["../src/client.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAEtC,8FAA8F;AAC9F,+BAA+B;AAE/B,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,IAAI,CAAC,8DAA8D,CAAC,CAAC;IACxE,EAAE,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAC7C,EAAE,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAC5C,EAAE,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC"}

package/dist/errors.d.ts

@@ -0,0 +1,21 @@
+export type LemmaMcpError = {
+    readonly code: "invalid_input";
+    readonly message: string;
+} | {
+    readonly code: "auth_error";
+    readonly message: string;
+} | {
+    readonly code: "rate_limited";
+    readonly message: string;
+} | {
+    readonly code: "upstream_error";
+    readonly message: string;
+};
+export declare const normalizeError: (error: unknown) => LemmaMcpError;
+export declare const runTool: <T>(promise: Promise<T>) => Promise<{
+    content: Array<{
+        type: "text";
+        text: string;
+    }>;
+}>;
+//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAC5D;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAgBlE,eAAO,MAAM,cAAc,GAAI,OAAO,OAAO,KAAG,aAM/C,CAAC;AAEF,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,SAAS,OAAO,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC;IAAE,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAAE,CAIxG,CAAC"}

package/dist/errors.js

@@ -0,0 +1,19 @@
+const parseStatusFromMessage = (message) => {
+    const match = message.match(/HTTP (\d{3}):/);
+    return match ? Number(match[1]) : undefined;
+};
+const statusToCode = (status) => status === 400 || status === 422
+    ? "invalid_input"
+    : status === 401 || status === 403
+        ? "auth_error"
+        : status === 429
+            ? "rate_limited"
+            : "upstream_error";
+export const normalizeError = (error) => {
+    const message = error instanceof Error ? error.message : String(error);
+    const status = parseStatusFromMessage(message);
+    const code = status !== undefined ? statusToCode(status) : "upstream_error";
+    return { code, message };
+};
+export const runTool = (promise) => promise.then((result) => ({ content: [{ type: "text", text: JSON.stringify(result ?? null, null, 2) }] }), (error) => ({ content: [{ type: "text", text: JSON.stringify({ error: normalizeError(error) }, null, 2) }] }));
+//# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAMA,MAAM,sBAAsB,GAAG,CAAC,OAAe,EAAsB,EAAE;IACrE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC7C,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,MAAc,EAAyB,EAAE,CAC7D,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG;IAC9B,CAAC,CAAC,eAAe;IACjB,CAAC,CAAC,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG;QAChC,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,MAAM,KAAK,GAAG;YACd,CAAC,CAAC,cAAc;YAChB,CAAC,CAAC,gBAAgB,CAAC;AAE3B,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAc,EAAiB,EAAE;IAC9D,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC;IAE5E,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,OAAmB,EAA+D,EAAE,CAC7G,OAAO,CAAC,IAAI,CACV,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC5F,CAAC,KAAc,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CACvH,CAAC"}

package/dist/errors.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=errors.test.d.ts.map

package/dist/errors.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.test.d.ts","sourceRoot":"","sources":["../src/errors.test.ts"],"names":[],"mappings":""}

package/dist/errors.test.js

@@ -0,0 +1,34 @@
+import { describe, it, expect } from "vitest";
+import { normalizeError } from "./errors.js";
+describe("normalizeError", () => {
+    it('maps HTTP 400 to "invalid_input"', () => {
+        const result = normalizeError(new Error("HTTP 400: bad request"));
+        expect(result.code).toBe("invalid_input");
+    });
+    it('maps HTTP 422 to "invalid_input"', () => {
+        const result = normalizeError(new Error("HTTP 422: validation failed"));
+        expect(result.code).toBe("invalid_input");
+    });
+    it('maps HTTP 401 to "auth_error"', () => {
+        const result = normalizeError(new Error("HTTP 401: unauthorized"));
+        expect(result.code).toBe("auth_error");
+    });
+    it('maps HTTP 403 to "auth_error"', () => {
+        const result = normalizeError(new Error("HTTP 403: forbidden"));
+        expect(result.code).toBe("auth_error");
+    });
+    it('maps HTTP 429 to "rate_limited"', () => {
+        const result = normalizeError(new Error("HTTP 429: too many requests"));
+        expect(result.code).toBe("rate_limited");
+    });
+    it('maps unknown HTTP status to "upstream_error"', () => {
+        const result = normalizeError(new Error("HTTP 500: server error"));
+        expect(result.code).toBe("upstream_error");
+    });
+    it('maps non-Error values to "upstream_error"', () => {
+        const result = normalizeError("something went wrong");
+        expect(result.code).toBe("upstream_error");
+        expect(result.message).toBe("something went wrong");
+    });
+});
+//# sourceMappingURL=errors.test.js.map

package/dist/errors.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.test.js","sourceRoot":"","sources":["../src/errors.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC,CAAC;QAClE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC,CAAC;QACxE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC,CAAC;QACnE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC,CAAC;QACxE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC,CAAC;QACnE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAG,cAAc,CAAC,sBAAsB,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":""}

package/dist/index.js

@@ -0,0 +1,13 @@
+#!/usr/bin/env node
+import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js";
+import { createLemmaMcpServer } from "./server.js";
+const server = createLemmaMcpServer({
+    apiBase: process.env.LEMMA_API_BASE,
+    apiKey: process.env.LEMMA_API_KEY,
+    defaultChainId: process.env.LEMMA_DEFAULT_CHAIN_ID
+        ? Number(process.env.LEMMA_DEFAULT_CHAIN_ID)
+        : undefined,
+});
+const transport = new StdioServerTransport();
+server.connect(transport).catch((_error) => process.exit(1));
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAEA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAEnD,MAAM,MAAM,GAAG,oBAAoB,CAAC;IAClC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,cAAc;IACnC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,aAAa;IACjC,cAAc,EAAE,OAAO,CAAC,GAAG,CAAC,sBAAsB;QAChD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC;QAC5C,CAAC,CAAC,SAAS;CACd,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,IAAI,oBAAoB,EAAE,CAAC;AAC7C,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,MAAe,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/isVerified.d.ts

@@ -0,0 +1,2 @@
+export declare const isVerified: (status?: string) => boolean;
+//# sourceMappingURL=isVerified.d.ts.map

package/dist/isVerified.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"isVerified.d.ts","sourceRoot":"","sources":["../src/isVerified.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,UAAU,GAAI,SAAS,MAAM,KAAG,OACW,CAAC"}

package/dist/isVerified.js

@@ -0,0 +1,2 @@
+export const isVerified = (status) => status === "verified" || status === "onchain-verified";
+//# sourceMappingURL=isVerified.js.map

package/dist/isVerified.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"isVerified.js","sourceRoot":"","sources":["../src/isVerified.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAe,EAAW,EAAE,CACrD,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,kBAAkB,CAAC"}

package/dist/isVerified.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=isVerified.test.d.ts.map

package/dist/isVerified.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"isVerified.test.d.ts","sourceRoot":"","sources":["../src/isVerified.test.ts"],"names":[],"mappings":""}

package/dist/isVerified.test.js

@@ -0,0 +1,27 @@
+import { describe, it, expect } from "vitest";
+import { isVerified } from "./isVerified.js";
+describe("isVerified", () => {
+    it("returns true for 'verified' status", () => {
+        expect(isVerified("verified")).toBe(true);
+    });
+    it("returns true for 'onchain-verified' status", () => {
+        expect(isVerified("onchain-verified")).toBe(true);
+    });
+    it("returns false for 'rejected' status", () => {
+        expect(isVerified("rejected")).toBe(false);
+    });
+    it("returns false for 'received' status", () => {
+        expect(isVerified("received")).toBe(false);
+    });
+    it("returns false for undefined", () => {
+        expect(isVerified(undefined)).toBe(false);
+    });
+    it("returns false for empty string", () => {
+        expect(isVerified("")).toBe(false);
+    });
+    it("returns false for any other string", () => {
+        expect(isVerified("pending")).toBe(false);
+        expect(isVerified("verifying")).toBe(false);
+    });
+});
+//# sourceMappingURL=isVerified.test.js.map

package/dist/isVerified.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"isVerified.test.js","sourceRoot":"","sources":["../src/isVerified.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/server.d.ts

@@ -0,0 +1,8 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+export type LemmaMcpServerConfig = Readonly<{
+    apiBase?: string;
+    apiKey?: string;
+    defaultChainId?: number;
+}>;
+export declare const createLemmaMcpServer: (config: LemmaMcpServerConfig) => McpServer;
+//# sourceMappingURL=server.d.ts.map

package/dist/server.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AASpE,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC,CAAC;AAEH,eAAO,MAAM,oBAAoB,GAAI,QAAQ,oBAAoB,KAAG,SAyBnE,CAAC"}

package/dist/server.js

@@ -0,0 +1,31 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import { create } from "@lemmaoracle/sdk/client";
+import { queryVerifiedAttributesTool } from "./tools/query-verified-attributes.js";
+import { getSchemaTool } from "./tools/get-schema.js";
+import { getCircuitTool } from "./tools/get-circuit.js";
+import { getGeneratorTool } from "./tools/get-generator.js";
+import { getProofStatusTool } from "./tools/get-proof-status.js";
+export const createLemmaMcpServer = (config) => {
+    const client = create({
+        ...(config.apiBase !== undefined ? { apiBase: config.apiBase } : {}),
+        ...(config.apiKey !== undefined ? { apiKey: config.apiKey } : {}),
+        ...(config.defaultChainId !== undefined ? { defaultChainId: config.defaultChainId } : {}),
+    });
+    const server = new McpServer({
+        name: "@lemmaoracle/mcp",
+        version: "0.0.1",
+    });
+    // Tool registration is inherently side-effecting; disable FP lint for this boundary.
+    // eslint-disable-next-line functional/no-expression-statements
+    queryVerifiedAttributesTool(server, client);
+    // eslint-disable-next-line functional/no-expression-statements
+    getSchemaTool(server, client);
+    // eslint-disable-next-line functional/no-expression-statements
+    getCircuitTool(server, client);
+    // eslint-disable-next-line functional/no-expression-statements
+    getGeneratorTool(server, client);
+    // eslint-disable-next-line functional/no-expression-statements
+    getProofStatusTool(server, client);
+    return server;
+};
+//# sourceMappingURL=server.js.map

package/dist/server.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.js","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAEjD,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AAQjE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,MAA4B,EAAa,EAAE;IAC9E,MAAM,MAAM,GAAgB,MAAM,CAAC;QACjC,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,GAAG,CAAC,MAAM,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1F,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC;QAC3B,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,OAAO;KACjB,CAAC,CAAC;IAEH,qFAAqF;IACrF,+DAA+D;IAC/D,2BAA2B,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,+DAA+D;IAC/D,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,+DAA+D;IAC/D,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,+DAA+D;IAC/D,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,+DAA+D;IAC/D,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAEnC,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC"}

package/dist/tools/get-circuit.d.ts

@@ -0,0 +1,9 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import type { RegisteredTool } from "@modelcontextprotocol/sdk/server/mcp.js";
+import type { LemmaClient, CircuitMeta } from "@lemmaoracle/spec";
+export type GetCircuitInput = Readonly<{
+    id: string;
+}>;
+export declare const getCircuit: (client: LemmaClient, input: GetCircuitInput) => Promise<CircuitMeta>;
+export declare const getCircuitTool: (server: McpServer, client: LemmaClient) => RegisteredTool;
+//# sourceMappingURL=get-circuit.d.ts.map

package/dist/tools/get-circuit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-circuit.d.ts","sourceRoot":"","sources":["../../src/tools/get-circuit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AAG9E,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGlE,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAEvD,eAAO,MAAM,UAAU,GAAI,QAAQ,WAAW,EAAE,OAAO,eAAe,KAAG,OAAO,CAAC,WAAW,CACxD,CAAC;AAErC,eAAO,MAAM,cAAc,GAAI,QAAQ,SAAS,EAAE,QAAQ,WAAW,KAAG,cAQrE,CAAC"}

package/dist/tools/get-circuit.js

@@ -0,0 +1,9 @@
+import { z } from "zod";
+import * as circuits from "@lemmaoracle/sdk/circuits";
+import { runTool } from "../errors.js";
+export const getCircuit = (client, input) => circuits.getById(client, input.id);
+export const getCircuitTool = (server, client) => server.registerTool("lemma_get_circuit", {
+    description: "Retrieve ZK circuit metadata by ID.",
+    inputSchema: { id: z.string() },
+}, (input) => runTool(getCircuit(client, input)));
+//# sourceMappingURL=get-circuit.js.map

package/dist/tools/get-circuit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-circuit.js","sourceRoot":"","sources":["../../src/tools/get-circuit.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,QAAQ,MAAM,2BAA2B,CAAC;AAEtD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAIvC,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAmB,EAAE,KAAsB,EAAwB,EAAE,CAC9F,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;AAErC,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,MAAiB,EAAE,MAAmB,EAAkB,EAAE,CACvF,MAAM,CAAC,YAAY,CACjB,mBAAmB,EACnB;IACE,WAAW,EAAE,qCAAqC;IAClD,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;CAChC,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAC9C,CAAC"}

package/dist/tools/get-generator.d.ts

@@ -0,0 +1,9 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import type { RegisteredTool } from "@modelcontextprotocol/sdk/server/mcp.js";
+import type { LemmaClient, GeneratorMeta } from "@lemmaoracle/spec";
+export type GetGeneratorInput = Readonly<{
+    id: string;
+}>;
+export declare const getGenerator: (client: LemmaClient, input: GetGeneratorInput) => Promise<GeneratorMeta>;
+export declare const getGeneratorTool: (server: McpServer, client: LemmaClient) => RegisteredTool;
+//# sourceMappingURL=get-generator.d.ts.map

package/dist/tools/get-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-generator.d.ts","sourceRoot":"","sources":["../../src/tools/get-generator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AAG9E,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGpE,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAEzD,eAAO,MAAM,YAAY,GAAI,QAAQ,WAAW,EAAE,OAAO,iBAAiB,KAAG,OAAO,CAAC,aAAa,CAC5D,CAAC;AAEvC,eAAO,MAAM,gBAAgB,GAAI,QAAQ,SAAS,EAAE,QAAQ,WAAW,KAAG,cAQvE,CAAC"}

package/dist/tools/get-generator.js

@@ -0,0 +1,9 @@
+import { z } from "zod";
+import * as generators from "@lemmaoracle/sdk/generators";
+import { runTool } from "../errors.js";
+export const getGenerator = (client, input) => generators.getById(client, input.id);
+export const getGeneratorTool = (server, client) => server.registerTool("lemma_get_generator", {
+    description: "Retrieve document generator metadata by ID.",
+    inputSchema: { id: z.string() },
+}, (input) => runTool(getGenerator(client, input)));
+//# sourceMappingURL=get-generator.js.map

package/dist/tools/get-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-generator.js","sourceRoot":"","sources":["../../src/tools/get-generator.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,UAAU,MAAM,6BAA6B,CAAC;AAE1D,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAIvC,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAmB,EAAE,KAAwB,EAA0B,EAAE,CACpG,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;AAEvC,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAiB,EAAE,MAAmB,EAAkB,EAAE,CACzF,MAAM,CAAC,YAAY,CACjB,qBAAqB,EACrB;IACE,WAAW,EAAE,6CAA6C;IAC1D,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;CAChC,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAChD,CAAC"}

package/dist/tools/get-proof-status.d.ts

@@ -0,0 +1,22 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import type { RegisteredTool } from "@modelcontextprotocol/sdk/server/mcp.js";
+import type { LemmaClient } from "@lemmaoracle/spec";
+export type GetProofStatusInput = Readonly<{
+    verificationId: string;
+}>;
+export type ProofStatusResult = Readonly<{
+    status?: string;
+    circuitId?: string;
+    chainId?: number;
+    docHash?: string;
+}>;
+/**
+ * Get the verification status of a proof by its verificationId.
+ *
+ * The SDK `proofs` namespace only exposes `submit`; there is no dedicated status endpoint.
+ * Fallback: query `attributes.query` filtered by docHash and extract `proof.status`.
+ * Since the verificationId is returned by proofs.submit, we treat it as a docHash filter.
+ */
+export declare const getProofStatus: (client: LemmaClient, input: GetProofStatusInput) => Promise<ProofStatusResult | undefined>;
+export declare const getProofStatusTool: (server: McpServer, client: LemmaClient) => RegisteredTool;
+//# sourceMappingURL=get-proof-status.d.ts.map

package/dist/tools/get-proof-status.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-proof-status.d.ts","sourceRoot":"","sources":["../../src/tools/get-proof-status.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AAG9E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGrD,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IAAE,cAAc,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAEvE,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,GACzB,QAAQ,WAAW,EACnB,OAAO,mBAAmB,KACzB,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAgBvC,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAAI,QAAQ,SAAS,EAAE,QAAQ,WAAW,KAAG,cAQzE,CAAC"}

package/dist/tools/get-proof-status.js

@@ -0,0 +1,30 @@
+import { z } from "zod";
+import * as attributes from "@lemmaoracle/sdk/attributes";
+import { runTool } from "../errors.js";
+/**
+ * Get the verification status of a proof by its verificationId.
+ *
+ * The SDK `proofs` namespace only exposes `submit`; there is no dedicated status endpoint.
+ * Fallback: query `attributes.query` filtered by docHash and extract `proof.status`.
+ * Since the verificationId is returned by proofs.submit, we treat it as a docHash filter.
+ */
+export const getProofStatus = async (client, input) => {
+    const response = await attributes.query(client, {
+        attributes: [],
+        docHash: input.verificationId,
+    });
+    const first = response.results[0];
+    return first
+        ? {
+            status: first.proof?.status,
+            circuitId: first.proof?.circuitId,
+            chainId: first.proof?.chainId ?? first.chainId,
+            docHash: first.docHash,
+        }
+        : undefined;
+};
+export const getProofStatusTool = (server, client) => server.registerTool("lemma_get_proof_status", {
+    description: "Get the verification status of a proof by its verificationId. Proof states: received → verifying → verified → onchain-verifying → onchain-verified | rejected",
+    inputSchema: { verificationId: z.string() },
+}, (input) => runTool(getProofStatus(client, input)));
+//# sourceMappingURL=get-proof-status.js.map

package/dist/tools/get-proof-status.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-proof-status.js","sourceRoot":"","sources":["../../src/tools/get-proof-status.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,UAAU,MAAM,6BAA6B,CAAC;AAE1D,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAWvC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,EACjC,MAAmB,EACnB,KAA0B,EACc,EAAE;IAC1C,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE;QAC9C,UAAU,EAAE,EAAE;QACd,OAAO,EAAE,KAAK,CAAC,cAAc;KAC9B,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAElC,OAAO,KAAK;QACV,CAAC,CAAC;YACE,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM;YAC3B,SAAS,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS;YACjC,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,IAAI,KAAK,CAAC,OAAO;YAC9C,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB;QACH,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,MAAiB,EAAE,MAAmB,EAAkB,EAAE,CAC3F,MAAM,CAAC,YAAY,CACjB,wBAAwB,EACxB;IACE,WAAW,EAAE,+JAA+J;IAC5K,WAAW,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;CAC5C,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAClD,CAAC"}

package/dist/tools/get-proof-status.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=get-proof-status.test.d.ts.map

package/dist/tools/get-proof-status.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-proof-status.test.d.ts","sourceRoot":"","sources":["../../src/tools/get-proof-status.test.ts"],"names":[],"mappings":""}

package/dist/tools/get-proof-status.test.js

@@ -0,0 +1,9 @@
+import { describe, it } from "vitest";
+// Note: Integration tests that require SDK imports are skipped due to ramda resolution issues
+// in pnpm workspace with Vite. See isVerified.test.ts for the core logic tests.
+describe("getProofStatus module", () => {
+    it.todo("exports getProofStatus function");
+    it.todo("returns proof status from first result");
+    it.todo("returns undefined when no results match");
+});
+//# sourceMappingURL=get-proof-status.test.js.map

package/dist/tools/get-proof-status.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-proof-status.test.js","sourceRoot":"","sources":["../../src/tools/get-proof-status.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAEtC,8FAA8F;AAC9F,gFAAgF;AAEhF,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC3C,EAAE,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IAClD,EAAE,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC"}

package/dist/tools/get-schema.d.ts

@@ -0,0 +1,9 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import type { RegisteredTool } from "@modelcontextprotocol/sdk/server/mcp.js";
+import type { LemmaClient, SchemaMeta } from "@lemmaoracle/spec";
+export type GetSchemaInput = Readonly<{
+    id: string;
+}>;
+export declare const getSchema: (client: LemmaClient, input: GetSchemaInput) => Promise<SchemaMeta>;
+export declare const getSchemaTool: (server: McpServer, client: LemmaClient) => RegisteredTool;
+//# sourceMappingURL=get-schema.d.ts.map

package/dist/tools/get-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-schema.d.ts","sourceRoot":"","sources":["../../src/tools/get-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AAG9E,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGjE,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAEtD,eAAO,MAAM,SAAS,GAAI,QAAQ,WAAW,EAAE,OAAO,cAAc,KAAG,OAAO,CAAC,UAAU,CACtD,CAAC;AAEpC,eAAO,MAAM,aAAa,GAAI,QAAQ,SAAS,EAAE,QAAQ,WAAW,KAAG,cAQpE,CAAC"}

package/dist/tools/get-schema.js

@@ -0,0 +1,9 @@
+import { z } from "zod";
+import * as schemas from "@lemmaoracle/sdk/schemas";
+import { runTool } from "../errors.js";
+export const getSchema = (client, input) => schemas.getById(client, input.id);
+export const getSchemaTool = (server, client) => server.registerTool("lemma_get_schema", {
+    description: "Retrieve schema metadata by ID, including normalize WASM artifact location and hash.",
+    inputSchema: { id: z.string() },
+}, (input) => runTool(getSchema(client, input)));
+//# sourceMappingURL=get-schema.js.map

package/dist/tools/get-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-schema.js","sourceRoot":"","sources":["../../src/tools/get-schema.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,OAAO,MAAM,0BAA0B,CAAC;AAEpD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAIvC,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAmB,EAAE,KAAqB,EAAuB,EAAE,CAC3F,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;AAEpC,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAiB,EAAE,MAAmB,EAAkB,EAAE,CACtF,MAAM,CAAC,YAAY,CACjB,kBAAkB,EAClB;IACE,WAAW,EAAE,sFAAsF;IACnG,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;CAChC,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAC7C,CAAC"}

package/dist/tools/query-verified-attributes.d.ts

@@ -0,0 +1,34 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import type { RegisteredTool } from "@modelcontextprotocol/sdk/server/mcp.js";
+import type { LemmaClient } from "@lemmaoracle/spec";
+export type QueryVerifiedAttributesInput = Readonly<{
+    attributes?: ReadonlyArray<Readonly<{
+        name: string;
+        operator?: "eq" | "neq" | "gt" | "lt";
+        value?: unknown;
+    }>>;
+    schemas?: ReadonlyArray<string>;
+    chainIds?: ReadonlyArray<number>;
+    limit?: number;
+    offset?: number;
+}>;
+export declare const queryVerifiedAttributes: (client: LemmaClient, input: QueryVerifiedAttributesInput) => Promise<Readonly<{
+    results: ReadonlyArray<{
+        docHash: string;
+        schema: string;
+        issuerId: string;
+        subjectId: string;
+        chainId?: number;
+        attributes: Readonly<Record<string, unknown>>;
+        isVerified: boolean;
+        proof: Readonly<{
+            status?: string;
+            circuitId?: string;
+            chainId?: number;
+        } & Record<string, unknown>> | undefined;
+        disclosure: unknown;
+    }>;
+    hasMore: boolean;
+}>>;
+export declare const queryVerifiedAttributesTool: (server: McpServer, client: LemmaClient) => RegisteredTool;
+//# sourceMappingURL=query-verified-attributes.d.ts.map

package/dist/tools/query-verified-attributes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-verified-attributes.d.ts","sourceRoot":"","sources":["../../src/tools/query-verified-attributes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AAI9E,OAAO,KAAK,EACV,WAAW,EAEZ,MAAM,mBAAmB,CAAC;AA+B3B,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAClD,UAAU,CAAC,EAAE,aAAa,CAAC,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC;QAAC,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC,CAAC;IAC/G,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAChC,QAAQ,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACjC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC,CAAC;AAcH,eAAO,MAAM,uBAAuB,GAClC,QAAQ,WAAW,EACnB,OAAO,4BAA4B,KAClC,OAAO,CAAC,QAAQ,CAAC;IAClB,OAAO,EAAE,aAAa,CAAC;QACrB,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,QAAQ,EAAE,MAAM,CAAC;QACjB,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC9C,UAAU,EAAE,OAAO,CAAC;QACpB,KAAK,EAAE,QAAQ,CAAC;YAAE,MAAM,CAAC,EAAE,MAAM,CAAC;YAAC,SAAS,CAAC,EAAE,MAAM,CAAC;YAAC,OAAO,CAAC,EAAE,MAAM,CAAA;SAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC;QACjH,UAAU,EAAE,OAAO,CAAC;KACrB,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC,CAQD,CAAC;AAEF,eAAO,MAAM,2BAA2B,GAAI,QAAQ,SAAS,EAAE,QAAQ,WAAW,KAAG,cAkBlF,CAAC"}

package/dist/tools/query-verified-attributes.js

@@ -0,0 +1,44 @@
+import { z } from "zod";
+import * as R from "ramda";
+import * as attributes from "@lemmaoracle/sdk/attributes";
+import { isVerified } from "../isVerified.js";
+import { runTool } from "../errors.js";
+const enrichItem = (item) => ({
+    ...item,
+    isVerified: isVerified(item.proof?.status),
+    proof: item.proof,
+    disclosure: item.disclosure,
+});
+const buildRequest = (input) => ({
+    attributes: (input.attributes ?? []).map((attr) => ({
+        name: attr.name,
+        operator: attr.operator,
+        value: attr.value ?? null,
+    })),
+    ...(R.isEmpty(input.schemas ?? []) ? {} : { targets: { schemas: input.schemas, chainIds: input.chainIds } }),
+    ...(input.limit !== undefined ? { limit: Math.min(Math.max(input.limit, 1), 200) } : {}),
+    ...(input.offset !== undefined ? { offset: Math.max(input.offset, 0) } : {}),
+});
+export const queryVerifiedAttributes = async (client, input) => {
+    const request = buildRequest(input);
+    const response = await attributes.query(client, request);
+    return {
+        results: response.results.map(enrichItem),
+        hasMore: response.hasMore,
+    };
+};
+export const queryVerifiedAttributesTool = (server, client) => server.registerTool("lemma_query_verified_attributes", {
+    description: "Query cryptographically verified attributes from Lemma Oracle. Returns verified attributes with proof status and selective disclosure info.",
+    inputSchema: {
+        attributes: z.array(z.object({
+            name: z.string(),
+            operator: z.enum(["eq", "neq", "gt", "lt"]).optional(),
+            value: z.unknown(),
+        })).optional(),
+        schemas: z.array(z.string()).optional(),
+        chainIds: z.array(z.number()).optional(),
+        limit: z.number().min(1).max(200).optional(),
+        offset: z.number().min(0).optional(),
+    },
+}, (input) => runTool(queryVerifiedAttributes(client, input)));
+//# sourceMappingURL=query-verified-attributes.js.map

package/dist/tools/query-verified-attributes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-verified-attributes.js","sourceRoot":"","sources":["../../src/tools/query-verified-attributes.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,CAAC,MAAM,OAAO,CAAC;AAC3B,OAAO,KAAK,UAAU,MAAM,6BAA6B,CAAC;AAK1D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,MAAM,UAAU,GAAG,CAAC,IASlB,EAUC,EAAE,CACH,CAAC;IACC,GAAG,IAAI;IACP,UAAU,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC;IAC1C,KAAK,EAAE,IAAI,CAAC,KAAK;IACjB,UAAU,EAAE,IAAI,CAAC,UAAU;CAC5B,CAAC,CAAC;AAUL,MAAM,YAAY,GAAG,CAAC,KAAmC,EAAkC,EAAE,CAC3F,CAAC;IACC,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,IAAI;KAC1B,CAAC,CAAC;IACH,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC;IAC5G,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAC7E,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,uBAAuB,GAAG,KAAK,EAC1C,MAAmB,EACnB,KAAmC,EAcjC,EAAE;IACJ,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEzD,OAAO;QACL,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;QACzC,OAAO,EAAE,QAAQ,CAAC,OAAO;KAC1B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,MAAiB,EAAE,MAAmB,EAAkB,EAAE,CACpG,MAAM,CAAC,YAAY,CACjB,iCAAiC,EACjC;IACE,WAAW,EAAE,6IAA6I;IAC1J,WAAW,EAAE;QACX,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;YAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;YAChB,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE;YACtD,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;SACnB,CAAC,CAAC,CAAC,QAAQ,EAAE;QACd,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;QACvC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;QACxC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;QAC5C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KACrC;CACF,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAC3D,CAAC"}

package/dist/tools/register-document.d.ts

@@ -0,0 +1 @@
+//# sourceMappingURL=register-document.d.ts.map

package/dist/tools/register-document.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"register-document.d.ts","sourceRoot":"","sources":["../../src/tools/register-document.ts"],"names":[],"mappings":""}

package/dist/tools/register-document.js

@@ -0,0 +1,6 @@
+"use strict";
+// TODO: Phase 2 — implement lemma_register_document tool
+// This tool wraps `documents.register(client, payload)` from @lemmaoracle/sdk.
+// It requires a RegisterDocumentRequest payload with schema, docHash, cid, issuerId,
+// subjectId, commitments, revocation, and optional attributes, signature, hooks.
+//# sourceMappingURL=register-document.js.map

package/dist/tools/register-document.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"register-document.js","sourceRoot":"","sources":["../../src/tools/register-document.ts"],"names":[],"mappings":";AAAA,yDAAyD;AACzD,+EAA+E;AAC/E,qFAAqF;AACrF,iFAAiF"}

package/dist/tools/submit-proof.d.ts

@@ -0,0 +1 @@
+//# sourceMappingURL=submit-proof.d.ts.map

package/dist/tools/submit-proof.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"submit-proof.d.ts","sourceRoot":"","sources":["../../src/tools/submit-proof.ts"],"names":[],"mappings":""}

package/dist/tools/submit-proof.js

@@ -0,0 +1,6 @@
+"use strict";
+// TODO: Phase 2 — implement lemma_submit_proof tool
+// This tool wraps `proofs.submit(client, payload)` from @lemmaoracle/sdk.
+// It requires a SubmitProofRequest payload with docHash, circuitId, proof, inputs,
+// and optional chainId, disclosure, onchain flags.
+//# sourceMappingURL=submit-proof.js.map

package/dist/tools/submit-proof.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"submit-proof.js","sourceRoot":"","sources":["../../src/tools/submit-proof.ts"],"names":[],"mappings":";AAAA,oDAAoD;AACpD,0EAA0E;AAC1E,mFAAmF;AACnF,mDAAmD"}

package/dist/worker/index.d.ts

@@ -0,0 +1,9 @@
+export interface Env {
+    readonly LEMMA_API_BASE?: string;
+    readonly LEMMA_DEFAULT_CHAIN_ID?: string;
+}
+declare const _default: {
+    fetch(req: Request, env: Env, ctx: ExecutionContext): Promise<Response>;
+};
+export default _default;
+//# sourceMappingURL=index.d.ts.map

package/dist/worker/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/worker/index.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,sBAAsB,CAAC,EAAE,MAAM,CAAC;CAC1C;;eAQkB,OAAO,OAAO,GAAG,OAAO,gBAAgB;;AAD3D,wBAaiC"}

package/dist/worker/index.js

@@ -0,0 +1,20 @@
+import { createMcpHandler } from "agents/mcp";
+import { createLemmaMcpServer } from "../server.js";
+const extractBearerToken = (header) => {
+    const token = header?.startsWith("Bearer ") ? header.slice(7) : undefined;
+    return token === "" ? undefined : token;
+};
+export default {
+    async fetch(req, env, ctx) {
+        const apiKey = extractBearerToken(req.headers.get("Authorization"));
+        const server = createLemmaMcpServer({
+            apiBase: env.LEMMA_API_BASE,
+            apiKey,
+            defaultChainId: env.LEMMA_DEFAULT_CHAIN_ID
+                ? Number(env.LEMMA_DEFAULT_CHAIN_ID)
+                : undefined,
+        });
+        return createMcpHandler(server)(req, env, ctx);
+    },
+};
+//# sourceMappingURL=index.js.map

package/dist/worker/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/worker/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAOpD,MAAM,kBAAkB,GAAG,CAAC,MAAqB,EAAsB,EAAE;IACvE,MAAM,KAAK,GAAG,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1E,OAAO,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;AAC1C,CAAC,CAAC;AAEF,eAAe;IACb,KAAK,CAAC,KAAK,CAAC,GAAY,EAAE,GAAQ,EAAE,GAAqB;QACvD,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC;QAEpE,MAAM,MAAM,GAAG,oBAAoB,CAAC;YAClC,OAAO,EAAE,GAAG,CAAC,cAAc;YAC3B,MAAM;YACN,cAAc,EAAE,GAAG,CAAC,sBAAsB;gBACxC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC;gBACpC,CAAC,CAAC,SAAS;SACd,CAAC,CAAC;QACH,OAAO,gBAAgB,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjD,CAAC;CAC6B,CAAC"}

package/package.json

@@ -0,0 +1,50 @@
+{
+  "name": "@lemmaoracle/mcp",
+  "version": "0.0.2",
+  "description": "MCP server for Lemma Oracle API",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "bin": {
+    "lemma-mcp": "./dist/index.js"
+  },
+  "exports": {
+    ".": {
+      "import": "./dist/server.js",
+      "types": "./dist/server.d.ts"
+    },
+    "./package.json": "./package.json"
+  },
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "build": "tsc --build",
+    "deploy": "wrangler deploy",
+    "dev": "wrangler dev",
+    "type-check": "tsc --noEmit",
+    "lint": "eslint 'src/**/*.ts'",
+    "test": "vitest run"
+  },
+  "dependencies": {
+    "@lemmaoracle/sdk": "^0.0.18",
+    "@lemmaoracle/spec": "workspace:*",
+    "@modelcontextprotocol/sdk": "^1.29.0",
+    "agents": "^0.11.4",
+    "ramda": "^0.30.1",
+    "zod": "^3.24.0"
+  },
+  "devDependencies": {
+    "@cloudflare/workers-types": "^4.20250424.0",
+    "@types/ramda": "^0.30.0",
+    "@typescript-eslint/eslint-plugin": "^8.56.1",
+    "@typescript-eslint/parser": "^8.56.1",
+    "eslint": "^9.39.3",
+    "eslint-config-prettier": "^9.1.0",
+    "eslint-plugin-functional": "^9.0.4",
+    "ramda": "^0.30.1",
+    "typescript": "^5.5.0",
+    "vitest": "^2.1.0",
+    "wrangler": "^4.14.0"
+  }
+}