functype-mcp-server 1.4.3 → 1.5.0

package/README.md

@@ -105,11 +105,13 @@ Requires functype >= 0.47.0 for full documentation support. Older versions will
 
 ## Environment Variables
 
-| Variable         | Default   | Description                             |
-| ---------------- | --------- | --------------------------------------- |
-| `TRANSPORT_TYPE` | `stdio`   | Transport mode: `stdio` or `httpStream` |
-| `PORT`           | `3000`    | HTTP port (when using httpStream)       |
-| `HOST`           | `0.0.0.0` | HTTP host (when using httpStream)       |
+| Variable         | Default     | Description                                                             |
+| ---------------- | ----------- | ----------------------------------------------------------------------- |
+| `TRANSPORT_TYPE` | `stdio`     | Transport mode: `stdio` or `httpStream`                                 |
+| `PORT`           | `3000`      | HTTP port (when using httpStream)                                       |
+| `HOST`           | `127.0.0.1` | HTTP host (when using httpStream). Set `0.0.0.0` to bind all interfaces |
+
+**Security note.** `set_functype_version` installs a package and dynamic-imports it, so it is only registered when `TRANSPORT_TYPE=stdio` (the default). Over HTTP, an unauthenticated caller could otherwise downgrade `functype` to a vulnerable version. The HTTP listener also defaults to `127.0.0.1` — set `HOST=0.0.0.0` explicitly if you really want to bind publicly, and front it with auth.
 
 ## Development
 

package/dist/bin.js

@@ -3,12 +3,12 @@
 if (!process.env.TRANSPORT_TYPE) process.env.TRANSPORT_TYPE = "stdio";
 const args = process.argv.slice(2);
 if (args.includes("--version") || args.includes("-v")) {
-	console.log("1.4.3");
+	console.log("1.5.0");
 	process.exit(0);
 }
 if (args.includes("--help") || args.includes("-h")) {
 	console.log(`
-functype-mcp-server v1.4.3
+functype-mcp-server v1.5.0
 
 MCP server for functype documentation lookup and TypeScript code validation.
 
@@ -21,13 +21,14 @@ Options:
 Environment Variables:
   TRANSPORT_TYPE        Transport mode: "stdio" (default) or "httpStream"
   PORT                  HTTP port (default: 3000)
-  HOST                  HTTP host (default: 0.0.0.0)
+  HOST                  HTTP host (default: 127.0.0.1) — set 0.0.0.0 to bind publicly
 
 Tools:
   search_docs           Search functype documentation
   get_type_api          Get detailed type API reference
   get_interfaces        Get interface hierarchy
   validate_code         Type-check functype code snippets
+  set_functype_version  Switch installed functype version (stdio transport only)
 
 For more information: https://github.com/jordanburke/functype/tree/main/mcp-server
 `);

package/dist/bin.js.map

@@ -1 +1 @@
-{"version":3,"file":"bin.js","names":[],"sources":["../src/bin.ts"],"sourcesContent":["#!/usr/bin/env node\n\ndeclare const __VERSION__: string\n\nif (!process.env.TRANSPORT_TYPE) {\n  process.env.TRANSPORT_TYPE = \"stdio\"\n}\n\nconst args = process.argv.slice(2)\n\nif (args.includes(\"--version\") || args.includes(\"-v\")) {\n  console.log(__VERSION__)\n  process.exit(0)\n}\n\nif (args.includes(\"--help\") || args.includes(\"-h\")) {\n  console.log(`\nfunctype-mcp-server v${__VERSION__}\n\nMCP server for functype documentation lookup and TypeScript code validation.\n\nUsage: functype-mcp-server [options]\n\nOptions:\n  -v, --version        Show version number\n  -h, --help           Show help\n\nEnvironment Variables:\n  TRANSPORT_TYPE        Transport mode: \"stdio\" (default) or \"httpStream\"\n  PORT                  HTTP port (default: 3000)\n  HOST                  HTTP host (default: 0.0.0.0)\n\nTools:\n  search_docs           Search functype documentation\n  get_type_api          Get detailed type API reference\n  get_interfaces        Get interface hierarchy\n  validate_code         Type-check functype code snippets\n\nFor more information: https://github.com/jordanburke/functype/tree/main/mcp-server\n`)\n  process.exit(0)\n}\n\nasync function main() {\n  await import(\"./index.js\")\n}\n\nmain().then()\n"],"mappings":";;AAIA,IAAI,CAAC,QAAQ,IAAI,gBACf,QAAQ,IAAI,iBAAiB;AAG/B,MAAM,OAAO,QAAQ,KAAK,MAAM,CAAC;AAEjC,IAAI,KAAK,SAAS,WAAW,KAAK,KAAK,SAAS,IAAI,GAAG;CACrD,QAAQ,IAAA,OAAe;CACvB,QAAQ,KAAK,CAAC;AAChB;AAEA,IAAI,KAAK,SAAS,QAAQ,KAAK,KAAK,SAAS,IAAI,GAAG;CAClD,QAAQ,IAAI;;;;;;;;;;;;;;;;;;;;;;;CAuBb;CACC,QAAQ,KAAK,CAAC;AAChB;AAEA,eAAe,OAAO;CACpB,MAAM,OAAO;AACf;AAEA,KAAK,CAAC,CAAC,KAAK"}
+{"version":3,"file":"bin.js","names":[],"sources":["../src/bin.ts"],"sourcesContent":["#!/usr/bin/env node\n\ndeclare const __VERSION__: string\n\nif (!process.env.TRANSPORT_TYPE) {\n  process.env.TRANSPORT_TYPE = \"stdio\"\n}\n\nconst args = process.argv.slice(2)\n\nif (args.includes(\"--version\") || args.includes(\"-v\")) {\n  console.log(__VERSION__)\n  process.exit(0)\n}\n\nif (args.includes(\"--help\") || args.includes(\"-h\")) {\n  console.log(`\nfunctype-mcp-server v${__VERSION__}\n\nMCP server for functype documentation lookup and TypeScript code validation.\n\nUsage: functype-mcp-server [options]\n\nOptions:\n  -v, --version        Show version number\n  -h, --help           Show help\n\nEnvironment Variables:\n  TRANSPORT_TYPE        Transport mode: \"stdio\" (default) or \"httpStream\"\n  PORT                  HTTP port (default: 3000)\n  HOST                  HTTP host (default: 127.0.0.1) — set 0.0.0.0 to bind publicly\n\nTools:\n  search_docs           Search functype documentation\n  get_type_api          Get detailed type API reference\n  get_interfaces        Get interface hierarchy\n  validate_code         Type-check functype code snippets\n  set_functype_version  Switch installed functype version (stdio transport only)\n\nFor more information: https://github.com/jordanburke/functype/tree/main/mcp-server\n`)\n  process.exit(0)\n}\n\nasync function main() {\n  await import(\"./index.js\")\n}\n\nmain().then()\n"],"mappings":";;AAIA,IAAI,CAAC,QAAQ,IAAI,gBACf,QAAQ,IAAI,iBAAiB;AAG/B,MAAM,OAAO,QAAQ,KAAK,MAAM,CAAC;AAEjC,IAAI,KAAK,SAAS,WAAW,KAAK,KAAK,SAAS,IAAI,GAAG;CACrD,QAAQ,IAAA,OAAe;CACvB,QAAQ,KAAK,CAAC;AAChB;AAEA,IAAI,KAAK,SAAS,QAAQ,KAAK,KAAK,SAAS,IAAI,GAAG;CAClD,QAAQ,IAAI;;;;;;;;;;;;;;;;;;;;;;;;CAwBb;CACC,QAAQ,KAAK,CAAC;AAChB;AAEA,eAAe,OAAO;CACpB,MAAM,OAAO;AACf;AAEA,KAAK,CAAC,CAAC,KAAK"}

package/dist/index.d.ts

@@ -1 +1,5 @@
-export { };
+//#region src/index.d.ts
+declare const isSafeFunctypeVersion: (version: string) => boolean;
+//#endregion
+export { isSafeFunctypeVersion };
+//# sourceMappingURL=index.d.ts.map

package/dist/index.js

@@ -258,19 +258,32 @@ const validateCode = (code, options = {}) => {
 //#endregion
 //#region src/index.ts
 const PROJECT_ROOT = dirname(dirname(fileURLToPath(import.meta.url)));
-const SERVER_VERSION = "1.4.3";
+const SERVER_VERSION = "1.5.0";
+const SAFE_FUNCTYPE_VERSION = /^(?:latest|next|beta|alpha|canary|rc|[~^]?v?\d+(?:\.\d+){0,2}(?:-[0-9A-Za-z.-]+)?(?:\+[0-9A-Za-z.-]+)?)$/;
+const isSafeFunctypeVersion = (version) => {
+	if (version.trim() !== version) return false;
+	if (/[/:\\@\s]/.test(version)) return false;
+	return SAFE_FUNCTYPE_VERSION.test(version);
+};
+const isHttpTransport = () => {
+	const t = process.env.TRANSPORT_TYPE;
+	return t === "httpStream" || t === "http";
+};
 function createServer() {
+	const exposeSetVersion = !isHttpTransport();
 	const server = new FastMCP({
 		name: "functype-mcp-server",
 		version: SERVER_VERSION,
 		instructions: `Functype MCP Server — documentation lookup and code validation for the functype TypeScript FP library (v${VERSION}).
 
 Available tools:
-- search_docs: Search functype documentation by keyword or type name
-- get_type_api: Get detailed API reference for a specific type
-- get_interfaces: Get the interface hierarchy (Functor, Monad, Foldable, etc.)
-- validate_code: Type-check functype code snippets at compile time
-- set_functype_version: Switch the functype version at runtime (installs + reloads)
+${[
+			"- search_docs: Search functype documentation by keyword or type name",
+			"- get_type_api: Get detailed API reference for a specific type",
+			"- get_interfaces: Get the interface hierarchy (Functor, Monad, Foldable, etc.)",
+			"- validate_code: Type-check functype code snippets at compile time",
+			...exposeSetVersion ? ["- set_functype_version: Switch the functype version at runtime (installs + reloads)"] : []
+		].join("\n")}
 
 Use validate_code to verify your functype code is type-correct before presenting it to the user.`
 	});
@@ -322,14 +335,19 @@ Use validate_code to verify your functype code is type-correct before presenting
 			return `Validation FAILED — ${result.diagnostics.length} error(s):\n\n${errorLines.join("\n")}${importNote}`;
 		}
 	});
