Hackage 文档机器控制程序 (MCP)

概述

该机器控制程序 (MCP) 为 AI 助手提供了一个接口，使其能够访问来自 Hackage 的 Haskell 文档。它允许 AI 模型检索特定 Haskell 模块的精确、最新的文档，从而提升 AI 在处理 Haskell 编程方面的能力，尽管其训练数据在此领域有限。

问题陈述

与主流编程语言相比，AI 语言模型在 Haskell 方面的训练数据通常不足，这导致了以下问题：

• Haskell 代码生成的准确性较低
• 困难理解 Haskell 的独特功能和抽象概念
• 对 Haskell 库和模块的信息不准确或过时

该工具通过实时检索来自 Hackage 的权威文档解决了这一差距。

功能

• 检索特定包中任意模块的文档
• 指定确切的包版本以确保准确性
• 清晰、基于文本的输出，易于 AI 助手消费

安装

1. 确保安装了 Python 3.7+ 版本
2. 安装所需的依赖项：

   pip install httpx beautifulsoup4 fastmcp
   

使用方法

你可以使用此 MCP 与支持 MCP 协议的任何 AI 助手一起工作。

运行服务器

python main.py

这将启动使用标准 I/O 传输的 MCP 服务器。

API

MCP 提供了以下工具：

get_docs(package, version, module)

检索特定 Haskell 模块的文档。

参数：

• package (字符串): Hackage 包名（例如，"lens", "yesod-persistent"）
• version (字符串): 包版本（例如，"5.0.0", "2.10.0"）
• module (字符串): 要查找的模块名（例如，"Control.Lens", "Database.Persist"）

返回：

• 指定模块的提取文档文本，或检索失败时的错误消息

示例：

# 获取 lens 5.0.0 中 Control.Lens 的文档
get_docs("lens", "5.0.0", "Control.Lens")

# 获取 vector-algorithms 0.8.0 中 Data.Vector.Algorithms 的文档
get_docs("vector-algorithms", "0.8.0", "Data.Vector.Algorithms")

使用场景

1. 学习 Haskell 库: 在与 AI 工作时获取特定模块的详细信息
2. 理解类型签名: 访问 Haskell 模块中函数的准确类型信息
3. 探索模块层次结构: 了解 Haskell 包中模块的组织方式
4. 验证 AI 生成的代码: 将 AI 的建议与官方文档进行比较

优势

• 为 AI 提供了准确、最新的 Haskell 文档访问权限
• 提高了 AI 生成 Haskell 代码的质量
• 增强了 AI 解释 Haskell 概念的能力，结合权威参考资料
• 减少了讨论 Haskell 库时的臆测

局限性

• 需要互联网连接才能访问 Hackage
• 只提供文档内容，不提供实现代码
• 不同 Haskell 包的文档质量参差不齐

贡献

欢迎为改进此工具做出贡献！一些潜在的改进领域：

• 增加对下载和解析包源代码的支持
• 实现缓存以减少网络请求
• 扩展到支持其他 Haskell 文档来源

许可证

[在此处指定你的许可]