Miden MCP Server

This project implements a Model Context Protocol (MCP) server that interacts with Miden developer tools.

Local server

What is the Miden MCP Server?

Miden MCP Server is an MCP project maintained in the greenhat/miden-mcp repository. The maintainer describes its purpose as “This project implements a Model Context Protocol (MCP) server that interacts with Miden developer tools”. Read the project documentation for the complete scope.

Source

Project documentation · Repository · Discovery listing. This profile records the public documentation checked on 2026-10-08.

Recorded tools

Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.

ToolWhat it does
search_dev_docsSearch Miden developer documentation