-	server.addTool({
+	if (exposeSetVersion) server.addTool({
 		name: "set_functype_version",
-		description: "Switch the functype version at runtime. Installs the specified version and reloads all documentation and type definitions.",
+		description: "Switch the functype version at runtime. Installs the specified version and reloads all documentation and type definitions. Stdio transport only.",
 		parameters: z.object({ version: z.string().describe("The functype version to install (e.g., \"0.46.0\", \"latest\", \"^0.45.0\")") }),
 		execute: async (args) => {
+			if (!isSafeFunctypeVersion(args.version)) return `Invalid version "${args.version}". Use a semver string (e.g. "1.4.4", "^1.4.0", "~1.4") or a known dist-tag (latest, next, beta, alpha, canary, rc). Alias syntaxes (file:, npm:, git+, URLs) are not allowed.`;
 			const spec = `functype@${args.version}`;
 			try {
-				execFileSync("pnpm", ["add", spec], {
+				execFileSync("pnpm", [
+					"add",
+					"--ignore-scripts",
+					spec
+				], {
 					cwd: PROJECT_ROOT,
 					stdio: "pipe",
 					timeout: 6e4
@@ -351,9 +369,9 @@ Use validate_code to verify your functype code is type-correct before presenting
 async function main() {
 	await initDocsData();
 	const server = createServer();
-	const useHttp = process.env.TRANSPORT_TYPE === "httpStream" || process.env.TRANSPORT_TYPE === "http";
+	const useHttp = isHttpTransport();
 	const port = parseInt(process.env.PORT || "3000");
-	const host = process.env.HOST || "0.0.0.0";
+	const host = process.env.HOST || "127.0.0.1";
 	if (useHttp) {
 		console.error(`[functype-mcp] Starting HTTP server on ${host}:${port}`);
 		await server.start({
@@ -374,6 +392,6 @@ process.on("SIGINT", () => process.exit(0));
 process.on("SIGTERM", () => process.exit(0));
 main().catch(console.error);
 //#endregion
-export {};
+export { isSafeFunctypeVersion };
 
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","names":["require"],"sources":["../src/lib/docs/data.ts","../src/lib/docs/formatters.ts","../src/lib/validator/compiler-host.ts","../src/lib/validator/validate.ts","../src/index.ts"],"sourcesContent":["/**\n * Runtime loader for functype CLI data.\n * Uses dynamic import so the data reflects whichever functype version\n * is installed in node_modules at runtime (not baked in at build time).\n */\n\nimport { createRequire } from \"node:module\"\nimport { pathToFileURL } from \"node:url\"\n\nexport type { InterfaceData, TypeData } from \"functype/cli\"\nimport type { InterfaceData, TypeData } from \"functype/cli\"\n\nconst require = createRequire(import.meta.url)\n\nexport let TYPES: Record<string, TypeData> = {}\nexport let INTERFACES: Record<string, InterfaceData> = {}\nexport let CATEGORIES: Record<string, string[]> = {}\nexport let FULL_INTERFACES: Record<string, string> = {}\nexport let VERSION = \"unknown\"\n\nlet initialized = false\n\nexport async function initDocsData(force?: boolean): Promise<void> {\n  if (initialized && !force) return\n\n  try {\n    let cli: typeof import(\"functype/cli\")\n    if (force) {\n      const resolvedPath = require.resolve(\"functype/cli\")\n      cli = await import(`${pathToFileURL(resolvedPath).href}?t=${Date.now()}`)\n    } else {\n      cli = await import(\"functype/cli\")\n    }\n    TYPES = cli.TYPES\n    INTERFACES = cli.INTERFACES\n    CATEGORIES = cli.CATEGORIES\n    FULL_INTERFACES = cli.FULL_INTERFACES\n    VERSION = cli.VERSION\n    initialized = true\n  } catch (err) {\n    if (force) throw err\n    console.error(\"[functype-mcp] Failed to load functype/cli data — doc tools will return empty results:\", err)\n  }\n}\n","/**\n * Markdown formatters for MCP tool output.\n * Plain TypeScript — no functype dependency in formatters.\n */\n\nimport type { InterfaceData, TypeData } from \"./data\"\nimport { CATEGORIES, FULL_INTERFACES, INTERFACES, TYPES, VERSION } from \"./data\"\n\nconst METHOD_CATEGORIES = [\"create\", \"transform\", \"extract\", \"check\", \"other\"] as const\n\nexport const formatOverview = (): string => {\n  const lines: string[] = [`# functype ${VERSION} — Scala-inspired FP for TypeScript`, \"\"]\n\n  for (const [category, typeNames] of Object.entries(CATEGORIES)) {\n    lines.push(`## ${category}`, \"\")\n    for (const name of typeNames) {\n      const type = TYPES[name]\n      if (type) {\n        const ifaces = type.interfaces.length > 0 ? ` [${type.interfaces.join(\", \")}]` : \"\"\n        lines.push(`**${name}**${ifaces}`)\n        lines.push(`  ${type.description}`, \"\")\n      }\n    }\n  }\n\n  lines.push(\"---\", \"Use `get_type_api` for detailed type reference.\", \"Use `get_interfaces` for interface hierarchy.\")\n  return lines.join(\"\\n\")\n}\n\nexport const formatType = (name: string, data: TypeData, includeFullInterface?: boolean): string => {\n  const ifaceList = data.interfaces.length > 0 ? ` [${data.interfaces.join(\", \")}]` : \"\"\n  const lines: string[] = [`# ${name}<T>${ifaceList}`, \"\", data.description, \"\"]\n\n  for (const cat of METHOD_CATEGORIES) {\n    const methods = data.methods[cat]\n    if (methods && methods.length > 0) {\n      lines.push(`## ${cat.charAt(0).toUpperCase() + cat.slice(1)}`, \"\")\n      for (const method of methods) {\n        lines.push(`- \\`${method}\\``)\n      }\n      lines.push(\"\")\n    }\n  }\n\n  if (includeFullInterface) {\n    const fullInterface = FULL_INTERFACES[name]\n    if (fullInterface) {\n      lines.push(\"## Full Interface\", \"\", \"```typescript\", fullInterface, \"```\")\n    }\n  }\n\n  return lines.join(\"\\n\").trimEnd()\n}\n\nexport const formatInterfaces = (): string => {\n  const lines: string[] = [\"# Interfaces\", \"\"]\n\n  for (const [name, data] of Object.entries(INTERFACES)) {\n    const ext = data.extends ? ` extends ${data.extends}` : \"\"\n    lines.push(`## ${name}<A>${ext}`, \"\", data.description, \"\")\n    for (const method of data.methods) {\n      lines.push(`- \\`${method}\\``)\n    }\n    lines.push(\"\")\n  }\n\n  return lines.join(\"\\n\").trimEnd()\n}\n\nexport const searchTypes = (query: string): string => {\n  const q = query.toLowerCase()\n\n  // Check for exact type name match first (case-sensitive, e.g. \"IO\", \"Map\", \"Option\")\n  const exactMatch = TYPES[query]\n  if (exactMatch) {\n    return formatType(query, exactMatch)\n  }\n\n  const matches: Array<{ name: string; data: TypeData }> = []\n\n  for (const [name, data] of Object.entries(TYPES)) {\n    const nameMatch = name.toLowerCase().includes(q)\n    const descMatch = data.description.toLowerCase().includes(q)\n    const ifaceMatch = data.interfaces.some((i) => i.toLowerCase().includes(q))\n    const methodMatch = Object.values(data.methods)\n      .flat()\n      .some((m) => m.toLowerCase().includes(q))\n\n    if (nameMatch || descMatch || ifaceMatch || methodMatch) {\n      matches.push({ name, data })\n    }\n  }\n\n  if (matches.length === 0) {\n    return `No types found matching \"${query}\". Available types: ${Object.keys(TYPES).join(\", \")}`\n  }\n\n  if (matches.length === 1) {\n    const match = matches[0]!\n    return formatType(match.name, match.data)\n  }\n\n  // Prioritize name matches over description/method substring matches\n  const nameMatches = matches.filter((m) => m.name.toLowerCase().includes(q))\n  const otherMatches = matches.filter((m) => !m.name.toLowerCase().includes(q))\n  const sorted = [...nameMatches, ...otherMatches]\n\n  const lines: string[] = [`# Search results for \"${query}\"`, \"\", `Found ${sorted.length} matching types:`, \"\"]\n  for (const match of sorted) {\n    const ifaces = match.data.interfaces.length > 0 ? ` [${match.data.interfaces.join(\", \")}]` : \"\"\n    lines.push(`**${match.name}**${ifaces}`)\n    lines.push(`  ${match.data.description}`, \"\")\n  }\n\n  lines.push(\"---\", \"Use `get_type_api` with a specific type name for full details.\")\n  return lines.join(\"\\n\")\n}\n\nexport const getTypeByName = (name: string): { name: string; data: TypeData } | undefined => {\n  const direct = TYPES[name]\n  if (direct) return { name, data: direct }\n\n  const entry = Object.entries(TYPES).find(([typeName]) => typeName.toLowerCase() === name.toLowerCase())\n  if (entry) return { name: entry[0], data: entry[1] }\n\n  return undefined\n}\n\nexport const getInterfaceByName = (name: string): { name: string; data: InterfaceData } | undefined => {\n  const direct = INTERFACES[name]\n  if (direct) return { name, data: direct }\n\n  const entry = Object.entries(INTERFACES).find(([ifaceName]) => ifaceName.toLowerCase() === name.toLowerCase())\n  if (entry) return { name: entry[0], data: entry[1] }\n\n  return undefined\n}\n","/**\n * Custom TypeScript CompilerHost for in-memory type-checking of functype code.\n * Resolves functype .d.ts files from node_modules for accurate type validation.\n */\n\nimport { readFileSync } from \"node:fs\"\nimport { createRequire } from \"node:module\"\nimport { dirname, join, resolve } from \"node:path\"\n\nimport ts from \"typescript\"\n\nconst require = createRequire(import.meta.url)\n\nconst resolveFunctypeDistDir = (): string => {\n  // Resolve the main entry point, then walk up to find the dist dir\n  const functypeMain = require.resolve(\"functype\")\n  // functypeMain is something like .../node_modules/functype/dist/index.js\n  // Walk up until we find a directory containing package.json\n  let dir = dirname(functypeMain)\n  for (let i = 0; i < 5; i++) {\n    try {\n      readFileSync(join(dir, \"package.json\"), \"utf-8\")\n      return join(dir, \"dist\")\n    } catch {\n      dir = dirname(dir)\n    }\n  }\n  // Fallback: assume dist is sibling to main\n  return dirname(functypeMain)\n}\n\nconst fileCache = new Map<string, string | undefined>()\n\nexport const clearFileCache = (): void => {\n  fileCache.clear()\n}\n\nconst readFileCached = (path: string): string | undefined => {\n  if (fileCache.has(path)) return fileCache.get(path)\n  try {\n    const content = readFileSync(path, \"utf-8\")\n    fileCache.set(path, content)\n    return content\n  } catch {\n    fileCache.set(path, undefined)\n    return undefined\n  }\n}\n\nexport const VIRTUAL_FILENAME = \"/__functype_validate__.ts\"\n\nexport const compilerOptions: ts.CompilerOptions = {\n  strict: true,\n  target: ts.ScriptTarget.ES2020,\n  module: ts.ModuleKind.ESNext,\n  moduleResolution: ts.ModuleResolutionKind.Bundler,\n  noEmit: true,\n  noUncheckedIndexedAccess: true,\n  skipLibCheck: true,\n  esModuleInterop: true,\n  allowSyntheticDefaultImports: true,\n  declaration: false,\n  sourceMap: false,\n}\n\nexport const createCompilerHost = (sourceCode: string): ts.CompilerHost => {\n  const functypeDistDir = resolveFunctypeDistDir()\n  const defaultHost = ts.createCompilerHost(compilerOptions)\n\n  const host: ts.CompilerHost = {\n    ...defaultHost,\n\n    getSourceFile(fileName, languageVersion) {\n      if (fileName === VIRTUAL_FILENAME) {\n        return ts.createSourceFile(fileName, sourceCode, languageVersion, true)\n      }\n      return defaultHost.getSourceFile(fileName, languageVersion)\n    },\n\n    fileExists(fileName) {\n      if (fileName === VIRTUAL_FILENAME) return true\n      return defaultHost.fileExists(fileName)\n    },\n\n    readFile(fileName) {\n      if (fileName === VIRTUAL_FILENAME) return sourceCode\n      return readFileCached(fileName) ?? defaultHost.readFile(fileName)\n    },\n\n    resolveModuleNames(moduleNames, containingFile) {\n      return moduleNames.map((moduleName): ts.ResolvedModule | undefined => {\n        if (moduleName === \"functype\" || moduleName.startsWith(\"functype/\")) {\n          const subpath = moduleName === \"functype\" ? \"index.d.ts\" : moduleName.replace(\"functype/\", \"\") + \".d.ts\"\n          const resolvedFileName = resolve(functypeDistDir, subpath)\n          if (readFileCached(resolvedFileName) !== undefined) {\n            return { resolvedFileName, isExternalLibraryImport: true }\n          }\n          // Try with /index.d.ts for subpath modules\n          const indexPath = resolve(functypeDistDir, subpath.replace(\".d.ts\", \"/index.d.ts\"))\n          if (readFileCached(indexPath) !== undefined) {\n            return { resolvedFileName: indexPath, isExternalLibraryImport: true }\n          }\n          return undefined\n        }\n\n        const result = ts.resolveModuleName(moduleName, containingFile, compilerOptions, defaultHost)\n        return result.resolvedModule\n      })\n    },\n  }\n\n  return host\n}\n","/**\n * Core validation function — type-checks functype code snippets using the TypeScript Compiler API.\n */\n\nimport ts from \"typescript\"\n\nimport { compilerOptions, createCompilerHost, VIRTUAL_FILENAME } from \"./compiler-host\"\nimport type { ValidateOptions, ValidationDiagnostic, ValidationResult } from \"./types\"\n\nconst DEFAULT_IMPORTS = `import { Option, Some, None, Either, Right, Left, Try, List, Set, Map, Lazy, LazyList, Task, IO, Cond, Match, Brand, ValidatedBrand, Tuple, Stack, Ok, Err } from \"functype\"\\n`\n\nconst hasFunctypeImport = (code: string): boolean => /from\\s+[\"']functype(?:\\/[^\"']*)?[\"']/.test(code)\n\nexport const validateCode = (code: string, options: ValidateOptions = {}): ValidationResult => {\n  const autoImport = options.autoImport ?? true\n  const shouldPrepend = autoImport && !hasFunctypeImport(code)\n  const importLineCount = shouldPrepend ? 1 : 0\n  const fullCode = shouldPrepend ? DEFAULT_IMPORTS + code : code\n\n  const host = createCompilerHost(fullCode)\n  const program = ts.createProgram([VIRTUAL_FILENAME], compilerOptions, host)\n  const allDiagnostics = ts.getPreEmitDiagnostics(program)\n\n  const fileDiagnostics = allDiagnostics.filter((d) => d.file?.fileName === VIRTUAL_FILENAME)\n\n  const rawDiagnostics = fileDiagnostics.map((d) => {\n    const { line, character } = d.file!.getLineAndCharacterOfPosition(d.start ?? 0)\n    return {\n      originalLine: line,\n      line: line - importLineCount + 1,\n      column: character + 1,\n      message: ts.flattenDiagnosticMessageText(d.messageText, \"\\n\"),\n      code: d.code,\n      severity: (d.category === ts.DiagnosticCategory.Error ? \"error\" : \"warning\") as \"error\" | \"warning\",\n    }\n  })\n\n  // Filter out diagnostics from the prepended import line(s) and map to final type\n  const userDiagnostics: ValidationDiagnostic[] = rawDiagnostics\n    .filter((d) => !shouldPrepend || d.originalLine >= importLineCount)\n    .map(({ originalLine: _, ...rest }) => rest)\n\n  return {\n    success: userDiagnostics.filter((d) => d.severity === \"error\").length === 0,\n    diagnostics: userDiagnostics,\n    importsPrepended: shouldPrepend,\n  }\n}\n","import { execFileSync } from \"node:child_process\"\nimport { dirname } from \"node:path\"\nimport { fileURLToPath } from \"node:url\"\n\nimport { FastMCP } from \"fastmcp\"\nimport { z } from \"zod\"\n\nimport { initDocsData, TYPES, VERSION } from \"./lib/docs/data\"\nimport { formatInterfaces, formatOverview, formatType, getTypeByName, searchTypes } from \"./lib/docs/formatters\"\nimport { clearFileCache } from \"./lib/validator/compiler-host\"\nimport { validateCode } from \"./lib/validator/validate\"\n\nconst __dirname = dirname(fileURLToPath(import.meta.url))\nconst PROJECT_ROOT = dirname(__dirname)\n\ndeclare const __VERSION__: string\nconst SERVER_VERSION = (\n  typeof __VERSION__ !== \"undefined\" ? __VERSION__ : \"0.0.0-dev\"\n) as `${number}.${number}.${number}`\n\nfunction createServer() {\n  const server = new FastMCP({\n    name: \"functype-mcp-server\",\n    version: SERVER_VERSION,\n    instructions: `Functype MCP Server — documentation lookup and code validation for the functype TypeScript FP library (v${VERSION}).\n\nAvailable tools:\n- search_docs: Search functype documentation by keyword or type name\n- get_type_api: Get detailed API reference for a specific type\n- get_interfaces: Get the interface hierarchy (Functor, Monad, Foldable, etc.)\n- validate_code: Type-check functype code snippets at compile time\n- set_functype_version: Switch the functype version at runtime (installs + reloads)\n\nUse validate_code to verify your functype code is type-correct before presenting it to the user.`,\n  })\n\n  server.addTool({\n    name: \"search_docs\",\n    description:\n      \"Search functype documentation by keyword or type name. Omit query for a full overview of all types and categories.\",\n    parameters: z.object({\n      query: z.string().optional().describe(\"Type name or keyword to search for. Omit for full overview.\"),\n    }),\n    execute: async (args) => {\n      if (!args.query || args.query.trim() === \"\") {\n        return formatOverview()\n      }\n      return searchTypes(args.query)\n    },\n  })\n\n  server.addTool({\n    name: \"get_type_api\",\n    description:\n      \"Get detailed API reference for a specific functype type including methods by category and optionally the full TypeScript interface definition.\",\n    parameters: z.object({\n      type_name: z.string().describe(\"The type name (e.g., Option, Either, List, IO)\"),\n      include_full_interface: z\n        .boolean()\n        .optional()\n        .default(false)\n        .describe(\"Include full TypeScript interface definition\"),\n    }),\n    execute: async (args) => {\n      const found = getTypeByName(args.type_name)\n      if (!found) {\n        // Show TYPES keys (the curated source) — that's what get_type_api\n        // can actually answer. FULL_INTERFACES keys were the previous source\n        // and produced a misleading list (some entries had no detailed data\n        // and would fail lookup).\n        const available = Object.keys(TYPES).sort().join(\", \")\n        return `Type \"${args.type_name}\" not found. Available types: ${available}`\n      }\n      return formatType(found.name, found.data, args.include_full_interface)\n    },\n  })\n\n  server.addTool({\n    name: \"get_interfaces\",\n    description:\n      \"Get the functype interface hierarchy — Functor, Monad, Foldable, Extractable, Matchable, etc. — with their methods and inheritance.\",\n    parameters: z.object({}),\n    execute: async () => {\n      return formatInterfaces()\n    },\n  })\n\n  server.addTool({\n    name: \"validate_code\",\n    description:\n      \"Type-check a functype code snippet using the TypeScript compiler. Returns PASSED or a list of type errors with line/column/message. Use this to verify functype code is type-correct before presenting to users.\",\n    parameters: z.object({\n      code: z.string().describe(\"TypeScript code snippet using functype to type-check\"),\n      auto_import: z\n        .boolean()\n        .optional()\n        .default(true)\n        .describe(\"Automatically import all functype types if no import statement is present. Default: true\"),\n    }),\n    execute: async (args) => {\n      const result = validateCode(args.code, { autoImport: args.auto_import })\n\n      if (result.success) {\n        const importNote = result.importsPrepended ? \" (functype imports auto-added)\" : \"\"\n        return `Validation PASSED${importNote}\\n\\nThe code is type-correct.`\n      }\n\n      const errorLines = result.diagnostics.map((d) => `- Line ${d.line}, Col ${d.column}: ${d.message} (TS${d.code})`)\n      const importNote = result.importsPrepended ? \"\\n\\nNote: functype imports were auto-added.\" : \"\"\n\n      return `Validation FAILED — ${result.diagnostics.length} error(s):\\n\\n${errorLines.join(\"\\n\")}${importNote}`\n    },\n  })\n\n  server.addTool({\n    name: \"set_functype_version\",\n    description:\n      \"Switch the functype version at runtime. Installs the specified version and reloads all documentation and type definitions.\",\n    parameters: z.object({\n      version: z.string().describe('The functype version to install (e.g., \"0.46.0\", \"latest\", \"^0.45.0\")'),\n    }),\n    execute: async (args) => {\n      const spec = `functype@${args.version}`\n      try {\n        execFileSync(\"pnpm\", [\"add\", spec], { cwd: PROJECT_ROOT, stdio: \"pipe\", timeout: 60_000 })\n      } catch (err) {\n        const message = err instanceof Error ? err.message : String(err)\n        return `Failed to install ${spec}: ${message}`\n      }\n\n      clearFileCache()\n\n      try {\n        await initDocsData(true)\n      } catch {\n        return `Installed ${spec}, but this version does not export functype/cli. Documentation and type definitions are unavailable. The validator will still use the installed version's .d.ts files. Consider using functype >= 0.47.0 for full MCP support.`\n      }\n\n      return `Switched to functype v${VERSION}. Documentation and type definitions have been reloaded.`\n    },\n  })\n\n  return server\n}\n\nasync function main() {\n  await initDocsData()\n\n  const server = createServer()\n\n  const useHttp = process.env.TRANSPORT_TYPE === \"httpStream\" || process.env.TRANSPORT_TYPE === \"http\"\n  const port = parseInt(process.env.PORT || \"3000\")\n  const host = process.env.HOST || \"0.0.0.0\"\n\n  if (useHttp) {\n    console.error(`[functype-mcp] Starting HTTP server on ${host}:${port}`)\n    await server.start({\n      transportType: \"httpStream\",\n      httpStream: { port, host, endpoint: \"/mcp\" },\n    })\n    console.error(`[functype-mcp] HTTP server ready at http://${host}:${port}/mcp`)\n  } else {\n    console.error(\"[functype-mcp] Starting in stdio mode\")\n    await server.start({ transportType: \"stdio\" })\n  }\n}\n\nprocess.on(\"SIGINT\", () => process.exit(0))\nprocess.on(\"SIGTERM\", () => process.exit(0))\n\nmain().catch(console.error)\n"],"mappings":";;;;;;;;;;;;;;AAYA,MAAMA,YAAU,cAAc,OAAO,KAAK,GAAG;AAE7C,IAAW,QAAkC,CAAC;AAC9C,IAAW,aAA4C,CAAC;AACxD,IAAW,aAAuC,CAAC;AACnD,IAAW,kBAA0C,CAAC;AACtD,IAAW,UAAU;AAErB,IAAI,cAAc;AAElB,eAAsB,aAAa,OAAgC;CACjE,IAAI,eAAe,CAAC,OAAO;CAE3B,IAAI;EACF,IAAI;EACJ,IAAI,OAEF,MAAM,MAAM,OAAO,GAAG,cADDA,UAAQ,QAAQ,cACU,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI;OAErE,MAAM,MAAM,OAAO;EAErB,QAAQ,IAAI;EACZ,aAAa,IAAI;EACjB,aAAa,IAAI;EACjB,kBAAkB,IAAI;EACtB,UAAU,IAAI;EACd,cAAc;CAChB,SAAS,KAAK;EACZ,IAAI,OAAO,MAAM;EACjB,QAAQ,MAAM,0FAA0F,GAAG;CAC7G;AACF;;;ACnCA,MAAM,oBAAoB;CAAC;CAAU;CAAa;CAAW;CAAS;AAAO;AAE7E,MAAa,uBAA+B;CAC1C,MAAM,QAAkB,CAAC,cAAc,QAAQ,sCAAsC,EAAE;CAEvF,KAAK,MAAM,CAAC,UAAU,cAAc,OAAO,QAAQ,UAAU,GAAG;EAC9D,MAAM,KAAK,MAAM,YAAY,EAAE;EAC/B,KAAK,MAAM,QAAQ,WAAW;GAC5B,MAAM,OAAO,MAAM;GACnB,IAAI,MAAM;IACR,MAAM,SAAS,KAAK,WAAW,SAAS,IAAI,KAAK,KAAK,WAAW,KAAK,IAAI,EAAE,KAAK;IACjF,MAAM,KAAK,KAAK,KAAK,IAAI,QAAQ;IACjC,MAAM,KAAK,KAAK,KAAK,eAAe,EAAE;GACxC;EACF;CACF;CAEA,MAAM,KAAK,OAAO,mDAAmD,+CAA+C;CACpH,OAAO,MAAM,KAAK,IAAI;AACxB;AAEA,MAAa,cAAc,MAAc,MAAgB,yBAA2C;CAElG,MAAM,QAAkB;EAAC,KAAK,KAAK,KADjB,KAAK,WAAW,SAAS,IAAI,KAAK,KAAK,WAAW,KAAK,IAAI,EAAE,KAAK;EAC/B;EAAI,KAAK;EAAa;CAAE;CAE7E,KAAK,MAAM,OAAO,mBAAmB;EACnC,MAAM,UAAU,KAAK,QAAQ;EAC7B,IAAI,WAAW,QAAQ,SAAS,GAAG;GACjC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,YAAY,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE;GACjE,KAAK,MAAM,UAAU,SACnB,MAAM,KAAK,OAAO,OAAO,GAAG;GAE9B,MAAM,KAAK,EAAE;EACf;CACF;CAEA,IAAI,sBAAsB;EACxB,MAAM,gBAAgB,gBAAgB;EACtC,IAAI,eACF,MAAM,KAAK,qBAAqB,IAAI,iBAAiB,eAAe,KAAK;CAE7E;CAEA,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,QAAQ;AAClC;AAEA,MAAa,yBAAiC;CAC5C,MAAM,QAAkB,CAAC,gBAAgB,EAAE;CAE3C,KAAK,MAAM,CAAC,MAAM,SAAS,OAAO,QAAQ,UAAU,GAAG;EACrD,MAAM,MAAM,KAAK,UAAU,YAAY,KAAK,YAAY;EACxD,MAAM,KAAK,MAAM,KAAK,KAAK,OAAO,IAAI,KAAK,aAAa,EAAE;EAC1D,KAAK,MAAM,UAAU,KAAK,SACxB,MAAM,KAAK,OAAO,OAAO,GAAG;EAE9B,MAAM,KAAK,EAAE;CACf;CAEA,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,QAAQ;AAClC;AAEA,MAAa,eAAe,UAA0B;CACpD,MAAM,IAAI,MAAM,YAAY;CAG5B,MAAM,aAAa,MAAM;CACzB,IAAI,YACF,OAAO,WAAW,OAAO,UAAU;CAGrC,MAAM,UAAmD,CAAC;CAE1D,KAAK,MAAM,CAAC,MAAM,SAAS,OAAO,QAAQ,KAAK,GAAG;EAChD,MAAM,YAAY,KAAK,YAAY,CAAC,CAAC,SAAS,CAAC;EAC/C,MAAM,YAAY,KAAK,YAAY,YAAY,CAAC,CAAC,SAAS,CAAC;EAC3D,MAAM,aAAa,KAAK,WAAW,MAAM,MAAM,EAAE,YAAY,CAAC,CAAC,SAAS,CAAC,CAAC;EAC1E,MAAM,cAAc,OAAO,OAAO,KAAK,OAAO,CAAC,CAC5C,KAAK,CAAC,CACN,MAAM,MAAM,EAAE,YAAY,CAAC,CAAC,SAAS,CAAC,CAAC;EAE1C,IAAI,aAAa,aAAa,cAAc,aAC1C,QAAQ,KAAK;GAAE;GAAM;EAAK,CAAC;CAE/B;CAEA,IAAI,QAAQ,WAAW,GACrB,OAAO,4BAA4B,MAAM,sBAAsB,OAAO,KAAK,KAAK,CAAC,CAAC,KAAK,IAAI;CAG7F,IAAI,QAAQ,WAAW,GAAG;EACxB,MAAM,QAAQ,QAAQ;EACtB,OAAO,WAAW,MAAM,MAAM,MAAM,IAAI;CAC1C;CAGA,MAAM,cAAc,QAAQ,QAAQ,MAAM,EAAE,KAAK,YAAY,CAAC,CAAC,SAAS,CAAC,CAAC;CAC1E,MAAM,eAAe,QAAQ,QAAQ,MAAM,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC,SAAS,CAAC,CAAC;CAC5E,MAAM,SAAS,CAAC,GAAG,aAAa,GAAG,YAAY;CAE/C,MAAM,QAAkB;EAAC,yBAAyB,MAAM;EAAI;EAAI,SAAS,OAAO,OAAO;EAAmB;CAAE;CAC5G,KAAK,MAAM,SAAS,QAAQ;EAC1B,MAAM,SAAS,MAAM,KAAK,WAAW,SAAS,IAAI,KAAK,MAAM,KAAK,WAAW,KAAK,IAAI,EAAE,KAAK;EAC7F,MAAM,KAAK,KAAK,MAAM,KAAK,IAAI,QAAQ;EACvC,MAAM,KAAK,KAAK,MAAM,KAAK,eAAe,EAAE;CAC9C;CAEA,MAAM,KAAK,OAAO,gEAAgE;CAClF,OAAO,MAAM,KAAK,IAAI;AACxB;AAEA,MAAa,iBAAiB,SAA+D;CAC3F,MAAM,SAAS,MAAM;CACrB,IAAI,QAAQ,OAAO;EAAE;EAAM,MAAM;CAAO;CAExC,MAAM,QAAQ,OAAO,QAAQ,KAAK,CAAC,CAAC,MAAM,CAAC,cAAc,SAAS,YAAY,MAAM,KAAK,YAAY,CAAC;CACtG,IAAI,OAAO,OAAO;EAAE,MAAM,MAAM;EAAI,MAAM,MAAM;CAAG;AAGrD;;;;;;;ACnHA,MAAM,UAAU,cAAc,OAAO,KAAK,GAAG;AAE7C,MAAM,+BAAuC;CAE3C,MAAM,eAAe,QAAQ,QAAQ,UAAU;CAG/C,IAAI,MAAM,QAAQ,YAAY;CAC9B,KAAK,IAAI,IAAI,GAAG,IAAI,GAAG,KACrB,IAAI;EACF,aAAa,KAAK,KAAK,cAAc,GAAG,OAAO;EAC/C,OAAO,KAAK,KAAK,MAAM;CACzB,QAAQ;EACN,MAAM,QAAQ,GAAG;CACnB;CAGF,OAAO,QAAQ,YAAY;AAC7B;AAEA,MAAM,4BAAY,IAAI,IAAgC;AAEtD,MAAa,uBAA6B;CACxC,UAAU,MAAM;AAClB;AAEA,MAAM,kBAAkB,SAAqC;CAC3D,IAAI,UAAU,IAAI,IAAI,GAAG,OAAO,UAAU,IAAI,IAAI;CAClD,IAAI;EACF,MAAM,UAAU,aAAa,MAAM,OAAO;EAC1C,UAAU,IAAI,MAAM,OAAO;EAC3B,OAAO;CACT,QAAQ;EACN,UAAU,IAAI,MAAM,KAAA,CAAS;EAC7B;CACF;AACF;AAEA,MAAa,mBAAmB;AAEhC,MAAa,kBAAsC;CACjD,QAAQ;CACR,QAAQ,GAAG,aAAa;CACxB,QAAQ,GAAG,WAAW;CACtB,kBAAkB,GAAG,qBAAqB;CAC1C,QAAQ;CACR,0BAA0B;CAC1B,cAAc;CACd,iBAAiB;CACjB,8BAA8B;CAC9B,aAAa;CACb,WAAW;AACb;AAEA,MAAa,sBAAsB,eAAwC;CACzE,MAAM,kBAAkB,uBAAuB;CAC/C,MAAM,cAAc,GAAG,mBAAmB,eAAe;CA4CzD,OAAO;EAzCL,GAAG;EAEH,cAAc,UAAU,iBAAiB;GACvC,IAAI,aAAA,6BACF,OAAO,GAAG,iBAAiB,UAAU,YAAY,iBAAiB,IAAI;GAExE,OAAO,YAAY,cAAc,UAAU,eAAe;EAC5D;EAEA,WAAW,UAAU;GACnB,IAAI,aAAA,6BAA+B,OAAO;GAC1C,OAAO,YAAY,WAAW,QAAQ;EACxC;EAEA,SAAS,UAAU;GACjB,IAAI,aAAA,6BAA+B,OAAO;GAC1C,OAAO,eAAe,QAAQ,KAAK,YAAY,SAAS,QAAQ;EAClE;EAEA,mBAAmB,aAAa,gBAAgB;GAC9C,OAAO,YAAY,KAAK,eAA8C;IACpE,IAAI,eAAe,cAAc,WAAW,WAAW,WAAW,GAAG;KACnE,MAAM,UAAU,eAAe,aAAa,eAAe,WAAW,QAAQ,aAAa,EAAE,IAAI;KACjG,MAAM,mBAAmB,QAAQ,iBAAiB,OAAO;KACzD,IAAI,eAAe,gBAAgB,MAAM,KAAA,GACvC,OAAO;MAAE;MAAkB,yBAAyB;KAAK;KAG3D,MAAM,YAAY,QAAQ,iBAAiB,QAAQ,QAAQ,SAAS,aAAa,CAAC;KAClF,IAAI,eAAe,SAAS,MAAM,KAAA,GAChC,OAAO;MAAE,kBAAkB;MAAW,yBAAyB;KAAK;KAEtE;IACF;IAGA,OADe,GAAG,kBAAkB,YAAY,gBAAgB,iBAAiB,WACrE,CAAC,CAAC;GAChB,CAAC;EACH;CAGQ;AACZ;;;;;;ACvGA,MAAM,kBAAkB;AAExB,MAAM,qBAAqB,SAA0B,uCAAuC,KAAK,IAAI;AAErG,MAAa,gBAAgB,MAAc,UAA2B,CAAC,MAAwB;CAE7F,MAAM,iBADa,QAAQ,cAAc,SACL,CAAC,kBAAkB,IAAI;CAC3D,MAAM,kBAAkB,gBAAgB,IAAI;CAG5C,MAAM,OAAO,mBAFI,gBAAgB,kBAAkB,OAAO,IAElB;CACxC,MAAM,UAAU,GAAG,cAAc,CAAC,gBAAgB,GAAG,iBAAiB,IAAI;CAkB1E,MAAM,kBAjBiB,GAAG,sBAAsB,OAEX,CAAC,CAAC,QAAQ,MAAM,EAAE,MAAM,aAAa,gBAErC,CAAC,CAAC,KAAK,MAAM;EAChD,MAAM,EAAE,MAAM,cAAc,EAAE,KAAM,8BAA8B,EAAE,SAAS,CAAC;EAC9E,OAAO;GACL,cAAc;GACd,MAAM,OAAO,kBAAkB;GAC/B,QAAQ,YAAY;GACpB,SAAS,GAAG,6BAA6B,EAAE,aAAa,IAAI;GAC5D,MAAM,EAAE;GACR,UAAW,EAAE,aAAa,GAAG,mBAAmB,QAAQ,UAAU;EACpE;CACF,CAG6D,CAAC,CAC3D,QAAQ,MAAM,CAAC,iBAAiB,EAAE,gBAAgB,eAAe,CAAC,CAClE,KAAK,EAAE,cAAc,GAAG,GAAG,WAAW,IAAI;CAE7C,OAAO;EACL,SAAS,gBAAgB,QAAQ,MAAM,EAAE,aAAa,OAAO,CAAC,CAAC,WAAW;EAC1E,aAAa;EACb,kBAAkB;CACpB;AACF;;;AClCA,MAAM,eAAe,QADH,QAAQ,cAAc,OAAO,KAAK,GAAG,CAClB,CAAC;AAGtC,MAAM,iBAAA;AAIN,SAAS,eAAe;CACtB,MAAM,SAAS,IAAI,QAAQ;EACzB,MAAM;EACN,SAAS;EACT,cAAc,2GAA2G,QAAQ;;;;;;;;;;CAUnI,CAAC;CAED,OAAO,QAAQ;EACb,MAAM;EACN,aACE;EACF,YAAY,EAAE,OAAO,EACnB,OAAO,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,6DAA6D,EACrG,CAAC;EACD,SAAS,OAAO,SAAS;GACvB,IAAI,CAAC,KAAK,SAAS,KAAK,MAAM,KAAK,MAAM,IACvC,OAAO,eAAe;GAExB,OAAO,YAAY,KAAK,KAAK;EAC/B;CACF,CAAC;CAED,OAAO,QAAQ;EACb,MAAM;EACN,aACE;EACF,YAAY,EAAE,OAAO;GACnB,WAAW,EAAE,OAAO,CAAC,CAAC,SAAS,gDAAgD;GAC/E,wBAAwB,EACrB,QAAQ,CAAC,CACT,SAAS,CAAC,CACV,QAAQ,KAAK,CAAC,CACd,SAAS,8CAA8C;EAC5D,CAAC;EACD,SAAS,OAAO,SAAS;GACvB,MAAM,QAAQ,cAAc,KAAK,SAAS;GAC1C,IAAI,CAAC,OAAO;IAKV,MAAM,YAAY,OAAO,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI;IACrD,OAAO,SAAS,KAAK,UAAU,gCAAgC;GACjE;GACA,OAAO,WAAW,MAAM,MAAM,MAAM,MAAM,KAAK,sBAAsB;EACvE;CACF,CAAC;CAED,OAAO,QAAQ;EACb,MAAM;EACN,aACE;EACF,YAAY,EAAE,OAAO,CAAC,CAAC;EACvB,SAAS,YAAY;GACnB,OAAO,iBAAiB;EAC1B;CACF,CAAC;CAED,OAAO,QAAQ;EACb,MAAM;EACN,aACE;EACF,YAAY,EAAE,OAAO;GACnB,MAAM,EAAE,OAAO,CAAC,CAAC,SAAS,sDAAsD;GAChF,aAAa,EACV,QAAQ,CAAC,CACT,SAAS,CAAC,CACV,QAAQ,IAAI,CAAC,CACb,SAAS,0FAA0F;EACxG,CAAC;EACD,SAAS,OAAO,SAAS;GACvB,MAAM,SAAS,aAAa,KAAK,MAAM,EAAE,YAAY,KAAK,YAAY,CAAC;GAEvE,IAAI,OAAO,SAET,OAAO,oBADY,OAAO,mBAAmB,mCAAmC,GAC1C;GAGxC,MAAM,aAAa,OAAO,YAAY,KAAK,MAAM,UAAU,EAAE,KAAK,QAAQ,EAAE,OAAO,IAAI,EAAE,QAAQ,MAAM,EAAE,KAAK,EAAE;GAChH,MAAM,aAAa,OAAO,mBAAmB,gDAAgD;GAE7F,OAAO,uBAAuB,OAAO,YAAY,OAAO,gBAAgB,WAAW,KAAK,IAAI,IAAI;EAClG;CACF,CAAC;CAED,OAAO,QAAQ;EACb,MAAM;EACN,aACE;EACF,YAAY,EAAE,OAAO,EACnB,SAAS,EAAE,OAAO,CAAC,CAAC,SAAS,6EAAuE,EACtG,CAAC;EACD,SAAS,OAAO,SAAS;GACvB,MAAM,OAAO,YAAY,KAAK;GAC9B,IAAI;IACF,aAAa,QAAQ,CAAC,OAAO,IAAI,GAAG;KAAE,KAAK;KAAc,OAAO;KAAQ,SAAS;IAAO,CAAC;GAC3F,SAAS,KAAK;IAEZ,OAAO,qBAAqB,KAAK,IADjB,eAAe,QAAQ,IAAI,UAAU,OAAO,GAAG;GAEjE;GAEA,eAAe;GAEf,IAAI;IACF,MAAM,aAAa,IAAI;GACzB,QAAQ;IACN,OAAO,aAAa,KAAK;GAC3B;GAEA,OAAO,yBAAyB,QAAQ;EAC1C;CACF,CAAC;CAED,OAAO;AACT;AAEA,eAAe,OAAO;CACpB,MAAM,aAAa;CAEnB,MAAM,SAAS,aAAa;CAE5B,MAAM,UAAU,QAAQ,IAAI,mBAAmB,gBAAgB,QAAQ,IAAI,mBAAmB;CAC9F,MAAM,OAAO,SAAS,QAAQ,IAAI,QAAQ,MAAM;CAChD,MAAM,OAAO,QAAQ,IAAI,QAAQ;CAEjC,IAAI,SAAS;EACX,QAAQ,MAAM,0CAA0C,KAAK,GAAG,MAAM;EACtE,MAAM,OAAO,MAAM;GACjB,eAAe;GACf,YAAY;IAAE;IAAM;IAAM,UAAU;GAAO;EAC7C,CAAC;EACD,QAAQ,MAAM,8CAA8C,KAAK,GAAG,KAAK,KAAK;CAChF,OAAO;EACL,QAAQ,MAAM,uCAAuC;EACrD,MAAM,OAAO,MAAM,EAAE,eAAe,QAAQ,CAAC;CAC/C;AACF;AAEA,QAAQ,GAAG,gBAAgB,QAAQ,KAAK,CAAC,CAAC;AAC1C,QAAQ,GAAG,iBAAiB,QAAQ,KAAK,CAAC,CAAC;AAE3C,KAAK,CAAC,CAAC,MAAM,QAAQ,KAAK"}
+{"version":3,"file":"index.js","names":["require"],"sources":["../src/lib/docs/data.ts","../src/lib/docs/formatters.ts","../src/lib/validator/compiler-host.ts","../src/lib/validator/validate.ts","../src/index.ts"],"sourcesContent":["/**\n * Runtime loader for functype CLI data.\n * Uses dynamic import so the data reflects whichever functype version\n * is installed in node_modules at runtime (not baked in at build time).\n */\n\nimport { createRequire } from \"node:module\"\nimport { pathToFileURL } from \"node:url\"\n\nexport type { InterfaceData, TypeData } from \"functype/cli\"\nimport type { InterfaceData, TypeData } from \"functype/cli\"\n\nconst require = createRequire(import.meta.url)\n\nexport let TYPES: Record<string, TypeData> = {}\nexport let INTERFACES: Record<string, InterfaceData> = {}\nexport let CATEGORIES: Record<string, string[]> = {}\nexport let FULL_INTERFACES: Record<string, string> = {}\nexport let VERSION = \"unknown\"\n\nlet initialized = false\n\nexport async function initDocsData(force?: boolean): Promise<void> {\n  if (initialized && !force) return\n\n  try {\n    let cli: typeof import(\"functype/cli\")\n    if (force) {\n      const resolvedPath = require.resolve(\"functype/cli\")\n      cli = await import(`${pathToFileURL(resolvedPath).href}?t=${Date.now()}`)\n    } else {\n      cli = await import(\"functype/cli\")\n    }\n    TYPES = cli.TYPES\n    INTERFACES = cli.INTERFACES\n    CATEGORIES = cli.CATEGORIES\n    FULL_INTERFACES = cli.FULL_INTERFACES\n    VERSION = cli.VERSION\n    initialized = true\n  } catch (err) {\n    if (force) throw err\n    console.error(\"[functype-mcp] Failed to load functype/cli data — doc tools will return empty results:\", err)\n  }\n}\n","/**\n * Markdown formatters for MCP tool output.\n * Plain TypeScript — no functype dependency in formatters.\n */\n\nimport type { InterfaceData, TypeData } from \"./data\"\nimport { CATEGORIES, FULL_INTERFACES, INTERFACES, TYPES, VERSION } from \"./data\"\n\nconst METHOD_CATEGORIES = [\"create\", \"transform\", \"extract\", \"check\", \"other\"] as const\n\nexport const formatOverview = (): string => {\n  const lines: string[] = [`# functype ${VERSION} — Scala-inspired FP for TypeScript`, \"\"]\n\n  for (const [category, typeNames] of Object.entries(CATEGORIES)) {\n    lines.push(`## ${category}`, \"\")\n    for (const name of typeNames) {\n      const type = TYPES[name]\n      if (type) {\n        const ifaces = type.interfaces.length > 0 ? ` [${type.interfaces.join(\", \")}]` : \"\"\n        lines.push(`**${name}**${ifaces}`)\n        lines.push(`  ${type.description}`, \"\")\n      }\n    }\n  }\n\n  lines.push(\"---\", \"Use `get_type_api` for detailed type reference.\", \"Use `get_interfaces` for interface hierarchy.\")\n  return lines.join(\"\\n\")\n}\n\nexport const formatType = (name: string, data: TypeData, includeFullInterface?: boolean): string => {\n  const ifaceList = data.interfaces.length > 0 ? ` [${data.interfaces.join(\", \")}]` : \"\"\n  const lines: string[] = [`# ${name}<T>${ifaceList}`, \"\", data.description, \"\"]\n\n  for (const cat of METHOD_CATEGORIES) {\n    const methods = data.methods[cat]\n    if (methods && methods.length > 0) {\n      lines.push(`## ${cat.charAt(0).toUpperCase() + cat.slice(1)}`, \"\")\n      for (const method of methods) {\n        lines.push(`- \\`${method}\\``)\n      }\n      lines.push(\"\")\n    }\n  }\n\n  if (includeFullInterface) {\n    const fullInterface = FULL_INTERFACES[name]\n    if (fullInterface) {\n      lines.push(\"## Full Interface\", \"\", \"```typescript\", fullInterface, \"```\")\n    }\n  }\n\n  return lines.join(\"\\n\").trimEnd()\n}\n\nexport const formatInterfaces = (): string => {\n  const lines: string[] = [\"# Interfaces\", \"\"]\n\n  for (const [name, data] of Object.entries(INTERFACES)) {\n    const ext = data.extends ? ` extends ${data.extends}` : \"\"\n    lines.push(`## ${name}<A>${ext}`, \"\", data.description, \"\")\n    for (const method of data.methods) {\n      lines.push(`- \\`${method}\\``)\n    }\n    lines.push(\"\")\n  }\n\n  return lines.join(\"\\n\").trimEnd()\n}\n\nexport const searchTypes = (query: string): string => {\n  const q = query.toLowerCase()\n\n  // Check for exact type name match first (case-sensitive, e.g. \"IO\", \"Map\", \"Option\")\n  const exactMatch = TYPES[query]\n  if (exactMatch) {\n    return formatType(query, exactMatch)\n  }\n\n  const matches: Array<{ name: string; data: TypeData }> = []\n\n  for (const [name, data] of Object.entries(TYPES)) {\n    const nameMatch = name.toLowerCase().includes(q)\n    const descMatch = data.description.toLowerCase().includes(q)\n    const ifaceMatch = data.interfaces.some((i) => i.toLowerCase().includes(q))\n    const methodMatch = Object.values(data.methods)\n      .flat()\n      .some((m) => m.toLowerCase().includes(q))\n\n    if (nameMatch || descMatch || ifaceMatch || methodMatch) {\n      matches.push({ name, data })\n    }\n  }\n\n  if (matches.length === 0) {\n    return `No types found matching \"${query}\". Available types: ${Object.keys(TYPES).join(\", \")}`\n  }\n\n  if (matches.length === 1) {\n    const match = matches[0]!\n    return formatType(match.name, match.data)\n  }\n\n  // Prioritize name matches over description/method substring matches\n  const nameMatches = matches.filter((m) => m.name.toLowerCase().includes(q))\n  const otherMatches = matches.filter((m) => !m.name.toLowerCase().includes(q))\n  const sorted = [...nameMatches, ...otherMatches]\n\n  const lines: string[] = [`# Search results for \"${query}\"`, \"\", `Found ${sorted.length} matching types:`, \"\"]\n  for (const match of sorted) {\n    const ifaces = match.data.interfaces.length > 0 ? ` [${match.data.interfaces.join(\", \")}]` : \"\"\n    lines.push(`**${match.name}**${ifaces}`)\n    lines.push(`  ${match.data.description}`, \"\")\n  }\n\n  lines.push(\"---\", \"Use `get_type_api` with a specific type name for full details.\")\n  return lines.join(\"\\n\")\n}\n\nexport const getTypeByName = (name: string): { name: string; data: TypeData } | undefined => {\n  const direct = TYPES[name]\n  if (direct) return { name, data: direct }\n\n  const entry = Object.entries(TYPES).find(([typeName]) => typeName.toLowerCase() === name.toLowerCase())\n  if (entry) return { name: entry[0], data: entry[1] }\n\n  return undefined\n}\n\nexport const getInterfaceByName = (name: string): { name: string; data: InterfaceData } | undefined => {\n  const direct = INTERFACES[name]\n  if (direct) return { name, data: direct }\n\n  const entry = Object.entries(INTERFACES).find(([ifaceName]) => ifaceName.toLowerCase() === name.toLowerCase())\n  if (entry) return { name: entry[0], data: entry[1] }\n\n  return undefined\n}\n","/**\n * Custom TypeScript CompilerHost for in-memory type-checking of functype code.\n * Resolves functype .d.ts files from node_modules for accurate type validation.\n */\n\nimport { readFileSync } from \"node:fs\"\nimport { createRequire } from \"node:module\"\nimport { dirname, join, resolve } from \"node:path\"\n\nimport ts from \"typescript\"\n\nconst require = createRequire(import.meta.url)\n\nconst resolveFunctypeDistDir = (): string => {\n  // Resolve the main entry point, then walk up to find the dist dir\n  const functypeMain = require.resolve(\"functype\")\n  // functypeMain is something like .../node_modules/functype/dist/index.js\n  // Walk up until we find a directory containing package.json\n  let dir = dirname(functypeMain)\n  for (let i = 0; i < 5; i++) {\n    try {\n      readFileSync(join(dir, \"package.json\"), \"utf-8\")\n      return join(dir, \"dist\")\n    } catch {\n      dir = dirname(dir)\n    }\n  }\n  // Fallback: assume dist is sibling to main\n  return dirname(functypeMain)\n}\n\nconst fileCache = new Map<string, string | undefined>()\n\nexport const clearFileCache = (): void => {\n  fileCache.clear()\n}\n\nconst readFileCached = (path: string): string | undefined => {\n  if (fileCache.has(path)) return fileCache.get(path)\n  try {\n    const content = readFileSync(path, \"utf-8\")\n    fileCache.set(path, content)\n    return content\n  } catch {\n    fileCache.set(path, undefined)\n    return undefined\n  }\n}\n\nexport const VIRTUAL_FILENAME = \"/__functype_validate__.ts\"\n\nexport const compilerOptions: ts.CompilerOptions = {\n  strict: true,\n  target: ts.ScriptTarget.ES2020,\n  module: ts.ModuleKind.ESNext,\n  moduleResolution: ts.ModuleResolutionKind.Bundler,\n  noEmit: true,\n  noUncheckedIndexedAccess: true,\n  skipLibCheck: true,\n  esModuleInterop: true,\n  allowSyntheticDefaultImports: true,\n  declaration: false,\n  sourceMap: false,\n}\n\nexport const createCompilerHost = (sourceCode: string): ts.CompilerHost => {\n  const functypeDistDir = resolveFunctypeDistDir()\n  const defaultHost = ts.createCompilerHost(compilerOptions)\n\n  const host: ts.CompilerHost = {\n    ...defaultHost,\n\n    getSourceFile(fileName, languageVersion) {\n      if (fileName === VIRTUAL_FILENAME) {\n        return ts.createSourceFile(fileName, sourceCode, languageVersion, true)\n      }\n      return defaultHost.getSourceFile(fileName, languageVersion)\n    },\n\n    fileExists(fileName) {\n      if (fileName === VIRTUAL_FILENAME) return true\n      return defaultHost.fileExists(fileName)\n    },\n\n    readFile(fileName) {\n      if (fileName === VIRTUAL_FILENAME) return sourceCode\n      return readFileCached(fileName) ?? defaultHost.readFile(fileName)\n    },\n\n    resolveModuleNames(moduleNames, containingFile) {\n      return moduleNames.map((moduleName): ts.ResolvedModule | undefined => {\n        if (moduleName === \"functype\" || moduleName.startsWith(\"functype/\")) {\n          const subpath = moduleName === \"functype\" ? \"index.d.ts\" : moduleName.replace(\"functype/\", \"\") + \".d.ts\"\n          const resolvedFileName = resolve(functypeDistDir, subpath)\n          if (readFileCached(resolvedFileName) !== undefined) {\n            return { resolvedFileName, isExternalLibraryImport: true }\n          }\n          // Try with /index.d.ts for subpath modules\n          const indexPath = resolve(functypeDistDir, subpath.replace(\".d.ts\", \"/index.d.ts\"))\n          if (readFileCached(indexPath) !== undefined) {\n            return { resolvedFileName: indexPath, isExternalLibraryImport: true }\n          }\n          return undefined\n        }\n\n        const result = ts.resolveModuleName(moduleName, containingFile, compilerOptions, defaultHost)\n        return result.resolvedModule\n      })\n    },\n  }\n\n  return host\n}\n","/**\n * Core validation function — type-checks functype code snippets using the TypeScript Compiler API.\n */\n\nimport ts from \"typescript\"\n\nimport { compilerOptions, createCompilerHost, VIRTUAL_FILENAME } from \"./compiler-host\"\nimport type { ValidateOptions, ValidationDiagnostic, ValidationResult } from \"./types\"\n\nconst DEFAULT_IMPORTS = `import { Option, Some, None, Either, Right, Left, Try, List, Set, Map, Lazy, LazyList, Task, IO, Cond, Match, Brand, ValidatedBrand, Tuple, Stack, Ok, Err } from \"functype\"\\n`\n\nconst hasFunctypeImport = (code: string): boolean => /from\\s+[\"']functype(?:\\/[^\"']*)?[\"']/.test(code)\n\nexport const validateCode = (code: string, options: ValidateOptions = {}): ValidationResult => {\n  const autoImport = options.autoImport ?? true\n  const shouldPrepend = autoImport && !hasFunctypeImport(code)\n  const importLineCount = shouldPrepend ? 1 : 0\n  const fullCode = shouldPrepend ? DEFAULT_IMPORTS + code : code\n\n  const host = createCompilerHost(fullCode)\n  const program = ts.createProgram([VIRTUAL_FILENAME], compilerOptions, host)\n  const allDiagnostics = ts.getPreEmitDiagnostics(program)\n\n  const fileDiagnostics = allDiagnostics.filter((d) => d.file?.fileName === VIRTUAL_FILENAME)\n\n  const rawDiagnostics = fileDiagnostics.map((d) => {\n    const { line, character } = d.file!.getLineAndCharacterOfPosition(d.start ?? 0)\n    return {\n      originalLine: line,\n      line: line - importLineCount + 1,\n      column: character + 1,\n      message: ts.flattenDiagnosticMessageText(d.messageText, \"\\n\"),\n      code: d.code,\n      severity: (d.category === ts.DiagnosticCategory.Error ? \"error\" : \"warning\") as \"error\" | \"warning\",\n    }\n  })\n\n  // Filter out diagnostics from the prepended import line(s) and map to final type\n  const userDiagnostics: ValidationDiagnostic[] = rawDiagnostics\n    .filter((d) => !shouldPrepend || d.originalLine >= importLineCount)\n    .map(({ originalLine: _, ...rest }) => rest)\n\n  return {\n    success: userDiagnostics.filter((d) => d.severity === \"error\").length === 0,\n    diagnostics: userDiagnostics,\n    importsPrepended: shouldPrepend,\n  }\n}\n","import { execFileSync } from \"node:child_process\"\nimport { dirname } from \"node:path\"\nimport { fileURLToPath } from \"node:url\"\n\nimport { FastMCP } from \"fastmcp\"\nimport { z } from \"zod\"\n\nimport { initDocsData, TYPES, VERSION } from \"./lib/docs/data\"\nimport { formatInterfaces, formatOverview, formatType, getTypeByName, searchTypes } from \"./lib/docs/formatters\"\nimport { clearFileCache } from \"./lib/validator/compiler-host\"\nimport { validateCode } from \"./lib/validator/validate\"\n\nconst __dirname = dirname(fileURLToPath(import.meta.url))\nconst PROJECT_ROOT = dirname(__dirname)\n\ndeclare const __VERSION__: string\nconst SERVER_VERSION = (\n  typeof __VERSION__ !== \"undefined\" ? __VERSION__ : \"0.0.0-dev\"\n) as `${number}.${number}.${number}`\n\n// Accepts: dist-tags (latest|next|beta|alpha|canary|rc), and semver of the form\n// [~^]?v?N(.N(.N)?)? with optional prerelease + build metadata. Refuses anything\n// else — in particular pnpm/npm alias syntaxes (file:, git+, npm:, http(s):, …)\n// that would let an attacker install an arbitrary package as `functype`.\n// See GHSA-wcjj-9m6g-2fr2.\nconst SAFE_FUNCTYPE_VERSION =\n  /^(?:latest|next|beta|alpha|canary|rc|[~^]?v?\\d+(?:\\.\\d+){0,2}(?:-[0-9A-Za-z.-]+)?(?:\\+[0-9A-Za-z.-]+)?)$/\n\nexport const isSafeFunctypeVersion = (version: string): boolean => {\n  if (version.trim() !== version) return false\n  if (/[/:\\\\@\\s]/.test(version)) return false\n  return SAFE_FUNCTYPE_VERSION.test(version)\n}\n\nconst isHttpTransport = (): boolean => {\n  const t = process.env.TRANSPORT_TYPE\n  return t === \"httpStream\" || t === \"http\"\n}\n\nfunction createServer() {\n  // set_functype_version installs + dynamic-imports the requested package, so\n  // it is a privileged tool. Only expose it on stdio, where the trust boundary\n  // is the local user. Over HTTP, anyone who can reach the port could downgrade\n  // the installed functype to a vulnerable version. See GHSA-wcjj-9m6g-2fr2.\n  const exposeSetVersion = !isHttpTransport()\n\n  const toolList = [\n    \"- search_docs: Search functype documentation by keyword or type name\",\n    \"- get_type_api: Get detailed API reference for a specific type\",\n    \"- get_interfaces: Get the interface hierarchy (Functor, Monad, Foldable, etc.)\",\n    \"- validate_code: Type-check functype code snippets at compile time\",\n    ...(exposeSetVersion\n      ? [\"- set_functype_version: Switch the functype version at runtime (installs + reloads)\"]\n      : []),\n  ].join(\"\\n\")\n\n  const server = new FastMCP({\n    name: \"functype-mcp-server\",\n    version: SERVER_VERSION,\n    instructions: `Functype MCP Server — documentation lookup and code validation for the functype TypeScript FP library (v${VERSION}).\n\nAvailable tools:\n${toolList}\n\nUse validate_code to verify your functype code is type-correct before presenting it to the user.`,\n  })\n\n  server.addTool({\n    name: \"search_docs\",\n    description:\n      \"Search functype documentation by keyword or type name. Omit query for a full overview of all types and categories.\",\n    parameters: z.object({\n      query: z.string().optional().describe(\"Type name or keyword to search for. Omit for full overview.\"),\n    }),\n    execute: async (args) => {\n      if (!args.query || args.query.trim() === \"\") {\n        return formatOverview()\n      }\n      return searchTypes(args.query)\n    },\n  })\n\n  server.addTool({\n    name: \"get_type_api\",\n    description:\n      \"Get detailed API reference for a specific functype type including methods by category and optionally the full TypeScript interface definition.\",\n    parameters: z.object({\n      type_name: z.string().describe(\"The type name (e.g., Option, Either, List, IO)\"),\n      include_full_interface: z\n        .boolean()\n        .optional()\n        .default(false)\n        .describe(\"Include full TypeScript interface definition\"),\n    }),\n    execute: async (args) => {\n      const found = getTypeByName(args.type_name)\n      if (!found) {\n        // Show TYPES keys (the curated source) — that's what get_type_api\n        // can actually answer. FULL_INTERFACES keys were the previous source\n        // and produced a misleading list (some entries had no detailed data\n        // and would fail lookup).\n        const available = Object.keys(TYPES).sort().join(\", \")\n        return `Type \"${args.type_name}\" not found. Available types: ${available}`\n      }\n      return formatType(found.name, found.data, args.include_full_interface)\n    },\n  })\n\n  server.addTool({\n    name: \"get_interfaces\",\n    description:\n      \"Get the functype interface hierarchy — Functor, Monad, Foldable, Extractable, Matchable, etc. — with their methods and inheritance.\",\n    parameters: z.object({}),\n    execute: async () => {\n      return formatInterfaces()\n    },\n  })\n\n  server.addTool({\n    name: \"validate_code\",\n    description:\n      \"Type-check a functype code snippet using the TypeScript compiler. Returns PASSED or a list of type errors with line/column/message. Use this to verify functype code is type-correct before presenting to users.\",\n    parameters: z.object({\n      code: z.string().describe(\"TypeScript code snippet using functype to type-check\"),\n      auto_import: z\n        .boolean()\n        .optional()\n        .default(true)\n        .describe(\"Automatically import all functype types if no import statement is present. Default: true\"),\n    }),\n    execute: async (args) => {\n      const result = validateCode(args.code, { autoImport: args.auto_import })\n\n      if (result.success) {\n        const importNote = result.importsPrepended ? \" (functype imports auto-added)\" : \"\"\n        return `Validation PASSED${importNote}\\n\\nThe code is type-correct.`\n      }\n\n      const errorLines = result.diagnostics.map((d) => `- Line ${d.line}, Col ${d.column}: ${d.message} (TS${d.code})`)\n      const importNote = result.importsPrepended ? \"\\n\\nNote: functype imports were auto-added.\" : \"\"\n\n      return `Validation FAILED — ${result.diagnostics.length} error(s):\\n\\n${errorLines.join(\"\\n\")}${importNote}`\n    },\n  })\n\n  if (exposeSetVersion) {\n    server.addTool({\n      name: \"set_functype_version\",\n      description:\n        \"Switch the functype version at runtime. Installs the specified version and reloads all documentation and type definitions. Stdio transport only.\",\n      parameters: z.object({\n        version: z.string().describe('The functype version to install (e.g., \"0.46.0\", \"latest\", \"^0.45.0\")'),\n      }),\n      execute: async (args) => {\n        if (!isSafeFunctypeVersion(args.version)) {\n          return `Invalid version \"${args.version}\". Use a semver string (e.g. \"1.4.4\", \"^1.4.0\", \"~1.4\") or a known dist-tag (latest, next, beta, alpha, canary, rc). Alias syntaxes (file:, npm:, git+, URLs) are not allowed.`\n        }\n        const spec = `functype@${args.version}`\n        try {\n          execFileSync(\"pnpm\", [\"add\", \"--ignore-scripts\", spec], {\n            cwd: PROJECT_ROOT,\n            stdio: \"pipe\",\n            timeout: 60_000,\n          })\n        } catch (err) {\n          const message = err instanceof Error ? err.message : String(err)\n          return `Failed to install ${spec}: ${message}`\n        }\n\n        clearFileCache()\n\n        try {\n          await initDocsData(true)\n        } catch {\n          return `Installed ${spec}, but this version does not export functype/cli. Documentation and type definitions are unavailable. The validator will still use the installed version's .d.ts files. Consider using functype >= 0.47.0 for full MCP support.`\n        }\n\n        return `Switched to functype v${VERSION}. Documentation and type definitions have been reloaded.`\n      },\n    })\n  }\n\n  return server\n}\n\nasync function main() {\n  await initDocsData()\n\n  const server = createServer()\n\n  const useHttp = isHttpTransport()\n  const port = parseInt(process.env.PORT || \"3000\")\n  // Default to loopback so an \"I just turned on httpStream\" doesn't silently\n  // expose the server to the LAN. Set HOST=0.0.0.0 explicitly to bind public.\n  const host = process.env.HOST || \"127.0.0.1\"\n\n  if (useHttp) {\n    console.error(`[functype-mcp] Starting HTTP server on ${host}:${port}`)\n    await server.start({\n      transportType: \"httpStream\",\n      httpStream: { port, host, endpoint: \"/mcp\" },\n    })\n    console.error(`[functype-mcp] HTTP server ready at http://${host}:${port}/mcp`)\n  } else {\n    console.error(\"[functype-mcp] Starting in stdio mode\")\n    await server.start({ transportType: \"stdio\" })\n  }\n}\n\nprocess.on(\"SIGINT\", () => process.exit(0))\nprocess.on(\"SIGTERM\", () => process.exit(0))\n\nmain().catch(console.error)\n"],"mappings":";;;;;;;;;;;;;;AAYA,MAAMA,YAAU,cAAc,OAAO,KAAK,GAAG;AAE7C,IAAW,QAAkC,CAAC;AAC9C,IAAW,aAA4C,CAAC;AACxD,IAAW,aAAuC,CAAC;AACnD,IAAW,kBAA0C,CAAC;AACtD,IAAW,UAAU;AAErB,IAAI,cAAc;AAElB,eAAsB,aAAa,OAAgC;CACjE,IAAI,eAAe,CAAC,OAAO;CAE3B,IAAI;EACF,IAAI;EACJ,IAAI,OAEF,MAAM,MAAM,OAAO,GAAG,cADDA,UAAQ,QAAQ,cACU,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI;OAErE,MAAM,MAAM,OAAO;EAErB,QAAQ,IAAI;EACZ,aAAa,IAAI;EACjB,aAAa,IAAI;EACjB,kBAAkB,IAAI;EACtB,UAAU,IAAI;EACd,cAAc;CAChB,SAAS,KAAK;EACZ,IAAI,OAAO,MAAM;EACjB,QAAQ,MAAM,0FAA0F,GAAG;CAC7G;AACF;;;ACnCA,MAAM,oBAAoB;CAAC;CAAU;CAAa;CAAW;CAAS;AAAO;AAE7E,MAAa,uBAA+B;CAC1C,MAAM,QAAkB,CAAC,cAAc,QAAQ,sCAAsC,EAAE;CAEvF,KAAK,MAAM,CAAC,UAAU,cAAc,OAAO,QAAQ,UAAU,GAAG;EAC9D,MAAM,KAAK,MAAM,YAAY,EAAE;EAC/B,KAAK,MAAM,QAAQ,WAAW;GAC5B,MAAM,OAAO,MAAM;GACnB,IAAI,MAAM;IACR,MAAM,SAAS,KAAK,WAAW,SAAS,IAAI,KAAK,KAAK,WAAW,KAAK,IAAI,EAAE,KAAK;IACjF,MAAM,KAAK,KAAK,KAAK,IAAI,QAAQ;IACjC,MAAM,KAAK,KAAK,KAAK,eAAe,EAAE;GACxC;EACF;CACF;CAEA,MAAM,KAAK,OAAO,mDAAmD,+CAA+C;CACpH,OAAO,MAAM,KAAK,IAAI;AACxB;AAEA,MAAa,cAAc,MAAc,MAAgB,yBAA2C;CAElG,MAAM,QAAkB;EAAC,KAAK,KAAK,KADjB,KAAK,WAAW,SAAS,IAAI,KAAK,KAAK,WAAW,KAAK,IAAI,EAAE,KAAK;EAC/B;EAAI,KAAK;EAAa;CAAE;CAE7E,KAAK,MAAM,OAAO,mBAAmB;EACnC,MAAM,UAAU,KAAK,QAAQ;EAC7B,IAAI,WAAW,QAAQ,SAAS,GAAG;GACjC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,YAAY,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE;GACjE,KAAK,MAAM,UAAU,SACnB,MAAM,KAAK,OAAO,OAAO,GAAG;GAE9B,MAAM,KAAK,EAAE;EACf;CACF;CAEA,IAAI,sBAAsB;EACxB,MAAM,gBAAgB,gBAAgB;EACtC,IAAI,eACF,MAAM,KAAK,qBAAqB,IAAI,iBAAiB,eAAe,KAAK;CAE7E;CAEA,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,QAAQ;AAClC;AAEA,MAAa,yBAAiC;CAC5C,MAAM,QAAkB,CAAC,gBAAgB,EAAE;CAE3C,KAAK,MAAM,CAAC,MAAM,SAAS,OAAO,QAAQ,UAAU,GAAG;EACrD,MAAM,MAAM,KAAK,UAAU,YAAY,KAAK,YAAY;EACxD,MAAM,KAAK,MAAM,KAAK,KAAK,OAAO,IAAI,KAAK,aAAa,EAAE;EAC1D,KAAK,MAAM,UAAU,KAAK,SACxB,MAAM,KAAK,OAAO,OAAO,GAAG;EAE9B,MAAM,KAAK,EAAE;CACf;CAEA,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,QAAQ;AAClC;AAEA,MAAa,eAAe,UAA0B;CACpD,MAAM,IAAI,MAAM,YAAY;CAG5B,MAAM,aAAa,MAAM;CACzB,IAAI,YACF,OAAO,WAAW,OAAO,UAAU;CAGrC,MAAM,UAAmD,CAAC;CAE1D,KAAK,MAAM,CAAC,MAAM,SAAS,OAAO,QAAQ,KAAK,GAAG;EAChD,MAAM,YAAY,KAAK,YAAY,CAAC,CAAC,SAAS,CAAC;EAC/C,MAAM,YAAY,KAAK,YAAY,YAAY,CAAC,CAAC,SAAS,CAAC;EAC3D,MAAM,aAAa,KAAK,WAAW,MAAM,MAAM,EAAE,YAAY,CAAC,CAAC,SAAS,CAAC,CAAC;EAC1E,MAAM,cAAc,OAAO,OAAO,KAAK,OAAO,CAAC,CAC5C,KAAK,CAAC,CACN,MAAM,MAAM,EAAE,YAAY,CAAC,CAAC,SAAS,CAAC,CAAC;EAE1C,IAAI,aAAa,aAAa,cAAc,aAC1C,QAAQ,KAAK;GAAE;GAAM;EAAK,CAAC;CAE/B;CAEA,IAAI,QAAQ,WAAW,GACrB,OAAO,4BAA4B,MAAM,sBAAsB,OAAO,KAAK,KAAK,CAAC,CAAC,KAAK,IAAI;CAG7F,IAAI,QAAQ,WAAW,GAAG;EACxB,MAAM,QAAQ,QAAQ;EACtB,OAAO,WAAW,MAAM,MAAM,MAAM,IAAI;CAC1C;CAGA,MAAM,cAAc,QAAQ,QAAQ,MAAM,EAAE,KAAK,YAAY,CAAC,CAAC,SAAS,CAAC,CAAC;CAC1E,MAAM,eAAe,QAAQ,QAAQ,MAAM,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC,SAAS,CAAC,CAAC;CAC5E,MAAM,SAAS,CAAC,GAAG,aAAa,GAAG,YAAY;CAE/C,MAAM,QAAkB;EAAC,yBAAyB,MAAM;EAAI;EAAI,SAAS,OAAO,OAAO;EAAmB;CAAE;CAC5G,KAAK,MAAM,SAAS,QAAQ;EAC1B,MAAM,SAAS,MAAM,KAAK,WAAW,SAAS,IAAI,KAAK,MAAM,KAAK,WAAW,KAAK,IAAI,EAAE,KAAK;EAC7F,MAAM,KAAK,KAAK,MAAM,KAAK,IAAI,QAAQ;EACvC,MAAM,KAAK,KAAK,MAAM,KAAK,eAAe,EAAE;CAC9C;CAEA,MAAM,KAAK,OAAO,gEAAgE;CAClF,OAAO,MAAM,KAAK,IAAI;AACxB;AAEA,MAAa,iBAAiB,SAA+D;CAC3F,MAAM,SAAS,MAAM;CACrB,IAAI,QAAQ,OAAO;EAAE;EAAM,MAAM;CAAO;CAExC,MAAM,QAAQ,OAAO,QAAQ,KAAK,CAAC,CAAC,MAAM,CAAC,cAAc,SAAS,YAAY,MAAM,KAAK,YAAY,CAAC;CACtG,IAAI,OAAO,OAAO;EAAE,MAAM,MAAM;EAAI,MAAM,MAAM;CAAG;AAGrD;;;;;;;ACnHA,MAAM,UAAU,cAAc,OAAO,KAAK,GAAG;AAE7C,MAAM,+BAAuC;CAE3C,MAAM,eAAe,QAAQ,QAAQ,UAAU;CAG/C,IAAI,MAAM,QAAQ,YAAY;CAC9B,KAAK,IAAI,IAAI,GAAG,IAAI,GAAG,KACrB,IAAI;EACF,aAAa,KAAK,KAAK,cAAc,GAAG,OAAO;EAC/C,OAAO,KAAK,KAAK,MAAM;CACzB,QAAQ;EACN,MAAM,QAAQ,GAAG;CACnB;CAGF,OAAO,QAAQ,YAAY;AAC7B;AAEA,MAAM,4BAAY,IAAI,IAAgC;AAEtD,MAAa,uBAA6B;CACxC,UAAU,MAAM;AAClB;AAEA,MAAM,kBAAkB,SAAqC;CAC3D,IAAI,UAAU,IAAI,IAAI,GAAG,OAAO,UAAU,IAAI,IAAI;CAClD,IAAI;EACF,MAAM,UAAU,aAAa,MAAM,OAAO;EAC1C,UAAU,IAAI,MAAM,OAAO;EAC3B,OAAO;CACT,QAAQ;EACN,UAAU,IAAI,MAAM,KAAA,CAAS;EAC7B;CACF;AACF;AAEA,MAAa,mBAAmB;AAEhC,MAAa,kBAAsC;CACjD,QAAQ;CACR,QAAQ,GAAG,aAAa;CACxB,QAAQ,GAAG,WAAW;CACtB,kBAAkB,GAAG,qBAAqB;CAC1C,QAAQ;CACR,0BAA0B;CAC1B,cAAc;CACd,iBAAiB;CACjB,8BAA8B;CAC9B,aAAa;CACb,WAAW;AACb;AAEA,MAAa,sBAAsB,eAAwC;CACzE,MAAM,kBAAkB,uBAAuB;CAC/C,MAAM,cAAc,GAAG,mBAAmB,eAAe;CA4CzD,OAAO;EAzCL,GAAG;EAEH,cAAc,UAAU,iBAAiB;GACvC,IAAI,aAAA,6BACF,OAAO,GAAG,iBAAiB,UAAU,YAAY,iBAAiB,IAAI;GAExE,OAAO,YAAY,cAAc,UAAU,eAAe;EAC5D;EAEA,WAAW,UAAU;GACnB,IAAI,aAAA,6BAA+B,OAAO;GAC1C,OAAO,YAAY,WAAW,QAAQ;EACxC;EAEA,SAAS,UAAU;GACjB,IAAI,aAAA,6BAA+B,OAAO;GAC1C,OAAO,eAAe,QAAQ,KAAK,YAAY,SAAS,QAAQ;EAClE;EAEA,mBAAmB,aAAa,gBAAgB;GAC9C,OAAO,YAAY,KAAK,eAA8C;IACpE,IAAI,eAAe,cAAc,WAAW,WAAW,WAAW,GAAG;KACnE,MAAM,UAAU,eAAe,aAAa,eAAe,WAAW,QAAQ,aAAa,EAAE,IAAI;KACjG,MAAM,mBAAmB,QAAQ,iBAAiB,OAAO;KACzD,IAAI,eAAe,gBAAgB,MAAM,KAAA,GACvC,OAAO;MAAE;MAAkB,yBAAyB;KAAK;KAG3D,MAAM,YAAY,QAAQ,iBAAiB,QAAQ,QAAQ,SAAS,aAAa,CAAC;KAClF,IAAI,eAAe,SAAS,MAAM,KAAA,GAChC,OAAO;MAAE,kBAAkB;MAAW,yBAAyB;KAAK;KAEtE;IACF;IAGA,OADe,GAAG,kBAAkB,YAAY,gBAAgB,iBAAiB,WACrE,CAAC,CAAC;GAChB,CAAC;EACH;CAGQ;AACZ;;;;;;ACvGA,MAAM,kBAAkB;AAExB,MAAM,qBAAqB,SAA0B,uCAAuC,KAAK,IAAI;AAErG,MAAa,gBAAgB,MAAc,UAA2B,CAAC,MAAwB;CAE7F,MAAM,iBADa,QAAQ,cAAc,SACL,CAAC,kBAAkB,IAAI;CAC3D,MAAM,kBAAkB,gBAAgB,IAAI;CAG5C,MAAM,OAAO,mBAFI,gBAAgB,kBAAkB,OAAO,IAElB;CACxC,MAAM,UAAU,GAAG,cAAc,CAAC,gBAAgB,GAAG,iBAAiB,IAAI;CAkB1E,MAAM,kBAjBiB,GAAG,sBAAsB,OAEX,CAAC,CAAC,QAAQ,MAAM,EAAE,MAAM,aAAa,gBAErC,CAAC,CAAC,KAAK,MAAM;EAChD,MAAM,EAAE,MAAM,cAAc,EAAE,KAAM,8BAA8B,EAAE,SAAS,CAAC;EAC9E,OAAO;GACL,cAAc;GACd,MAAM,OAAO,kBAAkB;GAC/B,QAAQ,YAAY;GACpB,SAAS,GAAG,6BAA6B,EAAE,aAAa,IAAI;GAC5D,MAAM,EAAE;GACR,UAAW,EAAE,aAAa,GAAG,mBAAmB,QAAQ,UAAU;EACpE;CACF,CAG6D,CAAC,CAC3D,QAAQ,MAAM,CAAC,iBAAiB,EAAE,gBAAgB,eAAe,CAAC,CAClE,KAAK,EAAE,cAAc,GAAG,GAAG,WAAW,IAAI;CAE7C,OAAO;EACL,SAAS,gBAAgB,QAAQ,MAAM,EAAE,aAAa,OAAO,CAAC,CAAC,WAAW;EAC1E,aAAa;EACb,kBAAkB;CACpB;AACF;;;AClCA,MAAM,eAAe,QADH,QAAQ,cAAc,OAAO,KAAK,GAAG,CAClB,CAAC;AAGtC,MAAM,iBAAA;AASN,MAAM,wBACJ;AAEF,MAAa,yBAAyB,YAA6B;CACjE,IAAI,QAAQ,KAAK,MAAM,SAAS,OAAO;CACvC,IAAI,YAAY,KAAK,OAAO,GAAG,OAAO;CACtC,OAAO,sBAAsB,KAAK,OAAO;AAC3C;AAEA,MAAM,wBAAiC;CACrC,MAAM,IAAI,QAAQ,IAAI;CACtB,OAAO,MAAM,gBAAgB,MAAM;AACrC;AAEA,SAAS,eAAe;CAKtB,MAAM,mBAAmB,CAAC,gBAAgB;CAY1C,MAAM,SAAS,IAAI,QAAQ;EACzB,MAAM;EACN,SAAS;EACT,cAAc,2GAA2G,QAAQ;;;EAblH;GACf;GACA;GACA;GACA;GACA,GAAI,mBACA,CAAC,qFAAqF,IACtF,CAAC;EACP,CAAC,CAAC,KAAK,IAQA,EAAE;;;CAGT,CAAC;CAED,OAAO,QAAQ;EACb,MAAM;EACN,aACE;EACF,YAAY,EAAE,OAAO,EACnB,OAAO,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,6DAA6D,EACrG,CAAC;EACD,SAAS,OAAO,SAAS;GACvB,IAAI,CAAC,KAAK,SAAS,KAAK,MAAM,KAAK,MAAM,IACvC,OAAO,eAAe;GAExB,OAAO,YAAY,KAAK,KAAK;EAC/B;CACF,CAAC;CAED,OAAO,QAAQ;EACb,MAAM;EACN,aACE;EACF,YAAY,EAAE,OAAO;GACnB,WAAW,EAAE,OAAO,CAAC,CAAC,SAAS,gDAAgD;GAC/E,wBAAwB,EACrB,QAAQ,CAAC,CACT,SAAS,CAAC,CACV,QAAQ,KAAK,CAAC,CACd,SAAS,8CAA8C;EAC5D,CAAC;EACD,SAAS,OAAO,SAAS;GACvB,MAAM,QAAQ,cAAc,KAAK,SAAS;GAC1C,IAAI,CAAC,OAAO;IAKV,MAAM,YAAY,OAAO,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI;IACrD,OAAO,SAAS,KAAK,UAAU,gCAAgC;GACjE;GACA,OAAO,WAAW,MAAM,MAAM,MAAM,MAAM,KAAK,sBAAsB;EACvE;CACF,CAAC;CAED,OAAO,QAAQ;EACb,MAAM;EACN,aACE;EACF,YAAY,EAAE,OAAO,CAAC,CAAC;EACvB,SAAS,YAAY;GACnB,OAAO,iBAAiB;EAC1B;CACF,CAAC;CAED,OAAO,QAAQ;EACb,MAAM;EACN,aACE;EACF,YAAY,EAAE,OAAO;GACnB,MAAM,EAAE,OAAO,CAAC,CAAC,SAAS,sDAAsD;GAChF,aAAa,EACV,QAAQ,CAAC,CACT,SAAS,CAAC,CACV,QAAQ,IAAI,CAAC,CACb,SAAS,0FAA0F;EACxG,CAAC;EACD,SAAS,OAAO,SAAS;GACvB,MAAM,SAAS,aAAa,KAAK,MAAM,EAAE,YAAY,KAAK,YAAY,CAAC;GAEvE,IAAI,OAAO,SAET,OAAO,oBADY,OAAO,mBAAmB,mCAAmC,GAC1C;GAGxC,MAAM,aAAa,OAAO,YAAY,KAAK,MAAM,UAAU,EAAE,KAAK,QAAQ,EAAE,OAAO,IAAI,EAAE,QAAQ,MAAM,EAAE,KAAK,EAAE;GAChH,MAAM,aAAa,OAAO,mBAAmB,gDAAgD;GAE7F,OAAO,uBAAuB,OAAO,YAAY,OAAO,gBAAgB,WAAW,KAAK,IAAI,IAAI;EAClG;CACF,CAAC;CAED,IAAI,kBACF,OAAO,QAAQ;EACb,MAAM;EACN,aACE;EACF,YAAY,EAAE,OAAO,EACnB,SAAS,EAAE,OAAO,CAAC,CAAC,SAAS,6EAAuE,EACtG,CAAC;EACD,SAAS,OAAO,SAAS;GACvB,IAAI,CAAC,sBAAsB,KAAK,OAAO,GACrC,OAAO,oBAAoB,KAAK,QAAQ;GAE1C,MAAM,OAAO,YAAY,KAAK;GAC9B,IAAI;IACF,aAAa,QAAQ;KAAC;KAAO;KAAoB;IAAI,GAAG;KACtD,KAAK;KACL,OAAO;KACP,SAAS;IACX,CAAC;GACH,SAAS,KAAK;IAEZ,OAAO,qBAAqB,KAAK,IADjB,eAAe,QAAQ,IAAI,UAAU,OAAO,GAAG;GAEjE;GAEA,eAAe;GAEf,IAAI;IACF,MAAM,aAAa,IAAI;GACzB,QAAQ;IACN,OAAO,aAAa,KAAK;GAC3B;GAEA,OAAO,yBAAyB,QAAQ;EAC1C;CACF,CAAC;CAGH,OAAO;AACT;AAEA,eAAe,OAAO;CACpB,MAAM,aAAa;CAEnB,MAAM,SAAS,aAAa;CAE5B,MAAM,UAAU,gBAAgB;CAChC,MAAM,OAAO,SAAS,QAAQ,IAAI,QAAQ,MAAM;CAGhD,MAAM,OAAO,QAAQ,IAAI,QAAQ;CAEjC,IAAI,SAAS;EACX,QAAQ,MAAM,0CAA0C,KAAK,GAAG,MAAM;EACtE,MAAM,OAAO,MAAM;GACjB,eAAe;GACf,YAAY;IAAE;IAAM;IAAM,UAAU;GAAO;EAC7C,CAAC;EACD,QAAQ,MAAM,8CAA8C,KAAK,GAAG,KAAK,KAAK;CAChF,OAAO;EACL,QAAQ,MAAM,uCAAuC;EACrD,MAAM,OAAO,MAAM,EAAE,eAAe,QAAQ,CAAC;CAC/C;AACF;AAEA,QAAQ,GAAG,gBAAgB,QAAQ,KAAK,CAAC,CAAC;AAC1C,QAAQ,GAAG,iBAAiB,QAAQ,KAAK,CAAC,CAAC;AAE3C,KAAK,CAAC,CAAC,MAAM,QAAQ,KAAK"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functype-mcp-server",
-  "version": "1.4.3",
+  "version": "1.5.0",
   "description": "MCP server for functype documentation lookup and TypeScript code validation",
   "keywords": [
     "mcp",
@@ -45,15 +45,15 @@
     "LICENSE"
   ],
   "dependencies": {
-    "fastmcp": "^4.3.0",
+    "fastmcp": "^4.3.1",
     "typescript": "^6.0.3",
     "zod": "^4.4.3",
-    "functype": "1.4.3"
+    "functype": "1.5.0"
   },
   "devDependencies": {
     "@types/node": "^24.13.2",
-    "ts-builds": "^3.2.0",
-    "tsdown": "^0.22.2",
+    "ts-builds": "^3.2.1",
+    "tsdown": "^0.22.3",
     "tsx": "^4.22.4"
   },
   "prettier": "ts-builds/prettier",