Miden MCP Server
@greenhat
About Miden MCP Server
Miden MCP server for developers
Basic information
Config
No standard config provided
This server doesn't expose a parseable MCP config block in its README. See the repository for install instructions.
RepositoryTools
1Search Miden developer documentation
Overview
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_docstool - Built using the MCP SDK
Use cases of Miden MCP Server
—
FAQ from Miden MCP Server
—
More Other MCP servers
XcodeBuildMCP
cameroncookeA Model Context Protocol (MCP) server and CLI that provides tools for agent use when working on iOS and macOS projects.
Awesome-MCP-ZH
yzflyMCP 资源精选， MCP指南，Claude MCP，MCP Servers, MCP Clients
Production-ready MCP integrations for AI applications
Klavis-AIKlavis AI: MCP integration platforms that let AI agents use tools reliably at any scale
Reactive Resume
amruthpillaiA one-of-a-kind resume builder that keeps your privacy in mind. Completely secure, customizable, portable, open-source and free forever. Try it out today!
AutoBrowser MCP
autobrowser-aiBrowser MCP is a Model Context Provider (MCP) server that allows AI applications to control your browser
Comments