greenhat/miden-mcp
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.
The Miden MCP Server is a specialized server designed to facilitate interaction between Miden developer tools and the Model Context Protocol (MCP). It serves as a bridge, enabling seamless communication and integration of Miden's development environment with MCP-compatible applications. The server is built using the MCP SDK, ensuring robust and efficient performance. Developers can easily modify and extend the server's capabilities by altering the source files and recompiling the project. The server supports a specific tool, 'search_dev_docs', which allows users to search through Miden's developer documentation efficiently. This feature is particularly useful for developers seeking quick access to relevant information while working on Miden projects. The server is licensed under the MIT License, promoting open-source collaboration and innovation.
Features
- Integration with Miden developer tools
- Built using MCP SDK for robust performance
- Customizable and extendable source code
- Efficient search functionality for developer documentation
- Open-source with MIT License
Usages
usage with local development
{
"mcp": {
"servers": {
"miden": {
"command": "node",
"args": [
"<absolute_path_of_project>/dist/index.js"
]
}
}
}
}Tools
search_dev_docs
Search Miden developer documentation
