MCP.so
ログイン

Miden MCP Server

@greenhat

Miden MCP Server について

Miden MCP server for developers

基本情報

カテゴリ

その他

ライセンス

MIT

ランタイム

node

トランスポート

stdio

公開者

greenhat

設定

標準の設定はありません

このサーバーの README には解析可能な MCP 設定ブロックが含まれていません。インストール手順はリポジトリをご確認ください。

リポジトリ

ツール

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

コメント

「その他」の他のコンテンツ