Public
miden-mcp
2025-04-06
Miden MCP server for developers
3 years
Works with Finder
1
Github Watches
0
Github Forks
0
Github Stars
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 buildto compile - Run
npm run testto 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.
相关推荐
I find academic articles and books for research and literature reviews.
Confidential guide on numerology and astrology, based of GG33 Public information
Embark on a thrilling diplomatic quest across a galaxy on the brink of war. Navigate complex politics and alien cultures to forge peace and avert catastrophe in this immersive interstellar adventure.
Converts Figma frames into front-end code for various mobile frameworks.
Advanced software engineer GPT that excels through nailing the basics.
💬 MaxKB is a ready-to-use AI chatbot that integrates Retrieval-Augmented Generation (RAG) pipelines, supports robust workflows, and provides advanced MCP tool-use capabilities.
Micropython I2C-based manipulation of the MCP series GPIO expander, derived from Adafruit_MCP230xx
MCP server to provide Figma layout information to AI coding agents like Cursor
A preconfigured development container setup for AI-assisted development with Claude, based on VS Code Dev Containers with integrated Model Context Protocol (MCP) server for file system and shell operations.
Reviews
3
(1)
user_bRUys1n1
2025-04-17
I've been using miden-mcp by greenhat for a while now, and it's amazing! The functionality and flexibility are top-notch, making it a go-to tool for my projects. The documentation on GitHub is clear and helpful, and the community around it is very supportive. Highly recommended!