@rsconcept/rstool-mcp 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 IRBorisov and Concept Portal contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,125 @@
+# @rsconcept/rstool-mcp
+
+[Model Context Protocol](https://modelcontextprotocol.io/) adapter for [`@rsconcept/rstool`](https://www.npmjs.com/package/@rsconcept/rstool). Exposes the full `RSToolAgent` contract — sessions, constituent upserts, RSLang analysis, diagnostics, modeling, evaluation — as MCP **tools** over stdio, so any MCP-capable host (Cursor, Claude Desktop, your own client) can drive rstool natively.
+
+If you do not need MCP, use `@rsconcept/rstool` directly (library API or stdio JSON wrapper).
+
+## Install
+
+```bash
+npm install -g @rsconcept/rstool-mcp
+# or per-project:
+npm install @rsconcept/rstool-mcp
+```
+
+The package ships a `rstool-mcp` bin that launches the stdio server. It depends on `@rsconcept/rstool` and (transitively) `@rsconcept/domain`; no Portal checkout is required.
+
+## Run
+
+```bash
+npx rstool-mcp
+```
+
+The server announces readiness on stderr (`rstool-mcp server ready on stdio`) and then speaks the MCP protocol on stdin/stdout. There is no HTTP port.
+
+## Configure in Cursor
+
+Add the server to your Cursor MCP configuration (`~/.cursor/mcp.json`):
+
+```json
+{
+  "mcpServers": {
+    "rstool": {
+      "command": "npx",
+      "args": ["-y", "@rsconcept/rstool-mcp"]
+    }
+  }
+}
+```
+
+Restart Cursor; the tools appear under the **rstool** server. Pin a version if you prefer reproducible installs:
+
+```json
+{
+  "mcpServers": {
+    "rstool": {
+      "command": "npx",
+      "args": ["-y", "@rsconcept/rstool-mcp@0.1.0"]
+    }
+  }
+}
+```
+
+## Configure in Claude Desktop
+
+Edit `claude_desktop_config.json` (`~/Library/Application Support/Claude/` on macOS, `%APPDATA%\Claude\` on Windows):
+
+```json
+{
+  "mcpServers": {
+    "rstool": {
+      "command": "npx",
+      "args": ["-y", "@rsconcept/rstool-mcp"]
+    }
+  }
+}
+```
+
+## Exposed tools
+
+| MCP tool | Wraps | Notes |
+|----------|-------|-------|
+| `ping` | — | Liveness + `contractVersion`. |
+| `list_methods` | — | Enumerate available tools. |
+| `create_session` | `RSToolAgent.createSession` | Optional `initial` seed. |
+| `add_or_update_constituenta` | `addOrUpdateConstituenta` | Single upsert. |
+| `analyze_expression` | `analyzeExpression` | Parser + semantic. |
+| `get_form_state` | `getFormState` | Current `SessionState`. |
+| `list_diagnostics` | `listDiagnostics` | Filterable. |
+| `commit_step` | `commitStep` | Records a `SessionRevision`. |
+| `export_session` | `exportSession` | JSON string. |
+| `import_session` | `importSession` | Restore from JSON. |
+| `set_constituenta_value` | `setConstituentaValue` | Bind interpretable. |
+| `set_constituenta_values` | `setConstituentaValues` | Batch bindings. |
+| `clear_constituenta_values` | `clearConstituentaValues` | Reset values. |
+| `get_model_state` | `getModelState` | Values + statuses. |
+| `evaluate_expression` | `evaluateExpression` | Scratch evaluation. |
+| `evaluate_constituenta` | `evaluateConstituenta` | Stored derived constituent. |
+| `recalculate_model` | `recalculateModel` | Full recompute. |
+
+Input schemas are intentionally permissive (`additionalProperties: true`) where the rstool input is structurally rich (e.g. `ConstituentaDraft`, `SessionState`); the wrapped `RSToolAgent` validates inputs at runtime and returns deterministic error responses, surfaced through `isError: true` on the MCP response.
+
+## Programmatic use
+
+If you want to build a custom transport (HTTP, in-process) instead of stdio:
+
+```ts
+import { StreamableHttpServerTransport } from '@modelcontextprotocol/sdk/server/streamableHttp.js';
+import { buildRSToolMcpServer } from '@rsconcept/rstool-mcp';
+
+const server = buildRSToolMcpServer();
+const transport = new StreamableHttpServerTransport();
+await server.connect(transport);
+```
+
+Or share a single `RSToolAgent` between multiple servers / requests:
+
+```ts
+import { RSToolAgent } from '@rsconcept/rstool';
+import { buildRSToolMcpServer } from '@rsconcept/rstool-mcp';
+
+const tool = new RSToolAgent();
+const server = buildRSToolMcpServer({ tool, name: 'my-rstool-mcp', version: '0.2.0' });
+```
+
+## Companion docs
+
+For RS language, the rstool contract, error codes, and common workflows, agents should read [`@rsconcept/rstool/docs`](https://www.npmjs.com/package/@rsconcept/rstool#agent-skill) and the bundled `rstool-helper` skill that ships with `@rsconcept/rstool`.
+
+## Publishing
+
+Maintainers: see [PUBLISHING.md](./PUBLISHING.md) for npm release steps.
+
+## License
+
+MIT

package/dist/bin/server.d.ts

@@ -0,0 +1 @@
+export { };

package/dist/bin/server.js

@@ -0,0 +1,18 @@
+#!/usr/bin/env node
+import { t as buildRSToolMcpServer } from "../server-CzaNBfgR.js";
+import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js";
+//#region src/bin/server.ts
+async function main() {
+	const server = buildRSToolMcpServer();
+	const transport = new StdioServerTransport();
+	await server.connect(transport);
+	process.stderr.write("rstool-mcp server ready on stdio\n");
+}
+main().catch((error) => {
+	process.stderr.write(`rstool-mcp fatal: ${error instanceof Error ? error.stack ?? error.message : String(error)}\n`);
+	process.exit(1);
+});
+//#endregion
+export {};
+
+//# sourceMappingURL=server.js.map

package/dist/bin/server.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.js","names":[],"sources":["../../src/bin/server.ts"],"sourcesContent":["#!/usr/bin/env node\nimport { StdioServerTransport } from '@modelcontextprotocol/sdk/server/stdio.js';\n\nimport { buildRSToolMcpServer } from '../server';\n\nasync function main(): Promise<void> {\n  const server = buildRSToolMcpServer();\n  const transport = new StdioServerTransport();\n  await server.connect(transport);\n  process.stderr.write('rstool-mcp server ready on stdio\\n');\n}\n\nmain().catch(error => {\n  process.stderr.write(`rstool-mcp fatal: ${error instanceof Error ? error.stack ?? error.message : String(error)}\\n`);\n  process.exit(1);\n});\n"],"mappings":";;;;AAKA,eAAe,OAAsB;CACnC,MAAM,SAAS,qBAAqB;CACpC,MAAM,YAAY,IAAI,qBAAqB;CAC3C,MAAM,OAAO,QAAQ,SAAS;CAC9B,QAAQ,OAAO,MAAM,oCAAoC;AAC3D;AAEA,KAAK,EAAE,OAAM,UAAS;CACpB,QAAQ,OAAO,MAAM,qBAAqB,iBAAiB,QAAQ,MAAM,SAAS,MAAM,UAAU,OAAO,KAAK,EAAE,GAAG;CACnH,QAAQ,KAAK,CAAC;AAChB,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,46 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import { RSToolAgent } from "@rsconcept/rstool";
+
+//#region src/server.d.ts
+interface BuildRSToolMcpServerOptions {
+  /** Pre-built RSToolAgent. Defaults to a fresh in-memory instance. */
+  tool?: RSToolAgent;
+  /** Server name advertised to MCP clients. */
+  name?: string;
+  /** Server version advertised to MCP clients. */
+  version?: string;
+}
+/**
+ * Build an MCP `McpServer` instance that exposes the `@rsconcept/rstool` contract.
+ *
+ * The returned server is not yet connected to a transport. Wrap it with a
+ * `StdioServerTransport` (for local subprocess hosts like Cursor and Claude Desktop) or
+ * an HTTP transport, then call `server.connect(transport)`.
+ *
+ * @example
+ * ```ts
+ * import { StdioServerTransport } from '@modelcontextprotocol/sdk/server/stdio.js';
+ * import { buildRSToolMcpServer } from '@rsconcept/rstool-mcp';
+ *
+ * const server = buildRSToolMcpServer();
+ * await server.connect(new StdioServerTransport());
+ * ```
+ */
+declare function buildRSToolMcpServer(options?: BuildRSToolMcpServerOptions): McpServer;
+//#endregion
+//#region src/tools.d.ts
+interface ToolDefinition {
+  name: string;
+  description: string;
+  inputSchema: {
+    type: 'object';
+    properties: Record<string, unknown>;
+    required?: string[];
+    additionalProperties?: boolean;
+  };
+  invoke: (tool: RSToolAgent, args: Record<string, unknown>) => unknown | Promise<unknown>;
+}
+declare const TOOL_DEFINITIONS: ToolDefinition[];
+//#endregion
+export { type BuildRSToolMcpServerOptions, TOOL_DEFINITIONS, type ToolDefinition, buildRSToolMcpServer };
+//# sourceMappingURL=index.d.ts.map

package/dist/index.js

@@ -0,0 +1,2 @@
+import { n as TOOL_DEFINITIONS, t as buildRSToolMcpServer } from "./server-CzaNBfgR.js";
+export { TOOL_DEFINITIONS, buildRSToolMcpServer };

package/dist/server-CzaNBfgR.js

@@ -0,0 +1,323 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import { CallToolRequestSchema, ListToolsRequestSchema } from "@modelcontextprotocol/sdk/types.js";
+import { RSToolAgent } from "@rsconcept/rstool";
+//#region src/tools.ts
+const sessionId = {
+	type: "string",
+	description: "Session identifier returned from create_session or import_session."
+};
+const TOOL_DEFINITIONS = [
+	{
+		name: "ping",
+		description: "Liveness check; returns {pong: true} and the active rstool contract version.",
+		inputSchema: {
+			type: "object",
+			properties: {},
+			additionalProperties: false
+		},
+		invoke: (tool) => ({
+			pong: true,
+			contractVersion: tool.contractVersion
+		})
+	},
+	{
+		name: "list_methods",
+		description: "List all rstool methods exposed as MCP tools.",
+		inputSchema: {
+			type: "object",
+			properties: {},
+			additionalProperties: false
+		},
+		invoke: () => TOOL_DEFINITIONS.map((definition) => definition.name)
+	},
+	{
+		name: "create_session",
+		description: "Create a fresh in-memory rstool session. Returns a SessionHandle with sessionId and initial revision.",
+		inputSchema: {
+			type: "object",
+			properties: { initial: {
+				type: "object",
+				description: "Optional partial SessionState seed (alias, title, constituents, etc.).",
+				additionalProperties: true
+			} },
+			additionalProperties: false
+		},
+		invoke: (tool, args) => tool.createSession(args.initial)
+	},
+	{
+		name: "add_or_update_constituenta",
+		description: "Upsert a single constituent in the session. Provide alias, cstType, definitionFormal (may be \"\"), and optional term/definitionText/convention.",
+		inputSchema: {
+			type: "object",
+			properties: {
+				sessionId,
+				input: {
+					type: "object",
+					description: "AddOrUpdateConstituentaInput. Required keys: alias, cstType, definitionFormal.",
+					additionalProperties: true
+				}
+			},
+			required: ["sessionId", "input"]
+		},
+		invoke: (tool, args) => tool.addOrUpdateConstituenta(String(args.sessionId), args.input)
+	},
+	{
+		name: "analyze_expression",
+		description: "Run parser + semantic analysis on a scratch RSLang expression in the session context. Returns typification, valueClass, success flag and diagnostics.",
+		inputSchema: {
+			type: "object",
+			properties: {
+				sessionId,
+				input: {
+					type: "object",
+					description: "AnalyzeExpressionInput. Required keys: expression, cstType.",
+					properties: {
+						expression: { type: "string" },
+						cstType: { type: "string" },
+						alias: { type: "string" }
+					},
+					required: ["expression", "cstType"],
+					additionalProperties: true
+				}
+			},
+			required: ["sessionId", "input"]
+		},
+		invoke: (tool, args) => tool.analyzeExpression(String(args.sessionId), args.input)
+	},
+	{
+		name: "get_form_state",
+		description: "Return the full SessionState (constituents, revision, alias, title, etc.).",
+		inputSchema: {
+			type: "object",
+			properties: { sessionId },
+			required: ["sessionId"]
+		},
+		invoke: (tool, args) => tool.getFormState(String(args.sessionId))
+	},
+	{
+		name: "list_diagnostics",
+		description: "List diagnostics across the session, optionally filtered by constituentId / severity / classes.",
+		inputSchema: {
+			type: "object",
+			properties: {
+				sessionId,
+				filters: {
+					type: "object",
+					description: "Optional ListDiagnosticsFilters object.",
+					additionalProperties: true
+				}
+			},
+			required: ["sessionId"]
+		},
+		invoke: (tool, args) => tool.listDiagnostics(String(args.sessionId), args.filters)
+	},
+	{
+		name: "commit_step",
+		description: "Record a session revision with an optional human-readable message.",
+		inputSchema: {
+			type: "object",
+			properties: {
+				sessionId,
+				message: { type: "string" }
+			},
+			required: ["sessionId"]
+		},
+		invoke: (tool, args) => tool.commitStep(String(args.sessionId), args.message)
+	},
+	{
+		name: "export_session",
+		description: "Serialize the session to a JSON string suitable for import_session.",
+		inputSchema: {
+			type: "object",
+			properties: { sessionId },
+			required: ["sessionId"]
+		},
+		invoke: (tool, args) => tool.exportSession(String(args.sessionId))
+	},
+	{
+		name: "import_session",
+		description: "Import a session previously produced by export_session. Returns a fresh SessionHandle pointing at the restored state.",
+		inputSchema: {
+			type: "object",
+			properties: { payload: {
+				type: "string",
+				description: "JSON payload from export_session."
+			} },
+			required: ["payload"]
+		},
+		invoke: (tool, args) => tool.importSession(String(args.payload))
+	},
+	{
+		name: "set_constituenta_value",
+		description: "Bind or assign a value to a single interpretable constituent (basic, constant, structure). Inferrable constituents (term, axiom, statement) cannot be set directly.",
+		inputSchema: {
+			type: "object",
+			properties: {
+				sessionId,
+				input: {
+					type: "object",
+					description: "SetConstituentaValueInput. Required keys: target (id), value.",
+					additionalProperties: true
+				}
+			},
+			required: ["sessionId", "input"]
+		},
+		invoke: (tool, args) => tool.setConstituentaValue(String(args.sessionId), args.input)
+	},
+	{
+		name: "set_constituenta_values",
+		description: "Batch variant of set_constituenta_value: assign values to multiple interpretable constituents.",
+		inputSchema: {
+			type: "object",
+			properties: {
+				sessionId,
+				input: {
+					type: "object",
+					description: "SetConstituentaValuesInput. Required keys: values (list of {target, value}).",
+					additionalProperties: true
+				}
+			},
+			required: ["sessionId", "input"]
+		},
+		invoke: (tool, args) => tool.setConstituentaValues(String(args.sessionId), args.input)
+	},
+	{
+		name: "clear_constituenta_values",
+		description: "Clear current values for one or more constituents and reset dependents to NOT_PROCESSED.",
+		inputSchema: {
+			type: "object",
+			properties: {
+				sessionId,
+				input: {
+					type: "object",
+					description: "ClearConstituentaValuesInput. Required keys: targets (list of ids).",
+					additionalProperties: true
+				}
+			},
+			required: ["sessionId", "input"]
+		},
+		invoke: (tool, args) => tool.clearConstituentaValues(String(args.sessionId), args.input)
+	},
+	{
+		name: "get_model_state",
+		description: "Return the SessionModelState — current values and evaluation statuses for every constituent.",
+		inputSchema: {
+			type: "object",
+			properties: { sessionId },
+			required: ["sessionId"]
+		},
+		invoke: (tool, args) => tool.getModelState(String(args.sessionId))
+	},
+	{
+		name: "evaluate_expression",
+		description: "Evaluate a scratch RSLang expression against the current bindings without storing it. Returns value + evaluation status.",
+		inputSchema: {
+			type: "object",
+			properties: {
+				sessionId,
+				input: {
+					type: "object",
+					description: "EvaluateExpressionInput. Required keys: expression. Optional: cstType, alias.",
+					properties: {
+						expression: { type: "string" },
+						cstType: { type: "string" },
+						alias: { type: "string" }
+					},
+					required: ["expression"],
+					additionalProperties: true
+				}
+			},
+			required: ["sessionId", "input"]
+		},
+		invoke: (tool, args) => tool.evaluateExpression(String(args.sessionId), args.input)
+	},
+	{
+		name: "evaluate_constituenta",
+		description: "Evaluate a stored derived constituent (term, axiom, statement) using the current bindings.",
+		inputSchema: {
+			type: "object",
+			properties: {
+				sessionId,
+				input: {
+					type: "object",
+					description: "EvaluateConstituentaInput. Required keys: target (id).",
+					additionalProperties: true
+				}
+			},
+			required: ["sessionId", "input"]
+		},
+		invoke: (tool, args) => tool.evaluateConstituenta(String(args.sessionId), args.input)
+	},
+	{
+		name: "recalculate_model",
+		description: "Recompute every interpretable / inferrable constituent using current bindings. Returns the updated SessionModelState.",
+		inputSchema: {
+			type: "object",
+			properties: { sessionId },
+			required: ["sessionId"]
+		},
+		invoke: (tool, args) => tool.recalculateModel(String(args.sessionId))
+	}
+];
+//#endregion
+//#region src/server.ts
+/**
+* Build an MCP `McpServer` instance that exposes the `@rsconcept/rstool` contract.
+*
+* The returned server is not yet connected to a transport. Wrap it with a
+* `StdioServerTransport` (for local subprocess hosts like Cursor and Claude Desktop) or
+* an HTTP transport, then call `server.connect(transport)`.
+*
+* @example
+* ```ts
+* import { StdioServerTransport } from '@modelcontextprotocol/sdk/server/stdio.js';
+* import { buildRSToolMcpServer } from '@rsconcept/rstool-mcp';
+*
+* const server = buildRSToolMcpServer();
+* await server.connect(new StdioServerTransport());
+* ```
+*/
+function buildRSToolMcpServer(options = {}) {
+	const tool = options.tool ?? new RSToolAgent();
+	const server = new McpServer({
+		name: options.name ?? "rstool-mcp",
+		version: options.version ?? "0.1.0"
+	}, { capabilities: { tools: {} } });
+	const definitionByName = new Map(TOOL_DEFINITIONS.map((definition) => [definition.name, definition]));
+	server.server.setRequestHandler(ListToolsRequestSchema, () => Promise.resolve({ tools: TOOL_DEFINITIONS.map((definition) => ({
+		name: definition.name,
+		description: definition.description,
+		inputSchema: definition.inputSchema
+	})) }));
+	server.server.setRequestHandler(CallToolRequestSchema, async (request) => {
+		const definition = definitionByName.get(request.params.name);
+		if (!definition) return {
+			isError: true,
+			content: [{
+				type: "text",
+				text: `Unknown rstool tool: ${request.params.name}`
+			}]
+		};
+		try {
+			const result = await definition.invoke(tool, request.params.arguments ?? {});
+			return { content: [{
+				type: "text",
+				text: typeof result === "string" ? result : JSON.stringify(result, null, 2)
+			}] };
+		} catch (error) {
+			const message = error instanceof Error ? error.message : String(error);
+			return {
+				isError: true,
+				content: [{
+					type: "text",
+					text: `rstool error in ${definition.name}: ${message}`
+				}]
+			};
+		}
+	});
+	return server;
+}
+//#endregion
+export { TOOL_DEFINITIONS as n, buildRSToolMcpServer as t };
+
+//# sourceMappingURL=server-CzaNBfgR.js.map

package/dist/server-CzaNBfgR.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server-CzaNBfgR.js","names":[],"sources":["../src/tools.ts","../src/server.ts"],"sourcesContent":["/**\n * MCP tool definitions for the @rsconcept/rstool contract.\n *\n * Schemas are intentionally permissive (additionalProperties: true) where the rstool input\n * is structurally rich (e.g. ConstituentaDraft, SessionState). The wrapped RSToolAgent\n * validates inputs at runtime and returns deterministic error responses.\n */\n\nimport { type RSToolAgent } from '@rsconcept/rstool';\n\nexport interface ToolDefinition {\n  name: string;\n  description: string;\n  inputSchema: {\n    type: 'object';\n    properties: Record<string, unknown>;\n    required?: string[];\n    additionalProperties?: boolean;\n  };\n  invoke: (tool: RSToolAgent, args: Record<string, unknown>) => unknown | Promise<unknown>;\n}\n\nconst sessionId = {\n  type: 'string',\n  description: 'Session identifier returned from create_session or import_session.'\n};\n\nexport const TOOL_DEFINITIONS: ToolDefinition[] = [\n  {\n    name: 'ping',\n    description: 'Liveness check; returns {pong: true} and the active rstool contract version.',\n    inputSchema: { type: 'object', properties: {}, additionalProperties: false },\n    invoke: tool => ({ pong: true, contractVersion: tool.contractVersion })\n  },\n  {\n    name: 'list_methods',\n    description: 'List all rstool methods exposed as MCP tools.',\n    inputSchema: { type: 'object', properties: {}, additionalProperties: false },\n    invoke: () => TOOL_DEFINITIONS.map(definition => definition.name)\n  },\n  {\n    name: 'create_session',\n    description:\n      'Create a fresh in-memory rstool session. Returns a SessionHandle with sessionId and initial revision.',\n    inputSchema: {\n      type: 'object',\n      properties: {\n        initial: {\n          type: 'object',\n          description: 'Optional partial SessionState seed (alias, title, constituents, etc.).',\n          additionalProperties: true\n        }\n      },\n      additionalProperties: false\n    },\n    invoke: (tool, args) => tool.createSession(args.initial as never)\n  },\n  {\n    name: 'add_or_update_constituenta',\n    description:\n      'Upsert a single constituent in the session. Provide alias, cstType, definitionFormal (may be \"\"), and optional term/definitionText/convention.',\n    inputSchema: {\n      type: 'object',\n      properties: {\n        sessionId,\n        input: {\n          type: 'object',\n          description: 'AddOrUpdateConstituentaInput. Required keys: alias, cstType, definitionFormal.',\n          additionalProperties: true\n        }\n      },\n      required: ['sessionId', 'input']\n    },\n    invoke: (tool, args) =>\n      tool.addOrUpdateConstituenta(String(args.sessionId), args.input as never)\n  },\n  {\n    name: 'analyze_expression',\n    description:\n      'Run parser + semantic analysis on a scratch RSLang expression in the session context. Returns typification, valueClass, success flag and diagnostics.',\n    inputSchema: {\n      type: 'object',\n      properties: {\n        sessionId,\n        input: {\n          type: 'object',\n          description: 'AnalyzeExpressionInput. Required keys: expression, cstType.',\n          properties: {\n            expression: { type: 'string' },\n            cstType: { type: 'string' },\n            alias: { type: 'string' }\n          },\n          required: ['expression', 'cstType'],\n          additionalProperties: true\n        }\n      },\n      required: ['sessionId', 'input']\n    },\n    invoke: (tool, args) =>\n      tool.analyzeExpression(String(args.sessionId), args.input as never)\n  },\n  {\n    name: 'get_form_state',\n    description: 'Return the full SessionState (constituents, revision, alias, title, etc.).',\n    inputSchema: {\n      type: 'object',\n      properties: { sessionId },\n      required: ['sessionId']\n    },\n    invoke: (tool, args) => tool.getFormState(String(args.sessionId))\n  },\n  {\n    name: 'list_diagnostics',\n    description:\n      'List diagnostics across the session, optionally filtered by constituentId / severity / classes.',\n    inputSchema: {\n      type: 'object',\n      properties: {\n        sessionId,\n        filters: {\n          type: 'object',\n          description: 'Optional ListDiagnosticsFilters object.',\n          additionalProperties: true\n        }\n      },\n      required: ['sessionId']\n    },\n    invoke: (tool, args) =>\n      tool.listDiagnostics(String(args.sessionId), args.filters as never)\n  },\n  {\n    name: 'commit_step',\n    description: 'Record a session revision with an optional human-readable message.',\n    inputSchema: {\n      type: 'object',\n      properties: {\n        sessionId,\n        message: { type: 'string' }\n      },\n      required: ['sessionId']\n    },\n    invoke: (tool, args) =>\n      tool.commitStep(String(args.sessionId), args.message as string | undefined)\n  },\n  {\n    name: 'export_session',\n    description: 'Serialize the session to a JSON string suitable for import_session.',\n    inputSchema: {\n      type: 'object',\n      properties: { sessionId },\n      required: ['sessionId']\n    },\n    invoke: (tool, args) => tool.exportSession(String(args.sessionId))\n  },\n  {\n    name: 'import_session',\n    description:\n      'Import a session previously produced by export_session. Returns a fresh SessionHandle pointing at the restored state.',\n    inputSchema: {\n      type: 'object',\n      properties: {\n        payload: { type: 'string', description: 'JSON payload from export_session.' }\n      },\n      required: ['payload']\n    },\n    invoke: (tool, args) => tool.importSession(String(args.payload))\n  },\n  {\n    name: 'set_constituenta_value',\n    description:\n      'Bind or assign a value to a single interpretable constituent (basic, constant, structure). Inferrable constituents (term, axiom, statement) cannot be set directly.',\n    inputSchema: {\n      type: 'object',\n      properties: {\n        sessionId,\n        input: {\n          type: 'object',\n          description: 'SetConstituentaValueInput. Required keys: target (id), value.',\n          additionalProperties: true\n        }\n      },\n      required: ['sessionId', 'input']\n    },\n    invoke: (tool, args) =>\n      tool.setConstituentaValue(String(args.sessionId), args.input as never)\n  },\n  {\n    name: 'set_constituenta_values',\n    description: 'Batch variant of set_constituenta_value: assign values to multiple interpretable constituents.',\n    inputSchema: {\n      type: 'object',\n      properties: {\n        sessionId,\n        input: {\n          type: 'object',\n          description: 'SetConstituentaValuesInput. Required keys: values (list of {target, value}).',\n          additionalProperties: true\n        }\n      },\n      required: ['sessionId', 'input']\n    },\n    invoke: (tool, args) =>\n      tool.setConstituentaValues(String(args.sessionId), args.input as never)\n  },\n  {\n    name: 'clear_constituenta_values',\n    description: 'Clear current values for one or more constituents and reset dependents to NOT_PROCESSED.',\n    inputSchema: {\n      type: 'object',\n      properties: {\n        sessionId,\n        input: {\n          type: 'object',\n          description: 'ClearConstituentaValuesInput. Required keys: targets (list of ids).',\n          additionalProperties: true\n        }\n      },\n      required: ['sessionId', 'input']\n    },\n    invoke: (tool, args) =>\n      tool.clearConstituentaValues(String(args.sessionId), args.input as never)\n  },\n  {\n    name: 'get_model_state',\n    description: 'Return the SessionModelState — current values and evaluation statuses for every constituent.',\n    inputSchema: {\n      type: 'object',\n      properties: { sessionId },\n      required: ['sessionId']\n    },\n    invoke: (tool, args) => tool.getModelState(String(args.sessionId))\n  },\n  {\n    name: 'evaluate_expression',\n    description:\n      'Evaluate a scratch RSLang expression against the current bindings without storing it. Returns value + evaluation status.',\n    inputSchema: {\n      type: 'object',\n      properties: {\n        sessionId,\n        input: {\n          type: 'object',\n          description: 'EvaluateExpressionInput. Required keys: expression. Optional: cstType, alias.',\n          properties: {\n            expression: { type: 'string' },\n            cstType: { type: 'string' },\n            alias: { type: 'string' }\n          },\n          required: ['expression'],\n          additionalProperties: true\n        }\n      },\n      required: ['sessionId', 'input']\n    },\n    invoke: (tool, args) =>\n      tool.evaluateExpression(String(args.sessionId), args.input as never)\n  },\n  {\n    name: 'evaluate_constituenta',\n    description: 'Evaluate a stored derived constituent (term, axiom, statement) using the current bindings.',\n    inputSchema: {\n      type: 'object',\n      properties: {\n        sessionId,\n        input: {\n          type: 'object',\n          description: 'EvaluateConstituentaInput. Required keys: target (id).',\n          additionalProperties: true\n        }\n      },\n      required: ['sessionId', 'input']\n    },\n    invoke: (tool, args) =>\n      tool.evaluateConstituenta(String(args.sessionId), args.input as never)\n  },\n  {\n    name: 'recalculate_model',\n    description: 'Recompute every interpretable / inferrable constituent using current bindings. Returns the updated SessionModelState.',\n    inputSchema: {\n      type: 'object',\n      properties: { sessionId },\n      required: ['sessionId']\n    },\n    invoke: (tool, args) => tool.recalculateModel(String(args.sessionId))\n  }\n];\n","import { McpServer } from '@modelcontextprotocol/sdk/server/mcp.js';\nimport {\n  CallToolRequestSchema,\n  ListToolsRequestSchema\n} from '@modelcontextprotocol/sdk/types.js';\n\nimport { RSToolAgent } from '@rsconcept/rstool';\n\nimport { TOOL_DEFINITIONS, type ToolDefinition } from './tools';\n\nexport interface BuildRSToolMcpServerOptions {\n  /** Pre-built RSToolAgent. Defaults to a fresh in-memory instance. */\n  tool?: RSToolAgent;\n  /** Server name advertised to MCP clients. */\n  name?: string;\n  /** Server version advertised to MCP clients. */\n  version?: string;\n}\n\n/**\n * Build an MCP `McpServer` instance that exposes the `@rsconcept/rstool` contract.\n *\n * The returned server is not yet connected to a transport. Wrap it with a\n * `StdioServerTransport` (for local subprocess hosts like Cursor and Claude Desktop) or\n * an HTTP transport, then call `server.connect(transport)`.\n *\n * @example\n * ```ts\n * import { StdioServerTransport } from '@modelcontextprotocol/sdk/server/stdio.js';\n * import { buildRSToolMcpServer } from '@rsconcept/rstool-mcp';\n *\n * const server = buildRSToolMcpServer();\n * await server.connect(new StdioServerTransport());\n * ```\n */\nexport function buildRSToolMcpServer(options: BuildRSToolMcpServerOptions = {}): McpServer {\n  const tool = options.tool ?? new RSToolAgent();\n  const server = new McpServer(\n    {\n      name: options.name ?? 'rstool-mcp',\n      version: options.version ?? '0.1.0'\n    },\n    {\n      capabilities: {\n        tools: {}\n      }\n    }\n  );\n\n  const definitionByName = new Map<string, ToolDefinition>(\n    TOOL_DEFINITIONS.map(definition => [definition.name, definition])\n  );\n\n  server.server.setRequestHandler(ListToolsRequestSchema, () =>\n    Promise.resolve({\n      tools: TOOL_DEFINITIONS.map(definition => ({\n        name: definition.name,\n        description: definition.description,\n        inputSchema: definition.inputSchema\n      }))\n    })\n  );\n\n  server.server.setRequestHandler(CallToolRequestSchema, async request => {\n    const definition = definitionByName.get(request.params.name);\n    if (!definition) {\n      return {\n        isError: true,\n        content: [\n          {\n            type: 'text' as const,\n            text: `Unknown rstool tool: ${request.params.name}`\n          }\n        ]\n      };\n    }\n\n    try {\n      const result = await definition.invoke(tool, request.params.arguments ?? {});\n      const text =\n        typeof result === 'string' ? result : JSON.stringify(result, null, 2);\n      return {\n        content: [\n          {\n            type: 'text' as const,\n            text\n          }\n        ]\n      };\n    } catch (error) {\n      const message = error instanceof Error ? error.message : String(error);\n      return {\n        isError: true,\n        content: [\n          {\n            type: 'text' as const,\n            text: `rstool error in ${definition.name}: ${message}`\n          }\n        ]\n      };\n    }\n  });\n\n  return server;\n}\n"],"mappings":";;;;AAsBA,MAAM,YAAY;CAChB,MAAM;CACN,aAAa;AACf;AAEA,MAAa,mBAAqC;CAChD;EACE,MAAM;EACN,aAAa;EACb,aAAa;GAAE,MAAM;GAAU,YAAY,CAAC;GAAG,sBAAsB;EAAM;EAC3E,SAAQ,UAAS;GAAE,MAAM;GAAM,iBAAiB,KAAK;EAAgB;CACvE;CACA;EACE,MAAM;EACN,aAAa;EACb,aAAa;GAAE,MAAM;GAAU,YAAY,CAAC;GAAG,sBAAsB;EAAM;EAC3E,cAAc,iBAAiB,KAAI,eAAc,WAAW,IAAI;CAClE;CACA;EACE,MAAM;EACN,aACE;EACF,aAAa;GACX,MAAM;GACN,YAAY,EACV,SAAS;IACP,MAAM;IACN,aAAa;IACb,sBAAsB;GACxB,EACF;GACA,sBAAsB;EACxB;EACA,SAAS,MAAM,SAAS,KAAK,cAAc,KAAK,OAAgB;CAClE;CACA;EACE,MAAM;EACN,aACE;EACF,aAAa;GACX,MAAM;GACN,YAAY;IACV;IACA,OAAO;KACL,MAAM;KACN,aAAa;KACb,sBAAsB;IACxB;GACF;GACA,UAAU,CAAC,aAAa,OAAO;EACjC;EACA,SAAS,MAAM,SACb,KAAK,wBAAwB,OAAO,KAAK,SAAS,GAAG,KAAK,KAAc;CAC5E;CACA;EACE,MAAM;EACN,aACE;EACF,aAAa;GACX,MAAM;GACN,YAAY;IACV;IACA,OAAO;KACL,MAAM;KACN,aAAa;KACb,YAAY;MACV,YAAY,EAAE,MAAM,SAAS;MAC7B,SAAS,EAAE,MAAM,SAAS;MAC1B,OAAO,EAAE,MAAM,SAAS;KAC1B;KACA,UAAU,CAAC,cAAc,SAAS;KAClC,sBAAsB;IACxB;GACF;GACA,UAAU,CAAC,aAAa,OAAO;EACjC;EACA,SAAS,MAAM,SACb,KAAK,kBAAkB,OAAO,KAAK,SAAS,GAAG,KAAK,KAAc;CACtE;CACA;EACE,MAAM;EACN,aAAa;EACb,aAAa;GACX,MAAM;GACN,YAAY,EAAE,UAAU;GACxB,UAAU,CAAC,WAAW;EACxB;EACA,SAAS,MAAM,SAAS,KAAK,aAAa,OAAO,KAAK,SAAS,CAAC;CAClE;CACA;EACE,MAAM;EACN,aACE;EACF,aAAa;GACX,MAAM;GACN,YAAY;IACV;IACA,SAAS;KACP,MAAM;KACN,aAAa;KACb,sBAAsB;IACxB;GACF;GACA,UAAU,CAAC,WAAW;EACxB;EACA,SAAS,MAAM,SACb,KAAK,gBAAgB,OAAO,KAAK,SAAS,GAAG,KAAK,OAAgB;CACtE;CACA;EACE,MAAM;EACN,aAAa;EACb,aAAa;GACX,MAAM;GACN,YAAY;IACV;IACA,SAAS,EAAE,MAAM,SAAS;GAC5B;GACA,UAAU,CAAC,WAAW;EACxB;EACA,SAAS,MAAM,SACb,KAAK,WAAW,OAAO,KAAK,SAAS,GAAG,KAAK,OAA6B;CAC9E;CACA;EACE,MAAM;EACN,aAAa;EACb,aAAa;GACX,MAAM;GACN,YAAY,EAAE,UAAU;GACxB,UAAU,CAAC,WAAW;EACxB;EACA,SAAS,MAAM,SAAS,KAAK,cAAc,OAAO,KAAK,SAAS,CAAC;CACnE;CACA;EACE,MAAM;EACN,aACE;EACF,aAAa;GACX,MAAM;GACN,YAAY,EACV,SAAS;IAAE,MAAM;IAAU,aAAa;GAAoC,EAC9E;GACA,UAAU,CAAC,SAAS;EACtB;EACA,SAAS,MAAM,SAAS,KAAK,cAAc,OAAO,KAAK,OAAO,CAAC;CACjE;CACA;EACE,MAAM;EACN,aACE;EACF,aAAa;GACX,MAAM;GACN,YAAY;IACV;IACA,OAAO;KACL,MAAM;KACN,aAAa;KACb,sBAAsB;IACxB;GACF;GACA,UAAU,CAAC,aAAa,OAAO;EACjC;EACA,SAAS,MAAM,SACb,KAAK,qBAAqB,OAAO,KAAK,SAAS,GAAG,KAAK,KAAc;CACzE;CACA;EACE,MAAM;EACN,aAAa;EACb,aAAa;GACX,MAAM;GACN,YAAY;IACV;IACA,OAAO;KACL,MAAM;KACN,aAAa;KACb,sBAAsB;IACxB;GACF;GACA,UAAU,CAAC,aAAa,OAAO;EACjC;EACA,SAAS,MAAM,SACb,KAAK,sBAAsB,OAAO,KAAK,SAAS,GAAG,KAAK,KAAc;CAC1E;CACA;EACE,MAAM;EACN,aAAa;EACb,aAAa;GACX,MAAM;GACN,YAAY;IACV;IACA,OAAO;KACL,MAAM;KACN,aAAa;KACb,sBAAsB;IACxB;GACF;GACA,UAAU,CAAC,aAAa,OAAO;EACjC;EACA,SAAS,MAAM,SACb,KAAK,wBAAwB,OAAO,KAAK,SAAS,GAAG,KAAK,KAAc;CAC5E;CACA;EACE,MAAM;EACN,aAAa;EACb,aAAa;GACX,MAAM;GACN,YAAY,EAAE,UAAU;GACxB,UAAU,CAAC,WAAW;EACxB;EACA,SAAS,MAAM,SAAS,KAAK,cAAc,OAAO,KAAK,SAAS,CAAC;CACnE;CACA;EACE,MAAM;EACN,aACE;EACF,aAAa;GACX,MAAM;GACN,YAAY;IACV;IACA,OAAO;KACL,MAAM;KACN,aAAa;KACb,YAAY;MACV,YAAY,EAAE,MAAM,SAAS;MAC7B,SAAS,EAAE,MAAM,SAAS;MAC1B,OAAO,EAAE,MAAM,SAAS;KAC1B;KACA,UAAU,CAAC,YAAY;KACvB,sBAAsB;IACxB;GACF;GACA,UAAU,CAAC,aAAa,OAAO;EACjC;EACA,SAAS,MAAM,SACb,KAAK,mBAAmB,OAAO,KAAK,SAAS,GAAG,KAAK,KAAc;CACvE;CACA;EACE,MAAM;EACN,aAAa;EACb,aAAa;GACX,MAAM;GACN,YAAY;IACV;IACA,OAAO;KACL,MAAM;KACN,aAAa;KACb,sBAAsB;IACxB;GACF;GACA,UAAU,CAAC,aAAa,OAAO;EACjC;EACA,SAAS,MAAM,SACb,KAAK,qBAAqB,OAAO,KAAK,SAAS,GAAG,KAAK,KAAc;CACzE;CACA;EACE,MAAM;EACN,aAAa;EACb,aAAa;GACX,MAAM;GACN,YAAY,EAAE,UAAU;GACxB,UAAU,CAAC,WAAW;EACxB;EACA,SAAS,MAAM,SAAS,KAAK,iBAAiB,OAAO,KAAK,SAAS,CAAC;CACtE;AACF;;;;;;;;;;;;;;;;;;;AC1PA,SAAgB,qBAAqB,UAAuC,CAAC,GAAc;CACzF,MAAM,OAAO,QAAQ,QAAQ,IAAI,YAAY;CAC7C,MAAM,SAAS,IAAI,UACjB;EACE,MAAM,QAAQ,QAAQ;EACtB,SAAS,QAAQ,WAAW;CAC9B,GACA,EACE,cAAc,EACZ,OAAO,CAAC,EACV,EACF,CACF;CAEA,MAAM,mBAAmB,IAAI,IAC3B,iBAAiB,KAAI,eAAc,CAAC,WAAW,MAAM,UAAU,CAAC,CAClE;CAEA,OAAO,OAAO,kBAAkB,8BAC9B,QAAQ,QAAQ,EACd,OAAO,iBAAiB,KAAI,gBAAe;EACzC,MAAM,WAAW;EACjB,aAAa,WAAW;EACxB,aAAa,WAAW;CAC1B,EAAE,EACJ,CAAC,CACH;CAEA,OAAO,OAAO,kBAAkB,uBAAuB,OAAM,YAAW;EACtE,MAAM,aAAa,iBAAiB,IAAI,QAAQ,OAAO,IAAI;EAC3D,IAAI,CAAC,YACH,OAAO;GACL,SAAS;GACT,SAAS,CACP;IACE,MAAM;IACN,MAAM,wBAAwB,QAAQ,OAAO;GAC/C,CACF;EACF;EAGF,IAAI;GACF,MAAM,SAAS,MAAM,WAAW,OAAO,MAAM,QAAQ,OAAO,aAAa,CAAC,CAAC;GAG3E,OAAO,EACL,SAAS,CACP;IACE,MAAM;IACN,MALJ,OAAO,WAAW,WAAW,SAAS,KAAK,UAAU,QAAQ,MAAM,CAAC;GAMlE,CACF,EACF;EACF,SAAS,OAAO;GACd,MAAM,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK;GACrE,OAAO;IACL,SAAS;IACT,SAAS,CACP;KACE,MAAM;KACN,MAAM,mBAAmB,WAAW,KAAK,IAAI;IAC/C,CACF;GACF;EACF;CACF,CAAC;CAED,OAAO;AACT"}

package/package.json

@@ -0,0 +1,64 @@
+{
+  "name": "@rsconcept/rstool-mcp",
+  "version": "0.1.0",
+  "description": "Model Context Protocol (MCP) adapter that exposes the @rsconcept/rstool RSToolAgent contract over MCP stdio. Works with Cursor, Claude Desktop, and any MCP-capable host.",
+  "license": "MIT",
+  "author": "IRBorisov",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/IRBorisov/ConceptPortal.git",
+    "directory": "rsconcept/rstool-mcp"
+  },
+  "homepage": "https://portal.acconcept.ru",
+  "keywords": [
+    "rslang",
+    "rsform",
+    "rstool",
+    "mcp",
+    "model-context-protocol",
+    "agent",
+    "llm",
+    "cursor",
+    "claude"
+  ],
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "bin": {
+    "rstool-mcp": "dist/bin/server.js"
+  },
+  "files": [
+    "dist",
+    "src",
+    "README.md",
+    "LICENSE"
+  ],
+  "scripts": {
+    "build": "tsdown",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "test": "vitest run",
+    "start": "tsx src/bin/server.ts",
+    "prepublishOnly": "npm run build"
+  },
+  "dependencies": {
+    "@modelcontextprotocol/sdk": "^1.21.1",
+    "@rsconcept/rstool": "^0.4.0"
+  },
+  "devDependencies": {
+    "@types/node": "^25.9.1",
+    "tsdown": "^0.22.0",
+    "tsx": "^4.21.0",
+    "typescript": "^6.0.3",
+    "vitest": "^4.1.5"
+  },
+  "publishConfig": {
+    "access": "public"
+  }
+}

package/src/bin/server.ts

@@ -0,0 +1,16 @@
+#!/usr/bin/env node
+import { StdioServerTransport } from '@modelcontextprotocol/sdk/server/stdio.js';
+
+import { buildRSToolMcpServer } from '../server';
+
+async function main(): Promise<void> {
+  const server = buildRSToolMcpServer();
+  const transport = new StdioServerTransport();
+  await server.connect(transport);
+  process.stderr.write('rstool-mcp server ready on stdio\n');
+}
+
+main().catch(error => {
+  process.stderr.write(`rstool-mcp fatal: ${error instanceof Error ? error.stack ?? error.message : String(error)}\n`);
+  process.exit(1);
+});

package/src/index.ts

@@ -0,0 +1,2 @@
+export { buildRSToolMcpServer, type BuildRSToolMcpServerOptions } from './server';
+export { TOOL_DEFINITIONS, type ToolDefinition } from './tools';

package/src/server.test.ts

@@ -0,0 +1,38 @@
+import { describe, expect, it } from 'vitest';
+
+import { buildRSToolMcpServer } from './server';
+import { TOOL_DEFINITIONS } from './tools';
+
+describe('buildRSToolMcpServer', () => {
+  it('exposes the full rstool contract as MCP tools', () => {
+    const server = buildRSToolMcpServer();
+    expect(server).toBeDefined();
+    expect(TOOL_DEFINITIONS.map(t => t.name)).toEqual([
+      'ping',
+      'list_methods',
+      'create_session',
+      'add_or_update_constituenta',
+      'analyze_expression',
+      'get_form_state',
+      'list_diagnostics',
+      'commit_step',
+      'export_session',
+      'import_session',
+      'set_constituenta_value',
+      'set_constituenta_values',
+      'clear_constituenta_values',
+      'get_model_state',
+      'evaluate_expression',
+      'evaluate_constituenta',
+      'recalculate_model'
+    ]);
+  });
+
+  it('each tool has a permissive but well-formed input schema', () => {
+    for (const definition of TOOL_DEFINITIONS) {
+      expect(definition.inputSchema.type).toBe('object');
+      expect(typeof definition.description).toBe('string');
+      expect(definition.description.length).toBeGreaterThan(0);
+    }
+  });
+});

package/src/server.ts

@@ -0,0 +1,105 @@
+import { McpServer } from '@modelcontextprotocol/sdk/server/mcp.js';
+import {
+  CallToolRequestSchema,
+  ListToolsRequestSchema
+} from '@modelcontextprotocol/sdk/types.js';
+
+import { RSToolAgent } from '@rsconcept/rstool';
+
+import { TOOL_DEFINITIONS, type ToolDefinition } from './tools';
+
+export interface BuildRSToolMcpServerOptions {
+  /** Pre-built RSToolAgent. Defaults to a fresh in-memory instance. */
+  tool?: RSToolAgent;
+  /** Server name advertised to MCP clients. */
+  name?: string;
+  /** Server version advertised to MCP clients. */
+  version?: string;
+}
+
+/**
+ * Build an MCP `McpServer` instance that exposes the `@rsconcept/rstool` contract.
+ *
+ * The returned server is not yet connected to a transport. Wrap it with a
+ * `StdioServerTransport` (for local subprocess hosts like Cursor and Claude Desktop) or
+ * an HTTP transport, then call `server.connect(transport)`.
+ *
+ * @example
+ * ```ts
+ * import { StdioServerTransport } from '@modelcontextprotocol/sdk/server/stdio.js';
+ * import { buildRSToolMcpServer } from '@rsconcept/rstool-mcp';
+ *
+ * const server = buildRSToolMcpServer();
+ * await server.connect(new StdioServerTransport());
+ * ```
+ */
+export function buildRSToolMcpServer(options: BuildRSToolMcpServerOptions = {}): McpServer {
+  const tool = options.tool ?? new RSToolAgent();
+  const server = new McpServer(
+    {
+      name: options.name ?? 'rstool-mcp',
+      version: options.version ?? '0.1.0'
+    },
+    {
+      capabilities: {
+        tools: {}
+      }
+    }
+  );
+
+  const definitionByName = new Map<string, ToolDefinition>(
+    TOOL_DEFINITIONS.map(definition => [definition.name, definition])
+  );
+
+  server.server.setRequestHandler(ListToolsRequestSchema, () =>
+    Promise.resolve({
+      tools: TOOL_DEFINITIONS.map(definition => ({
+        name: definition.name,
+        description: definition.description,
+        inputSchema: definition.inputSchema
+      }))
+    })
+  );
+
+  server.server.setRequestHandler(CallToolRequestSchema, async request => {
+    const definition = definitionByName.get(request.params.name);
+    if (!definition) {
+      return {
+        isError: true,
+        content: [
+          {
+            type: 'text' as const,
+            text: `Unknown rstool tool: ${request.params.name}`
+          }
+        ]
+      };
+    }
+
+    try {
+      const result = await definition.invoke(tool, request.params.arguments ?? {});
+      const text =
+        typeof result === 'string' ? result : JSON.stringify(result, null, 2);
+      return {
+        content: [
+          {
+            type: 'text' as const,
+            text
+          }
+        ]
+      };
+    } catch (error) {
+      const message = error instanceof Error ? error.message : String(error);
+      return {
+        isError: true,
+        content: [
+          {
+            type: 'text' as const,
+            text: `rstool error in ${definition.name}: ${message}`
+          }
+        ]
+      };
+    }
+  });
+
+  return server;
+}

package/src/tools.ts

@@ -0,0 +1,286 @@
+/**
+ * MCP tool definitions for the @rsconcept/rstool contract.
+ *
+ * Schemas are intentionally permissive (additionalProperties: true) where the rstool input
+ * is structurally rich (e.g. ConstituentaDraft, SessionState). The wrapped RSToolAgent
+ * validates inputs at runtime and returns deterministic error responses.
+ */
+
+import { type RSToolAgent } from '@rsconcept/rstool';
+
+export interface ToolDefinition {
+  name: string;
+  description: string;
+  inputSchema: {
+    type: 'object';
+    properties: Record<string, unknown>;
+    required?: string[];
+    additionalProperties?: boolean;
+  };
+  invoke: (tool: RSToolAgent, args: Record<string, unknown>) => unknown | Promise<unknown>;
+}
+
+const sessionId = {
+  type: 'string',
+  description: 'Session identifier returned from create_session or import_session.'
+};
+
+export const TOOL_DEFINITIONS: ToolDefinition[] = [
+  {
+    name: 'ping',
+    description: 'Liveness check; returns {pong: true} and the active rstool contract version.',
+    inputSchema: { type: 'object', properties: {}, additionalProperties: false },
+    invoke: tool => ({ pong: true, contractVersion: tool.contractVersion })
+  },
+  {
+    name: 'list_methods',
+    description: 'List all rstool methods exposed as MCP tools.',
+    inputSchema: { type: 'object', properties: {}, additionalProperties: false },
+    invoke: () => TOOL_DEFINITIONS.map(definition => definition.name)
+  },
+  {
+    name: 'create_session',
+    description:
+      'Create a fresh in-memory rstool session. Returns a SessionHandle with sessionId and initial revision.',
+    inputSchema: {
+      type: 'object',
+      properties: {
+        initial: {
+          type: 'object',
+          description: 'Optional partial SessionState seed (alias, title, constituents, etc.).',
+          additionalProperties: true
+        }
+      },
+      additionalProperties: false
+    },
+    invoke: (tool, args) => tool.createSession(args.initial as never)
+  },
+  {
+    name: 'add_or_update_constituenta',
+    description:
+      'Upsert a single constituent in the session. Provide alias, cstType, definitionFormal (may be ""), and optional term/definitionText/convention.',
+    inputSchema: {
+      type: 'object',
+      properties: {
+        sessionId,
+        input: {
+          type: 'object',
+          description: 'AddOrUpdateConstituentaInput. Required keys: alias, cstType, definitionFormal.',
+          additionalProperties: true
+        }
+      },
+      required: ['sessionId', 'input']
+    },
+    invoke: (tool, args) =>
+      tool.addOrUpdateConstituenta(String(args.sessionId), args.input as never)
+  },
+  {
+    name: 'analyze_expression',
+    description:
+      'Run parser + semantic analysis on a scratch RSLang expression in the session context. Returns typification, valueClass, success flag and diagnostics.',
+    inputSchema: {
+      type: 'object',
+      properties: {
+        sessionId,
+        input: {
+          type: 'object',
+          description: 'AnalyzeExpressionInput. Required keys: expression, cstType.',
+          properties: {
+            expression: { type: 'string' },
+            cstType: { type: 'string' },
+            alias: { type: 'string' }
+          },
+          required: ['expression', 'cstType'],
+          additionalProperties: true
+        }
+      },
+      required: ['sessionId', 'input']
+    },
+    invoke: (tool, args) =>
+      tool.analyzeExpression(String(args.sessionId), args.input as never)
+  },
+  {
+    name: 'get_form_state',
+    description: 'Return the full SessionState (constituents, revision, alias, title, etc.).',
+    inputSchema: {
+      type: 'object',
+      properties: { sessionId },
+      required: ['sessionId']
+    },
+    invoke: (tool, args) => tool.getFormState(String(args.sessionId))
+  },
+  {
+    name: 'list_diagnostics',
+    description:
+      'List diagnostics across the session, optionally filtered by constituentId / severity / classes.',
+    inputSchema: {
+      type: 'object',
+      properties: {
+        sessionId,
+        filters: {
+          type: 'object',
+          description: 'Optional ListDiagnosticsFilters object.',
+          additionalProperties: true
+        }
+      },
+      required: ['sessionId']
+    },
+    invoke: (tool, args) =>
+      tool.listDiagnostics(String(args.sessionId), args.filters as never)
+  },
+  {
+    name: 'commit_step',
+    description: 'Record a session revision with an optional human-readable message.',
+    inputSchema: {
+      type: 'object',
+      properties: {
+        sessionId,
+        message: { type: 'string' }
+      },
+      required: ['sessionId']
+    },
+    invoke: (tool, args) =>
+      tool.commitStep(String(args.sessionId), args.message as string | undefined)
+  },
+  {
+    name: 'export_session',
+    description: 'Serialize the session to a JSON string suitable for import_session.',
+    inputSchema: {
+      type: 'object',
+      properties: { sessionId },
+      required: ['sessionId']
+    },
+    invoke: (tool, args) => tool.exportSession(String(args.sessionId))
+  },
+  {
+    name: 'import_session',
+    description:
+      'Import a session previously produced by export_session. Returns a fresh SessionHandle pointing at the restored state.',
+    inputSchema: {
+      type: 'object',
+      properties: {
+        payload: { type: 'string', description: 'JSON payload from export_session.' }
+      },
+      required: ['payload']
+    },
+    invoke: (tool, args) => tool.importSession(String(args.payload))
+  },
+  {
+    name: 'set_constituenta_value',
+    description:
+      'Bind or assign a value to a single interpretable constituent (basic, constant, structure). Inferrable constituents (term, axiom, statement) cannot be set directly.',
+    inputSchema: {
+      type: 'object',
+      properties: {
+        sessionId,
+        input: {
+          type: 'object',
+          description: 'SetConstituentaValueInput. Required keys: target (id), value.',
+          additionalProperties: true
+        }
+      },
+      required: ['sessionId', 'input']
+    },
+    invoke: (tool, args) =>
+      tool.setConstituentaValue(String(args.sessionId), args.input as never)
+  },
+  {
+    name: 'set_constituenta_values',
+    description: 'Batch variant of set_constituenta_value: assign values to multiple interpretable constituents.',
+    inputSchema: {
+      type: 'object',
+      properties: {
+        sessionId,
+        input: {
+          type: 'object',
+          description: 'SetConstituentaValuesInput. Required keys: values (list of {target, value}).',
+          additionalProperties: true
+        }
+      },
+      required: ['sessionId', 'input']
+    },
+    invoke: (tool, args) =>
+      tool.setConstituentaValues(String(args.sessionId), args.input as never)
+  },
+  {
+    name: 'clear_constituenta_values',
+    description: 'Clear current values for one or more constituents and reset dependents to NOT_PROCESSED.',
+    inputSchema: {
+      type: 'object',
+      properties: {
+        sessionId,
+        input: {
+          type: 'object',
+          description: 'ClearConstituentaValuesInput. Required keys: targets (list of ids).',
+          additionalProperties: true
+        }
+      },
+      required: ['sessionId', 'input']
+    },
+    invoke: (tool, args) =>
+      tool.clearConstituentaValues(String(args.sessionId), args.input as never)
+  },
+  {
+    name: 'get_model_state',
+    description: 'Return the SessionModelState — current values and evaluation statuses for every constituent.',
+    inputSchema: {
+      type: 'object',
+      properties: { sessionId },
+      required: ['sessionId']
+    },
+    invoke: (tool, args) => tool.getModelState(String(args.sessionId))
+  },
+  {
+    name: 'evaluate_expression',
+    description:
+      'Evaluate a scratch RSLang expression against the current bindings without storing it. Returns value + evaluation status.',
+    inputSchema: {
+      type: 'object',
+      properties: {
+        sessionId,
+        input: {
+          type: 'object',
+          description: 'EvaluateExpressionInput. Required keys: expression. Optional: cstType, alias.',
+          properties: {
+            expression: { type: 'string' },
+            cstType: { type: 'string' },
+            alias: { type: 'string' }
+          },
+          required: ['expression'],
+          additionalProperties: true
+        }
+      },
+      required: ['sessionId', 'input']
+    },
+    invoke: (tool, args) =>
+      tool.evaluateExpression(String(args.sessionId), args.input as never)
+  },
+  {
+    name: 'evaluate_constituenta',
+    description: 'Evaluate a stored derived constituent (term, axiom, statement) using the current bindings.',
+    inputSchema: {
+      type: 'object',
+      properties: {
+        sessionId,
+        input: {
+          type: 'object',
+          description: 'EvaluateConstituentaInput. Required keys: target (id).',
+          additionalProperties: true
+        }
+      },
+      required: ['sessionId', 'input']
+    },
+    invoke: (tool, args) =>
+      tool.evaluateConstituenta(String(args.sessionId), args.input as never)
+  },
+  {
+    name: 'recalculate_model',
+    description: 'Recompute every interpretable / inferrable constituent using current bindings. Returns the updated SessionModelState.',
+    inputSchema: {
+      type: 'object',
+      properties: { sessionId },
+      required: ['sessionId']
+    },
+    invoke: (tool, args) => tool.recalculateModel(String(args.sessionId))
+  }
+];