Confidential guide on numerology and astrology, based of GG33 Public information
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.
相关推荐
Converts Figma frames into front-end code for various mobile frameworks.
Advanced software engineer GPT that excels through nailing the basics.
Take an adjectivised noun, and create images making it progressively more adjective!
Siri Shortcut Finder – your go-to place for discovering amazing Siri Shortcuts with ease
I find academic articles and books for research and literature reviews.
Discover the most comprehensive and up-to-date collection of MCP servers in the market. This repository serves as a centralized hub, offering an extensive catalog of open-source and proprietary MCP servers, complete with features, documentation links, and contributors.
Micropython I2C-based manipulation of the MCP series GPIO expander, derived from Adafruit_MCP230xx
Bridge between Ollama and MCP servers, enabling local LLMs to use Model Context Protocol tools
🔍 Enabling AI assistants to search and access PyPI package information through a simple MCP interface.
🧑🚀 全世界最好的LLM资料总结（Agent框架、辅助编程、数据处理、模型训练、模型推理、o1 模型、MCP、小语言模型、视觉语言模型） | Summary of the world's best LLM resources.
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!