shield_lock
JinDaGe
← Back to MCP directory
publicPublicdnsLocal runtime

miden-mcp

该项目实现了一个与Miden开发者工具交互的MCP服务器，提供开发者文档搜索功能，基于MCP SDK构建，采用MIT许可。

article

README

🚀 Miden MCP 服务器

本项目实现了一个 Model Context Protocol (MCP) 服务器，可与 Miden 开发工具进行交互，为开发工作提供便利，增强开发效率。

🚀 快速开始

本 MCP 服务器为开发者提供了便捷的开发体验，可借助其提供的工具进行相关操作。

✨ 主要特性

此 MCP 服务器提供了实用的工具，具体如下： | 工具名称 | 描述 | | ----------------------- | ---------------------------------------------- | | search_dev_docs | 搜索 Miden 开发文档 |

📦 安装指南

该服务器基于 MCP SDK 构建，以下是具体的安装和开发步骤：

  1. 执行 npm install 安装依赖。
  2. 根据需求修改源文件。
  3. 运行 npm run build 进行编译。
  4. 运行 npm run test 执行测试。
  5. 添加一个 MCP 服务器，运行命令：node <项目绝对路径>/dist/index.js

💻 使用示例

基础用法

以下是使用 miden-mcp 与 Claude Sonnet 3.7 的聊天日志示例：聊天日志链接。从示例中可以看到，即使仅调用一次 miden-mcp 工具，也能为大语言模型（LLM）提供上下文，以生成正确答案。

📄 许可证

本项目采用 MIT 许可证。

help

Runtime guide

cloud

Hosted runtime

Hosted servers run from a provider-managed environment. You usually connect the MCP client to the hosted endpoint or follow the provider's authorization flow, without keeping a local process alive

  1. Open provider connection page
  2. Authorize or copy endpoint
  3. Connect from your MCP client
terminal

Local runtime / other methods

Local servers run on your own machine or infrastructure. You normally copy the server_config into your MCP client, install the required package, and provide env variables from env_schema when needed

  1. Copy server_config
  2. Install required package
  3. Fill env variables and restart client