greenhat/miden-mcp

3.1

developer_tools

If you are the rightful owner of miden-mcp and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to henry@mcphub.com.

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

Miden MCP Server

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

Available tools

This MCP server provides the following tools:

Tool Name	Description
search_dev_docs	Search Miden developer documentation

Development

The server is built using the MCP SDK.

npm install
Modify source files
Run npm run build to compile
Run npm run test to run tests
Add an MCP server that runs this command: node <absolute_path_of_project>/dist/index.js

License

MIT

Example

Here is the log of the chat with Claude Sonnet 3.7 using miden-mcp - https://gist.github.com/greenhat/3c46e4b8ca850639392c1c03b2ae0c7a See that even one tool call to miden-mcp is enough to provide the context to the LLM to generate a correct answer.

Related MCP Servers

View all developer_tools servers →

git-mcp

by idosal

GitMCP is a free, open-source, remote Model Context Protocol (MCP) server that transforms GitHub projects into documentation hubs, enabling AI tools to access up-to-date documentation and code.

developer_tools

mcp-server-chart

by antvis

A Model Context Protocol server for generating charts using AntV.

research_and_data

code2prompt

by mufeedvh

Code2Prompt is a tool that converts your codebase into a single LLM prompt, facilitating code analysis and generation.

developer_tools

repomix

by yamadashy

Repomix is a tool that packs your codebase into AI-friendly formats, making it easier to use with AI tools like LLMs.

developer_tools

mcp-installer

by anaisbetts

mcp-installer is a server that facilitates the installation of other MCP servers using Claude.

developer_tools

osp_marketing_tools

by open-strategy-partners

A comprehensive suite of tools for technical marketing content creation, optimization, and product positioning based on Open Strategy Partners' proven methodologies.

mcp-server-calculator

by githejie

A Model Context Protocol server for calculating. This server enables LLMs to use calculator for precise numerical calculations.

developer_tools

mcp-svelte-docs

by spences10

A Model Context Protocol (MCP) server that provides a comprehensive reference guide for Svelte 5, helping LLMs provide accurate guidance when users are working with Svelte.

developer_tools

Sequential Thinking

by modelcontextprotocol

An MCP server implementation that provides a tool for dynamic and reflective problem-solving through a structured thinking process.

research_and_data

Office-PowerPoint-MCP-Server

by GongRzhe

A MCP server for PowerPoint manipulation using python-pptx, providing tools for creating, editing, and manipulating PowerPoint presentations.

dev-mcp

by Shopify

This project implements a Model Context Protocol (MCP) server that interacts with Shopify Dev, supporting various tools to interact with different Shopify APIs.

developer_tools

n8n-workflow-builder

by makafeli

The n8n Workflow Builder MCP Server is designed to manage n8n workflows, providing tools for workflow management and execution management.

developer_tools

duckduckgo-mcp-server

by nickclyde

A Model Context Protocol (MCP) server that provides web search capabilities through DuckDuckGo, with additional features for content fetching and parsing.

browser_automation

mcp-nixos

by utensils

MCP-NixOS is a Model Context Protocol server designed to provide accurate information about NixOS, Home Manager, and nix-darwin configurations, preventing AI assistants from generating incorrect data.

mindmap-mcp-server

by YuChenSSR

A Model Context Protocol (MCP) server for converting Markdown content to interactive mindmaps.

developer_tools

prisma

by prisma

Prisma is a next-generation ORM for Node.js and TypeScript, providing tools for data modeling, migrations, and querying databases.

github-mcp-server

by github

The GitHub MCP Server is a Model Context Protocol server that integrates with GitHub APIs for automation and interaction.

developer_tools

algorand-mcp

by GoPlausible

This is a Model Context Protocol (MCP) implementation for Algorand blockchain interactions, providing a server package for blockchain interactions and a client package for wallet management and transaction signing.

rapidocr-mcp

by z4none

RapidOCR MCP Server is a Model Context Protocol server that provides an easy-to-use OCR interface.

mcp-datetime

by ZeparHyfar

A datetime formatting service implemented as an MCP server for the Claude Desktop Application.

developer_tools

Diff

by benjamine

diff-mcp is an MCP Server designed to compare text or data and provide a diff.

developer_tools

mcp

by mondaycom

monday.com MCP is an open framework for integrating AI agents with monday.com, providing secure access to structured data and tools for smart decision-making.

cloud_platforms

kicad-mcp

by lamaalrajih

This guide provides instructions for setting up a Model Context Protocol (MCP) server for KiCad, compatible with any MCP-compliant client.

developer_tools

exa-mcp-server

by exa-labs

A Model Context Protocol (MCP) server allows AI assistants to use the Exa AI Search API for real-time web searches in a secure manner.

research_and_data

code-assistant

by stippi

Code Assistant is a CLI tool built in Rust for assisting with code-related tasks, including running as a Model Context Protocol server.

developer_tools

mcp-grafana

by grafana

A Model Context Protocol (MCP) server for Grafana providing access to your Grafana instance and its ecosystem.

GhidraMCP

by LaurieWired

ghidraMCP is a Model Context Protocol server designed to enable LLMs to autonomously reverse engineer applications using Ghidra.

developer_tools