@contractspec/bundle.library 1.12.0 → 1.13.0

package/dist/node/application/mcp/internalMcp.js

@@ -0,0 +1,294 @@
+// src/application/mcp/common.ts
+import {
+  createMcpServer,
+  PresentationRegistry
+} from "@contractspec/lib.contracts";
+import { mcp } from "elysia-mcp";
+function createConsoleLikeLogger(logger) {
+  const isDebug = process.env.CONTRACTSPEC_MCP_DEBUG === "1";
+  const toMessage = (args) => args.map((a) => typeof a === "string" ? a : JSON.stringify(a)).join(" ");
+  return {
+    log: (...args) => {
+      if (!isDebug)
+        return;
+      logger.info(toMessage(args));
+    },
+    info: (...args) => {
+      if (!isDebug)
+        return;
+      logger.info(toMessage(args));
+    },
+    warn: (...args) => {
+      logger.warn(toMessage(args));
+    },
+    error: (...args) => {
+      logger.error(toMessage(args));
+    },
+    debug: (...args) => {
+      if (!isDebug)
+        return;
+      logger.debug(toMessage(args));
+    }
+  };
+}
+var baseCtx = {
+  actor: "anonymous",
+  decide: async () => ({ effect: "allow" })
+};
+function createMcpElysiaHandler({
+  logger,
+  path,
+  serverName,
+  ops,
+  resources,
+  prompts,
+  presentations
+}) {
+  logger.info("Setting up MCP handler...");
+  return mcp({
+    basePath: path,
+    logger: createConsoleLikeLogger(logger),
+    serverInfo: {
+      name: serverName,
+      version: "1.0.0"
+    },
+    stateless: process.env.CONTRACTSPEC_MCP_STATEFUL !== "1",
+    enableJsonResponse: true,
+    capabilities: {
+      tools: {},
+      resources: {},
+      prompts: {},
+      logging: {}
+    },
+    setupServer: (server) => {
+      logger.info("Setting up MCP server...");
+      createMcpServer(server, ops, resources, prompts, {
+        logger,
+        toolCtx: () => baseCtx,
+        promptCtx: () => ({ locale: "en" }),
+        resourceCtx: () => ({ locale: "en" }),
+        presentations: new PresentationRegistry(presentations)
+      });
+    }
+  });
+}
+
+// src/infrastructure/elysia/logger.ts
+import { Logger, LogLevel } from "@contractspec/lib.logger";
+var createAppLogger = () => new Logger({
+  level: LogLevel.DEBUG,
+  environment: "development",
+  enableTracing: true,
+  enableTiming: true,
+  enableContext: true,
+  enableColors: true
+});
+var appLogger = createAppLogger();
+var dbLogger = new Logger({
+  level: LogLevel.DEBUG,
+  environment: "development",
+  enableTracing: true,
+  enableTiming: true,
+  enableContext: true,
+  enableColors: true
+});
+var authLogger = new Logger({
+  level: LogLevel.INFO,
+  environment: "development",
+  enableTracing: true,
+  enableTiming: true,
+  enableContext: true,
+  enableColors: true
+});
+// src/application/mcp/internalMcp.ts
+import {
+  defineCommand,
+  definePrompt,
+  defineResourceTemplate,
+  installOp,
+  OperationSpecRegistry,
+  PromptRegistry,
+  ResourceRegistry
+} from "@contractspec/lib.contracts";
+import { defineSchemaModel, ScalarTypeEnum } from "@contractspec/lib.schema";
+import z from "zod";
+import {
+  getExample,
+  listExamples,
+  searchExamples
+} from "@contractspec/module.examples";
+var INTERNAL_TAGS = ["internal", "mcp"];
+var INTERNAL_OWNERS = ["@contractspec"];
+var ENDPOINTS = {
+  docs: "/api/mcp/docs",
+  cli: "/api/mcp/cli",
+  internal: "/api/mcp/internal",
+  graphql: "/graphql",
+  health: "/health"
+};
+function buildInternalResources() {
+  const resources = new ResourceRegistry;
+  resources.register(defineResourceTemplate({
+    meta: {
+      uriTemplate: "examples://list{?q}",
+      title: "ContractSpec examples registry",
+      description: "List available examples (templates, integrations, knowledge, scripts). Optional query `q` filters results.",
+      mimeType: "application/json",
+      tags: ["examples", ...INTERNAL_TAGS]
+    },
+    input: z.object({ q: z.string().optional() }),
+    resolve: async ({ q }) => {
+      const items = q ? searchExamples(q) : [...listExamples()];
+      return {
+        uri: q ? `examples://list?q=${encodeURIComponent(q)}` : "examples://list",
+        mimeType: "application/json",
+        data: JSON.stringify(items, null, 2)
+      };
+    }
+  }));
+  resources.register(defineResourceTemplate({
+    meta: {
+      uriTemplate: "examples://example/{id}",
+      title: "ContractSpec example (by id)",
+      description: "Fetch a single example manifest by id.",
+      mimeType: "application/json",
+      tags: ["examples", ...INTERNAL_TAGS]
+    },
+    input: z.object({ id: z.string().min(1) }),
+    resolve: async ({ id }) => {
+      const example = getExample(id);
+      if (!example) {
+        return {
+          uri: `examples://example/${encodeURIComponent(id)}`,
+          mimeType: "application/json",
+          data: JSON.stringify({ error: "not_found", id, message: `Unknown example id: ${id}` }, null, 2)
+        };
+      }
+      return {
+        uri: `examples://example/${encodeURIComponent(id)}`,
+        mimeType: "application/json",
+        data: JSON.stringify(example, null, 2)
+      };
+    }
+  }));
+  resources.register(defineResourceTemplate({
+    meta: {
+      uriTemplate: "internal://endpoints",
+      title: "ContractSpec MCP endpoints",
+      description: "Endpoints for docs, CLI, internal MCP servers.",
+      mimeType: "application/json",
+      tags: INTERNAL_TAGS
+    },
+    input: z.object({}),
+    resolve: async () => ({
+      uri: "internal://endpoints",
+      mimeType: "application/json",
+      data: JSON.stringify(ENDPOINTS, null, 2)
+    })
+  }));
+  resources.register(defineResourceTemplate({
+    meta: {
+      uriTemplate: "internal://playbook",
+      title: "Internal MCP usage playbook",
+      description: "How internal agents should discover docs, CLI usage, and endpoints.",
+      mimeType: "text/markdown",
+      tags: INTERNAL_TAGS
+    },
+    input: z.object({}),
+    resolve: async () => ({
+      uri: "internal://playbook",
+      mimeType: "text/markdown",
+      data: [
+        "# Internal MCP playbook",
+        "- Connect to docs MCP first for canonical specs.",
+        "- Use CLI MCP to surface quickstart/reference before running commands.",
+        "- Keep calls read-only unless explicitly approved.",
+        `- Endpoints: ${ENDPOINTS.docs}, ${ENDPOINTS.cli}, ${ENDPOINTS.internal}.`,
+        "- For API work, GraphQL at /graphql; health at /health."
+      ].join(`
+`)
+    })
+  }));
+  return resources;
+}
+function buildInternalPrompts() {
+  const prompts = new PromptRegistry;
+  prompts.register(definePrompt({
+    meta: {
+      key: "internal.bootstrap",
+      version: "1.0.0",
+      title: "Bootstrap internal ContractSpec agent",
+      description: "Points agents to the correct MCP endpoints and guardrails.",
+      tags: INTERNAL_TAGS,
+      owners: INTERNAL_OWNERS,
+      stability: "beta"
+    },
+    args: [],
+    input: z.object({}),
+    render: async () => [
+      {
+        type: "text",
+        text: "Start with internal://endpoints to pick the right MCP. Use docs MCP for specifications and CLI MCP for commands. Keep actions read-only unless explicitly approved."
+      },
+      {
+        type: "resource",
+        uri: "internal://endpoints",
+        title: "Endpoints"
+      }
+    ]
+  }));
+  return prompts;
+}
+function buildInternalOps() {
+  const registry = new OperationSpecRegistry;
+  const InternalDescribeOutput = defineSchemaModel({
+    name: "InternalDescribeOutput",
+    fields: {
+      endpoints: {
+        type: ScalarTypeEnum.JSONObject(),
+        isOptional: false
+      },
+      notes: { type: ScalarTypeEnum.String_unsecure(), isOptional: false }
+    }
+  });
+  const describeSpec = defineCommand({
+    meta: {
+      key: "internal.describe",
+      version: "1.0.0",
+      stability: "stable",
+      owners: INTERNAL_OWNERS,
+      tags: INTERNAL_TAGS,
+      description: "Return MCP endpoints and guidance for internal ContractSpec agents.",
+      goal: "Speed up internal development with the correct MCP entrypoints.",
+      context: "Used by internal MCP surface; read-only."
+    },
+    io: {
+      input: defineSchemaModel({
+        name: "InternalDescribeInput",
+        fields: {}
+      }),
+      output: InternalDescribeOutput
+    },
+    policy: {
+      auth: "anonymous"
+    }
+  });
+  installOp(registry, describeSpec, async () => ({
+    endpoints: ENDPOINTS,
+    notes: "Use docs MCP for canonical specs, CLI MCP for contractspec commands, and keep side-effecting actions gated behind human review."
+  }));
+  return registry;
+}
+function createInternalMcpHandler(path = "/api/mcp/internal") {
+  return createMcpElysiaHandler({
+    logger: appLogger,
+    path,
+    serverName: "contractspec-internal-mcp",
+    ops: buildInternalOps(),
+    resources: buildInternalResources(),
+    prompts: buildInternalPrompts()
+  });
+}
+export {
+  createInternalMcpHandler
+};

