Miden MCP Server

Name: Miden MCP Server
Author: greenhat

@greenhat

リポジトリ

基本情報

カテゴリ

その他

ライセンス

MIT

トランスポート

stdio

作者

greenhat

Miden MCP Server について

Miden MCP server for developers

#miden-mcp#mcp-server #developer-tools

Miden MCP Server の設定

標準の設定はありません

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

リポジトリ

Miden MCP Server のツール

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

—

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

PickFu MCP

PickFu MCP is a Model Context Protocol (MCP) server that connects AI assistants, developers, marketers, product managers, and AI agents to PickFu's consumer research platform. It enables users to create surveys, conduct

Codelf

unbug

A search tool helps dev to solve the naming things problem.

14.2K

🚀 Model Context Protocol (MCP) Curriculum for Beginners

microsoft

This open-source curriculum introduces the fundamentals of Model Context Protocol (MCP) through real-world, cross-language examples in .NET, Java, TypeScript, JavaScript, Rust and Python. Designed for developers, it focuses on practical techniques for building modular, scalable,

16.7K

Handl

Handl speaks the Model Context Protocol. Your whole billing operation — projects, invoices, clients, reports, approvals — as tools any AI assistant can call, inside your autonomy rules.

Soar Flight Booking MCP

Soar Flight Booking MCP is a remote MCP server available at https://mcp.soar.flights.