@lemmaoracle/mcp 0.0.7 → 0.0.8

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -1 +1 @@
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"}
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;AAgBH,eAAO,MAAM,oBAAoB,GAAI,QAAQ,oBAAoB,KAAG,SAqBnE,CAAC"}
package/dist/server.js CHANGED
@@ -5,6 +5,8 @@ import { getSchemaTool } from "./tools/get-schema.js";
5
5
  import { getCircuitTool } from "./tools/get-circuit.js";
6
6
  import { getGeneratorTool } from "./tools/get-generator.js";
7
7
  import { getProofStatusTool } from "./tools/get-proof-status.js";
8
+ /** Register all tools on the server (side effects encapsulated at boundary). */
9
+ const registerTools = (server, client, tools) => tools.reduce((srv, register) => (register(srv, client), srv), server);
8
10
  export const createLemmaMcpServer = (config) => {
9
11
  const client = create({
10
12
  ...(config.apiBase !== undefined ? { apiBase: config.apiBase } : {}),
@@ -15,17 +17,13 @@ export const createLemmaMcpServer = (config) => {
15
17
  name: "@lemmaoracle/mcp",
16
18
  version: "0.0.1",
17
19
  });
18
- // Tool registration is inherently side-effecting; disable FP lint for this boundary.
19
- // eslint-disable-next-line functional/no-expression-statements
20
- queryVerifiedAttributesTool(server, client);
21
- // eslint-disable-next-line functional/no-expression-statements
22
- getSchemaTool(server, client);
23
- // eslint-disable-next-line functional/no-expression-statements
24
- getCircuitTool(server, client);
25
- // eslint-disable-next-line functional/no-expression-statements
26
- getGeneratorTool(server, client);
27
- // eslint-disable-next-line functional/no-expression-statements
28
- getProofStatusTool(server, client);
29
- return server;
20
+ const tools = [
21
+ queryVerifiedAttributesTool,
22
+ getSchemaTool,
23
+ getCircuitTool,
24
+ getGeneratorTool,
25
+ getProofStatusTool,
26
+ ];
27
+ return registerTools(server, client, tools);
30
28
  };
31
29
  //# sourceMappingURL=server.js.map
@@ -1 +1 @@
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"}
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;AAWjE,gFAAgF;AAChF,MAAM,aAAa,GAAG,CACpB,MAAiB,EACjB,MAAmB,EACnB,KAA8B,EACnB,EAAE,CACb,KAAK,CAAC,MAAM,CACV,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,EAC/C,MAAM,CACP,CAAC;AAEJ,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,MAAM,KAAK,GAA4B;QACrC,2BAA2B;QAC3B,aAAa;QACb,cAAc;QACd,gBAAgB;QAChB,kBAAkB;KACnB,CAAC;IAEF,OAAO,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;AAC9C,CAAC,CAAC"}
package/package.json CHANGED
@@ -1,8 +1,9 @@
1
1
  {
2
2
  "name": "@lemmaoracle/mcp",
3
- "version": "0.0.7",
3
+ "version": "0.0.8",
4
4
  "description": "MCP server for Lemma Oracle API",
5
5
  "license": "Apache-2.0",
6
+ "mcpName": "io.github.lemmaoracle/mcp",
6
7
  "repository": {
7
8
  "type": "git",
8
9
  "url": "git+https://github.com/lemmaoracle/lemma.git",