Functype MCP Server

函数类型mcp服务器

MCP服务器 函数类型 --用于AI编辑器的文档查找和编译时TypeScript代码验证。

特性

• search_docs --按关键字或类型名称搜索functype文档
• get_type_api -任何类型的详细API参考（选项、任一项、列表、IO等）
• get_interfaces --接口层次结构（Functor、Monad、可折叠、可提取等）
• validate_code -使用TypeScript编译器API的类型检查函数类型代码段
• set_functype_version --在运行时切换functype版本（安装+重新加载文档和类型）

这 validate_code 工具是杀手级特性：LLM编写functype代码，调用工具，返回类型错误，并在向用户显示之前修复它们。

安装

克劳德桌面

添加到您的Claude桌面配置(~/Library/Application Support/Claude/claude_desktop_config.json):

{
  "mcpServers": {
    "functype": {
      "command": "npx",
      "args": ["functype-mcp-server"]
    }
  }
}

克劳德代码

添加到您的项目 .mcp.json:

{
  "mcpServers": {
    "functype": {
      "command": "npx",
      "args": ["functype-mcp-server"]
    }
  }
}

来源

git clone https://github.com/jordanburke/functype-mcp-server.git
cd functype-mcp-server
pnpm install
pnpm build

然后配置您的MCP客户端以使用 node dist/bin.js.

工具

search_docs

搜索函数类型文档。省略查询以获取完整概述。

query?: string  — Type name or keyword (e.g., "Option", "map", "Foldable")

get_type_api

获取特定类型的详细API参考。

type_name: string              — e.g., "Option", "Either", "List", "IO"
include_full_interface?: bool  — Include full TypeScript interface definition

get_interfaces

获取接口层次结构——Functor、Monad、Foldable、Extractable等。

没有参数。

validate_code

使用TypeScript编译器对functype代码段进行类型检查。

code: string          — TypeScript code to validate
auto_import?: bool    — Auto-import functype types if no import present (default: true)

退货 Validation PASSED 或包含行、列、消息和TS错误代码的错误列表。

set_functype_version

在运行时切换functype版本。安装指定版本并重新加载所有文档和类型定义。

version: string  — Version to install (e.g., "0.47.0", "latest", ...)

需要functype>=0.47.0才能获得完整的文档支持。旧版本仍可通过以下方式进行类型检查 validate_code.

环境变量

发展

pnpm validate          # format + lint + typecheck + test + build
pnpm test              # Run tests
pnpm inspect           # Build + launch MCP Inspector
pnpm serve:dev         # Dev server with tsx watch

许可证

麻省理工学院