package/dist/node/components/docs/DocsIndexPage.js

@@ -0,0 +1,270 @@
+// src/components/docs/DocsIndexPage.tsx
+import { CodeBlock } from "@contractspec/lib.design-system";
+import Link from "@contractspec/lib.ui-link";
+import { BookOpen, ChevronRight, Shield, Zap } from "lucide-react";
+import { jsxDEV } from "react/jsx-dev-runtime";
+function DocsIndexPage() {
+  return /* @__PURE__ */ jsxDEV("div", {
+    className: "space-y-12",
+    children: [
+      /* @__PURE__ */ jsxDEV("div", {
+        className: "space-y-4",
+        children: [
+          /* @__PURE__ */ jsxDEV("h1", {
+            className: "text-4xl font-bold md:text-5xl",
+            children: "Documentation"
+          }, undefined, false, undefined, this),
+          /* @__PURE__ */ jsxDEV("p", {
+            className: "text-muted-foreground max-w-2xl text-lg",
+            children: "Stabilize your AI-generated code. Define contracts once, generate consistent code across all surfaces, regenerate safely anytime."
+          }, undefined, false, undefined, this)
+        ]
+      }, undefined, true, undefined, this),
+      /* @__PURE__ */ jsxDEV("div", {
+        className: "grid gap-6 md:grid-cols-3",
+        children: [
+          /* @__PURE__ */ jsxDEV(Link, {
+            href: "/docs/getting-started/installation",
+            className: "card-subtle group space-y-3 p-6 transition-colors hover:border-violet-500/50",
+            children: /* @__PURE__ */ jsxDEV("div", {
+              className: "flex items-start justify-between",
+              children: [
+                /* @__PURE__ */ jsxDEV("div", {
+                  children: [
+                    /* @__PURE__ */ jsxDEV("h3", {
+                      className: "text-lg font-bold transition-colors group-hover:text-violet-400",
+                      children: "Get started"
+                    }, undefined, false, undefined, this),
+                    /* @__PURE__ */ jsxDEV("p", {
+                      className: "text-muted-foreground mt-1 text-sm",
+                      children: "Install ContractSpec and define your first contract in minutes."
+                    }, undefined, false, undefined, this)
+                  ]
+                }, undefined, true, undefined, this),
+                /* @__PURE__ */ jsxDEV(Zap, {
+                  size: 20,
+                  className: "shrink-0 text-violet-400"
+                }, undefined, false, undefined, this)
+              ]
+            }, undefined, true, undefined, this)
+          }, undefined, false, undefined, this),
+          /* @__PURE__ */ jsxDEV(Link, {
+            href: "/docs/specs/capabilities",
+            className: "card-subtle group space-y-3 p-6 transition-colors hover:border-violet-500/50",
+            children: /* @__PURE__ */ jsxDEV("div", {
+              className: "flex items-start justify-between",
+              children: [
+                /* @__PURE__ */ jsxDEV("div", {
+                  children: [
+                    /* @__PURE__ */ jsxDEV("h3", {
+                      className: "text-lg font-bold transition-colors group-hover:text-violet-400",
+                      children: "Core contracts"
+                    }, undefined, false, undefined, this),
+                    /* @__PURE__ */ jsxDEV("p", {
+                      className: "text-muted-foreground mt-1 text-sm",
+                      children: "Commands, queries, events, and presentations. The building blocks."
+                    }, undefined, false, undefined, this)
+                  ]
+                }, undefined, true, undefined, this),
+                /* @__PURE__ */ jsxDEV(BookOpen, {
+                  size: 20,
+                  className: "shrink-0 text-violet-400"
+                }, undefined, false, undefined, this)
+              ]
+            }, undefined, true, undefined, this)
+          }, undefined, false, undefined, this),
+          /* @__PURE__ */ jsxDEV(Link, {
+            href: "/docs/safety/signing",
+            className: "card-subtle group space-y-3 p-6 transition-colors hover:border-violet-500/50",
+            children: /* @__PURE__ */ jsxDEV("div", {
+              className: "flex items-start justify-between",
+              children: [
+                /* @__PURE__ */ jsxDEV("div", {
+                  children: [
+                    /* @__PURE__ */ jsxDEV("h3", {
+                      className: "text-lg font-bold transition-colors group-hover:text-violet-400",
+                      children: "Safe regeneration"
+                    }, undefined, false, undefined, this),
+                    /* @__PURE__ */ jsxDEV("p", {
+                      className: "text-muted-foreground mt-1 text-sm",
+                      children: "Golden tests, migrations, signing, and audit trails."
+                    }, undefined, false, undefined, this)
+                  ]
+                }, undefined, true, undefined, this),
+                /* @__PURE__ */ jsxDEV(Shield, {
+                  size: 20,
+                  className: "shrink-0 text-violet-400"
+                }, undefined, false, undefined, this)
+              ]
+            }, undefined, true, undefined, this)
+          }, undefined, false, undefined, this),
+          /* @__PURE__ */ jsxDEV(Link, {
+            href: "/studio",
+            className: "card-subtle group space-y-3 p-6 transition-colors hover:border-violet-500/50",
+            children: /* @__PURE__ */ jsxDEV("div", {
+              className: "flex items-start justify-between",
+              children: [
+                /* @__PURE__ */ jsxDEV("div", {
+                  children: [
+                    /* @__PURE__ */ jsxDEV("h3", {
+                      className: "text-lg font-bold transition-colors group-hover:text-violet-400",
+                      children: "Studio (managed)"
+                    }, undefined, false, undefined, this),
+                    /* @__PURE__ */ jsxDEV("p", {
+                      className: "text-muted-foreground mt-1 text-sm",
+                      children: "Visual builder, deployments, and team collaboration."
+                    }, undefined, false, undefined, this)
+                  ]
+                }, undefined, true, undefined, this),
+                /* @__PURE__ */ jsxDEV(Zap, {
+                  size: 20,
+                  className: "shrink-0 text-violet-400"
+                }, undefined, false, undefined, this)
+              ]
+            }, undefined, true, undefined, this)
+          }, undefined, false, undefined, this)
+        ]
+      }, undefined, true, undefined, this),
+      /* @__PURE__ */ jsxDEV("div", {
+        className: "space-y-4",
+        children: [
+          /* @__PURE__ */ jsxDEV("h2", {
+            className: "text-2xl font-bold",
+            children: "Quick start"
+          }, undefined, false, undefined, this),
+          /* @__PURE__ */ jsxDEV("div", {
+            className: "card-subtle space-y-4 p-6",
+            children: [
+              /* @__PURE__ */ jsxDEV("p", {
+                className: "text-muted-foreground",
+                children: "Add ContractSpec to your project and define your first contract:"
+              }, undefined, false, undefined, this),
+              /* @__PURE__ */ jsxDEV(CodeBlock, {
+                language: "bash",
+                filename: "docs-quick-start",
+                code: `# Install the CLI and core libraries
+bun add -D contractspec
+bun add @contractspec/lib.contracts @contractspec/lib.schema
+
+# Create your first contract
+bun contractspec create --type operation
+
+# Generate implementation
+bun contractspec build src/contracts/mySpec.ts`
+              }, undefined, false, undefined, this),
+              /* @__PURE__ */ jsxDEV("div", {
+                className: "flex flex-wrap gap-2",
+                children: [
+                  /* @__PURE__ */ jsxDEV(Link, {
+                    href: "/docs/getting-started/installation",
+                    className: "btn-primary text-sm",
+                    children: [
+                      "Installation guide ",
+                      /* @__PURE__ */ jsxDEV(ChevronRight, {
+                        size: 16
+                      }, undefined, false, undefined, this)
+                    ]
+                  }, undefined, true, undefined, this),
+                  /* @__PURE__ */ jsxDEV(Link, {
+                    href: "/docs/getting-started/hello-world",
+                    className: "btn-ghost text-sm",
+                    children: "First contract tutorial"
+                  }, undefined, false, undefined, this)
+                ]
+              }, undefined, true, undefined, this)
+            ]
+          }, undefined, true, undefined, this)
+        ]
+      }, undefined, true, undefined, this),
+      /* @__PURE__ */ jsxDEV("div", {
+        className: "space-y-4",
+        children: [
+          /* @__PURE__ */ jsxDEV("h2", {
+            className: "text-2xl font-bold",
+            children: "Browse all documentation"
+          }, undefined, false, undefined, this),
+          /* @__PURE__ */ jsxDEV("p", {
+            className: "text-muted-foreground",
+            children: "Use the sidebar or choose a topic to explore spec-first development."
+          }, undefined, false, undefined, this),
+          /* @__PURE__ */ jsxDEV("div", {
+            className: "mt-6 grid gap-4 md:grid-cols-2",
+            children: [
+              {
+                title: "Getting Started",
+                description: "Installation, first contract, and CLI usage",
+                href: "/docs/getting-started/installation"
+              },
+              {
+                title: "Guides",
+                description: "Runnable adoption scenarios with examples",
+                href: "/docs/guides"
+              },
+              {
+                title: "Intent Pages",
+                description: "SEO-optimized pages for specific developer needs",
+                href: "/docs/intent"
+              },
+              {
+                title: "Ecosystem",
+                description: "Plugin API, templates, and integrations",
+                href: "/docs/ecosystem/plugins"
+              },
+              {
+                title: "Core Contracts",
+                description: "Commands, queries, events, presentations, workflows",
+                href: "/docs/specs/capabilities"
+              },
+              {
+                title: "Safe Regeneration",
+                description: "Signing, migrations, golden tests, compliance",
+                href: "/docs/safety/signing"
+              },
+              {
+                title: "Multi-Surface Output",
+                description: "REST, GraphQL, Prisma, MCP tools, React",
+                href: "/docs/advanced/renderers"
+              },
+              {
+                title: "Libraries",
+                description: "Core runtime libraries and utilities",
+                href: "/docs/libraries"
+              },
+              {
+                title: "AI Governance",
+                description: "Agents, contract enforcement, approval workflows",
+                href: "/docs/libraries/ai-agent"
+              },
+              {
+                title: "Architecture",
+                description: "Multi-tenancy, integrations, knowledge sources",
+                href: "/docs/architecture"
+              },
+              {
+                title: "Manifesto",
+                description: "Our philosophy: compiler not prison",
+                href: "/docs/manifesto"
+              }
+            ].map((topic, i) => /* @__PURE__ */ jsxDEV(Link, {
+              href: topic.href,
+              className: "card-subtle group p-4 transition-colors hover:border-violet-500/50",
+              children: [
+                /* @__PURE__ */ jsxDEV("h3", {
+                  className: "font-bold transition-colors group-hover:text-violet-400",
+                  children: topic.title
+                }, undefined, false, undefined, this),
+                /* @__PURE__ */ jsxDEV("p", {
+                  className: "text-muted-foreground mt-1 text-sm",
+                  children: topic.description
+                }, undefined, false, undefined, this)
+              ]
+            }, i, true, undefined, this))
+          }, undefined, false, undefined, this)
+        ]
+      }, undefined, true, undefined, this)
+    ]
+  }, undefined, true, undefined, this);
+}
+export {
+  DocsIndexPage
+};