MCP.so
登录

Miden MCP Server

@greenhat

基本信息

分类

其他

许可证

MIT

传输方式

stdio

作者

greenhat

关于 Miden MCP Server

Miden MCP server for developers

Miden MCP Server 配置

暂无标准配置

该服务器的 README 中没有可解析的 MCP 配置块,请前往代码仓库查看安装说明。

代码仓库

Miden MCP Server 工具

1

Search Miden developer documentation

概览

What is Miden MCP Server?

Miden MCP Server is a Model Context Protocol (MCP) server that interacts with Miden developer tools. It provides a tool for searching Miden developer documentation.

How to use Miden MCP Server?

Install dependencies with npm install, build with npm run build, then configure an MCP client to run the command: node <absolute_path>/dist/index.js.

Key features of Miden MCP Server

  • Integrates with Miden developer tools
  • Provides a search_dev_docs tool
  • Built using the MCP SDK

Use cases of Miden MCP Server

—

FAQ from Miden MCP Server

—

评论

其他 分类下的更多 MCP 服务器