Ocaml MCP

🚀 OCaml MCP

借助人工智能编码助手，为OCaml开发加速。此 MCP 服务器通过Dune、Merlin和其他OCaml平台工具，让人工智能助手与你的OCaml项目实现深度集成。

🚀 快速开始

本项目旨在借助人工智能编码助手为OCaml开发提供助力，通过MCP服务器实现人工智能助手与OCaml项目的深度集成。下面为你介绍安装和使用方法。

安装

opam install ocaml-mcp-server

使用

# 使用标准输入输出
ocaml-mcp-server

# 作为HTTP服务器
ocaml-mcp-server --socket 8080

✨ 主要特性

ocaml-mcp-server 提供了全面的OCaml开发工具：

Dune构建系统集成

• dune/build-status - 实时构建状态并报告错误
• dune/build-target - 构建特定目标并流式输出结果
• dune/run-tests - 执行测试并提供详细结果（🚧 开发中 - 暂无测试）

OCaml代码分析

• ocaml/module-signature - 从编译产物中获取模块签名
• ocaml/find-definition - 跳转到符号定义处（🚧 开发中 - 暂无测试）
• ocaml/find-references - 查找符号的所有使用位置（🚧 开发中 - 暂无测试）
• ocaml/type-at-pos - 获取光标位置的类型信息（🚧 开发中 - 暂无测试）
• ocaml/project-structure - 分析项目布局和依赖关系
• ocaml/eval - 在项目上下文中评估OCaml表达式

文件系统工具（具备OCaml强大功能）

• fs/read - 读取文件并自动为OCaml代码提供Merlin诊断信息
• fs/write - 写入文件并自动进行OCaml格式化
• fs/edit - 编辑文件并保持OCaml语法的有效性

该服务器与Merlin、Dune RPC、ocamlformat和其他OCaml平台工具集成。

📦 安装指南

你可以使用以下命令安装 ocaml-mcp-server：

opam install ocaml-mcp-server

💻 使用示例

基础用法

使用标准输入输出启动服务器：

ocaml-mcp-server

高级用法

将服务器作为HTTP服务器启动，监听8080端口：

ocaml-mcp-server --socket 8080

📚 详细文档

什么是MCP？

MCP是一种开放协议，它允许人工智能模型安全地访问本地服务和工具。本项目提供了OCaml的核心协议实现以及一个可直接使用的开发服务器。

项目概述

此仓库包含以下内容：

协议库

用于在OCaml中构建你自己的MCP服务器和客户端：

• mcp - 核心协议实现（类型、客户端、服务器）
• mcp-eio - 传输层（标准输入输出、套接字、内存、HTTP）
• mcp-sdk - 用于构建MCP服务器和客户端的高级SDK

OCaml开发服务器

• ocaml-mcp-server - 带有OCaml开发工具的可直接使用的MCP服务器

MCP协议实现状态

✅ 已实现

• 核心协议类型和JSON-RPC消息传递
• 客户端/服务器请求 - 响应模式
• 通知处理
• 传输层（标准输入输出、套接字、内存、HTTP）
• 服务器到客户端的请求处理（采样、启发、根节点）
• 带有类型安全工具/资源/提示注册的高级SDK
• 从OCaml类型动态生成JSON模式
• OCaml开发工具（Dune构建状态、从构建产物中获取模块签名）
• 完全符合MCP 2025 - 06 - 18规范

🚧 进行中/缺失

高优先级：

• OAuth 2.1身份验证 - 用于生产环境的安全保障

功能对等：

• 请求生命周期：
  • 超时处理
  • 取消功能 - 目前不支持。协议定义了 $/cancel 通知，但实现正确的取消功能需要线程安全的取消令牌，并在长时间操作中检查取消状态
  • 进度跟踪（已实现基本支持）
• 参数补全支持
• WebSocket和SSE传输
• 一些客户端辅助函数（资源/订阅、补全/完成、日志/设置级别、ping）

贡献代码

欢迎贡献代码！请随时提交问题和拉取请求。

📄 许可证

ocaml-mcp 采用 ISC许可证。