@golemui/gui-mcp 1.0.0-rc.2 → 1.0.0-rc.4

package/{tools → json}/generate-from-json-schema.d.ts

@@ -1,4 +1,4 @@
-import { JsonSchemaLike } from '../mapping/json-schema-to-gui';
+import { JsonSchemaLike } from './mapping/json-schema-to-gui';
 import { validateFormDefinition } from './validate-form-definition';
 export type GenerateFromJsonSchemaInput = {
     jsonSchema: JsonSchemaLike;
@@ -18,8 +18,8 @@ export type GenerateFromJsonSchemaResult = {
     validation: ReturnType<typeof validateFormDefinition>;
 };
 export declare function generateFromJsonSchema(input: GenerateFromJsonSchemaInput): GenerateFromJsonSchemaResult;
-export declare const GENERATE_FROM_JSON_SCHEMA_TOOL: {
-    readonly name: "generate_from_json_schema";
+export declare const JSON_GENERATE_FROM_SCHEMA_TOOL: {
+    readonly name: "json_generate_from_schema";
     readonly description: string;
     readonly inputSchema: {
         readonly type: "object";

package/{tools → json}/generate-from-openapi.d.ts

@@ -1,4 +1,4 @@
-import { JsonSchemaLike } from '../mapping/json-schema-to-gui';
+import { JsonSchemaLike } from './mapping/json-schema-to-gui';
 import { validateFormDefinition } from './validate-form-definition';
 type OpenAPIDoc = {
     openapi?: string;
@@ -47,8 +47,8 @@ export type GenerateFromOpenapiResult = {
     validation: ReturnType<typeof validateFormDefinition>;
 };
 export declare function generateFromOpenapi(input: GenerateFromOpenapiInput): Promise<GenerateFromOpenapiResult>;
-export declare const GENERATE_FROM_OPENAPI_TOOL: {
-    readonly name: "generate_from_openapi";
+export declare const JSON_GENERATE_FROM_OPENAPI_TOOL: {
+    readonly name: "json_generate_from_openapi";
     readonly description: string;
     readonly inputSchema: {
         readonly type: "object";

package/{tools → json}/get-widget-spec.d.ts

@@ -1,4 +1,4 @@
-import { WidgetSchema } from '../schemas/index';
+import { WidgetSchema } from './schemas/index';
 export type GetWidgetSpecInput = {
     widgetType: string;
 };
@@ -12,8 +12,8 @@ export type GetWidgetSpecResult = {
 export declare function getWidgetSpec(input: GetWidgetSpecInput): GetWidgetSpecResult;
 export declare function listWidgetTypes(): string[];
 export declare function getValidatorsSchema(): WidgetSchema;
-export declare const GET_WIDGET_SPEC_TOOL: {
-    readonly name: "get_widget_spec";
+export declare const JSON_GET_WIDGET_SPEC_TOOL: {
+    readonly name: "json_get_widget_spec";
     readonly description: string;
     readonly inputSchema: {
         readonly type: "object";

package/json/instructions.d.ts

@@ -0,0 +1,6 @@
+/**
+ * The JSON form-definition half of the server's connect-time guidance (the MCP
+ * `initialize.instructions` field). Composed with the DX half in `cli.ts`. Owned here so
+ * the JSON path's routing advice evolves independently of the `gui.*` path's.
+ */
+export declare const JSON_INSTRUCTIONS: string;

package/json/tools.d.ts

@@ -0,0 +1,3 @@
+import { ToolEntry } from '../shared/tool';
+/** The JSON form-definition path's MCP tools: generate, look up, and validate. */
+export declare const jsonTools: ToolEntry[];

package/{tools → json}/validate-form-definition.d.ts

@@ -1,6 +1,6 @@
-import { FormattedError } from '../utils/errors';
-import { ExpressionFinding } from '../lint/reactive-expressions';
-import { InterpolationFinding } from '../lint/string-interpolation';
+import { FormattedError } from './errors';
+import { ExpressionFinding } from '../shared/lint/reactive-expressions';
+import { InterpolationFinding } from './string-interpolation';
 export type ValidateInput = {
     formDefinition: unknown;
 };
@@ -12,8 +12,8 @@ export type ValidateResult = {
     interpolationWarnings: InterpolationFinding[];
 };
 export declare function validateFormDefinition(input: ValidateInput): ValidateResult;
-export declare const VALIDATE_FORM_DEFINITION_TOOL: {
-    readonly name: "validate_form_definition";
+export declare const JSON_VALIDATE_FORM_DEFINITION_TOOL: {
+    readonly name: "json_validate_form_definition";
     readonly description: string;
     readonly inputSchema: {
         readonly type: "object";

package/lib.d.ts

@@ -1,7 +1,17 @@
-export { validateFormDefinition, VALIDATE_FORM_DEFINITION_TOOL, } from './tools/validate-form-definition';
-export type { ValidateInput, ValidateResult } from './tools/validate-form-definition';
-export { generateFromJsonSchema, GENERATE_FROM_JSON_SCHEMA_TOOL, } from './tools/generate-from-json-schema';
-export type { GenerateFromJsonSchemaInput, GenerateFromJsonSchemaResult, } from './tools/generate-from-json-schema';
-export { generateFromOpenapi, GENERATE_FROM_OPENAPI_TOOL } from './tools/generate-from-openapi';
-export { getWidgetSpec, GET_WIDGET_SPEC_TOOL } from './tools/get-widget-spec';
-export { getConcept, GET_CONCEPT_TOOL } from './tools/get-concept';
+export { validateFormDefinition, JSON_VALIDATE_FORM_DEFINITION_TOOL, } from './json/validate-form-definition';
+export type { ValidateInput, ValidateResult } from './json/validate-form-definition';
+export { generateFromJsonSchema, JSON_GENERATE_FROM_SCHEMA_TOOL, } from './json/generate-from-json-schema';
+export type { GenerateFromJsonSchemaInput, GenerateFromJsonSchemaResult, } from './json/generate-from-json-schema';
+export { generateFromOpenapi, JSON_GENERATE_FROM_OPENAPI_TOOL } from './json/generate-from-openapi';
+export { getWidgetSpec, JSON_GET_WIDGET_SPEC_TOOL } from './json/get-widget-spec';
+export { checkDxCode, DX_CHECK_CODE_TOOL } from './dx/check-dx-code';
+export type { CheckDxCodeInput, CheckDxCodeResult } from './dx/check-dx-code';
+export { getDxSpec, DX_GET_SPEC_TOOL } from './dx/get-dx-spec';
+export type { GetDxSpecInput, GetDxSpecResult } from './dx/get-dx-spec';
+export { listDxFactoriesCatalog, DX_LIST_FACTORIES_TOOL } from './dx/list-dx-factories';
+export type { ListDxFactoriesResult } from './dx/list-dx-factories';
+export { typeCheckDx } from './dx/typecheck';
+export type { DxDiagnostic, DxCheckResult } from './dx/typecheck';
+export { DX_SPECS, listDxFactories, dxCatalog } from './dx/dx-specs';
+export type { DxSpec, DxNamespace, DxCatalog, DxCatalogEntry } from './dx/dx-specs';
+export { getConcept, GET_CONCEPT_TOOL } from './shared/get-concept';

package/lib.js

@@ -1,13 +1,23 @@
-import { G, a, b, c, V, g, d, e, f, v } from "./get-concept-B7s_l8Qs.js";
+import { D, a, b, c, G, J, d, e, f, g, h, i, j, k, l, m, n, o, t, v } from "./get-concept-DMoitPWv.js";
 export {
-  G as GENERATE_FROM_JSON_SCHEMA_TOOL,
-  a as GENERATE_FROM_OPENAPI_TOOL,
-  b as GET_CONCEPT_TOOL,
-  c as GET_WIDGET_SPEC_TOOL,
-  V as VALIDATE_FORM_DEFINITION_TOOL,
-  g as generateFromJsonSchema,
-  d as generateFromOpenapi,
-  e as getConcept,
-  f as getWidgetSpec,
+  D as DX_CHECK_CODE_TOOL,
+  a as DX_GET_SPEC_TOOL,
+  b as DX_LIST_FACTORIES_TOOL,
+  c as DX_SPECS,
+  G as GET_CONCEPT_TOOL,
+  J as JSON_GENERATE_FROM_OPENAPI_TOOL,
+  d as JSON_GENERATE_FROM_SCHEMA_TOOL,
+  e as JSON_GET_WIDGET_SPEC_TOOL,
+  f as JSON_VALIDATE_FORM_DEFINITION_TOOL,
+  g as checkDxCode,
+  h as dxCatalog,
+  i as generateFromJsonSchema,
+  j as generateFromOpenapi,
+  k as getConcept,
+  l as getDxSpec,
+  m as getWidgetSpec,
+  n as listDxFactories,
+  o as listDxFactoriesCatalog,
+  t as typeCheckDx,
   v as validateFormDefinition
 };

package/package.json

@@ -1,6 +1,7 @@
 {
   "name": "@golemui/gui-mcp",
-  "version": "1.0.0-rc.2",
+  "version": "1.0.0-rc.4",
+  "license": "MIT",
   "description": "Model Context Protocol server for GolemUI — gives AI coding assistants deterministic schema validation and form generation for GolemUI form definitions.",
   "type": "module",
   "main": "./lib.js",
@@ -18,11 +19,9 @@
   "files": [
     "*.js",
     "*.d.ts",
-    "tools",
-    "mapping",
-    "schemas",
-    "utils",
-    "lint",
+    "json",
+    "dx",
+    "shared",
     "*.md"
   ],
   "keywords": [
@@ -36,7 +35,13 @@
   "dependencies": {
     "ajv": "^8.17.1",
     "ajv-formats": "^3.0.1",
-    "@golemui/gui-schemas": "1.0.0-rc.2"
+    "typescript": "^5.9.2",
+    "@golemui/gui-schemas": "1.0.0-rc.4",
+    "@golemui/gui-shared": "1.0.0-rc.4",
+    "@golemui/gui-validators": "1.0.0-rc.4",
+    "@golemui/core": "1.0.0-rc.4",
+    "zod": "^4.0.0",
+    "@standard-schema/spec": "^1.0.0"
   },
   "peerDependencies": {
     "@modelcontextprotocol/sdk": "^1.0.0"

package/{lint → shared/lint}/reactive-expressions.d.ts

@@ -16,3 +16,11 @@ export type ExpressionFinding = {
  * We deliberately don't try to fully parse: too easy to get false positives, too little gain.
  */
 export declare function lintReactiveExpressions(formDefinition: unknown): ExpressionFinding[];
+/**
+ * Lint a single reactive expression string in isolation, against the same rules
+ * `lintReactiveExpressions` applies while walking a JSON form definition. This is
+ * the shared engine the DX path (`dx_check_code`) reuses: the JSON walker has the
+ * object tree, the DX linter has the AST — both funnel each `when` expression
+ * through here so the two surfaces can never drift.
+ */
+export declare function checkReactiveExpression(expression: string, path?: string): ExpressionFinding[];

package/shared/tool.d.ts

@@ -0,0 +1,49 @@
+/**
+ * The MCP tool wiring shared by both authoring paths.
+ *
+ * Each path (`json/`, `dx/`) and the shared surface export a `ToolEntry[]` that pairs an
+ * MCP tool descriptor with its handler. The server concatenates those arrays for both the
+ * `tools/list` response and name-based dispatch, so adding a tool is a one-line change in
+ * the owning module — there is no central switch to keep in sync.
+ */
+/**
+ * The shape of the exported `*_TOOL` descriptor objects. Kept intentionally loose
+ * (`inputSchema: unknown`, readonly fields) so the `as const` descriptors assign without
+ * readonly friction; the MCP client is what validates `arguments` against the real
+ * `inputSchema` before a call ever reaches us.
+ */
+export type ToolDescriptor = {
+    readonly name: string;
+    readonly description?: string;
+    readonly inputSchema: unknown;
+};
+/** One registered MCP tool: its descriptor (advertised to the client) and its handler. */
+export interface ToolEntry {
+    tool: ToolDescriptor;
+    run: (args: Record<string, unknown> | undefined) => unknown | Promise<unknown>;
+}
+/**
+ * Pair a tool descriptor with its handler. `args` arrives already shape-validated by the
+ * MCP client against `tool.inputSchema`, so this is the single trusted boundary where raw
+ * arguments are cast to the handler's input type — instead of an `as any` repeated at
+ * every dispatch arm.
+ *
+ * @example
+ * const jsonTools = [defineTool(JSON_VALIDATE_FORM_DEFINITION_TOOL, validateFormDefinition)];
+ */
+export declare function defineTool<Input, Output>(tool: ToolDescriptor, handler: (input: Input) => Output): ToolEntry;
+/** Wrap a successful tool result in the MCP text-content envelope. */
+export declare function ok(payload: unknown): {
+    content: {
+        type: "text";
+        text: string;
+    }[];
+};
+/** Wrap an error message in the MCP error envelope. */
+export declare function err(message: string): {
+    isError: boolean;
+    content: {
+        type: "text";
+        text: string;
+    }[];
+};

package/shared/tools.d.ts

@@ -0,0 +1,7 @@
+import { ToolEntry } from './tool';
+/**
+ * Cross-cutting reference tools that serve both authoring paths. `get_concept` explains
+ * behavior that spans widgets (conditional rendering, per-state props, the reactive
+ * scope), which a JSON author and a `gui.*` DX author both reach for.
+ */
+export declare const sharedTools: ToolEntry[];