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許可證。