Public
Miden MCP
2025-04-06
Servidor de MCP para desarrolladores
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
Advanced software engineer GPT that excels through nailing the basics.
Emulating Dr. Jordan B. Peterson's style in providing life advice and insights.
Your go-to expert in the Rust ecosystem, specializing in precise code interpretation, up-to-date crate version checking, and in-depth source code analysis. I offer accurate, context-aware insights for all your Rust programming questions.
Converts Figma frames into front-end code for various mobile frameworks.
Take an adjectivised noun, and create images making it progressively more adjective!
Descubra la colección más completa y actualizada de servidores MCP en el mercado. Este repositorio sirve como un centro centralizado, que ofrece un extenso catálogo de servidores MCP de código abierto y propietarios, completos con características, enlaces de documentación y colaboradores.
La aplicación AI de escritorio todo en uno y Docker con trapo incorporado, agentes de IA, creador de agentes sin código, compatibilidad de MCP y más.
Plataforma de automatización de flujo de trabajo de código justo con capacidades de IA nativas. Combine el edificio visual con código personalizado, auto-anfitrión o nube, más de 400 integraciones.
Manipulación basada en Micrypthon I2C del expansor GPIO de la serie MCP, derivada de AdaFruit_MCP230xx
🧑🚀 全世界最好的 llM 资料总结（数据处理、模型训练、模型部署、 O1 模型、 MCP 、小语言模型、视觉语言模型） | Resumen de los mejores recursos del mundo.
Una lista curada de servidores de protocolo de contexto del modelo (MCP)
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!