logo
Login
MCP cover image
miden-mcp logo
Public

miden-mcp

See in Github
2025-04-06

Miden MCP server for developers

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.

  1. npm install
  2. Modify source files
  3. Run npm run build to compile
  4. Run npm run test to run tests
  5. 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.

相关推荐

GPT Creator

GPT Creator

  • https://suefel.com

    • Latest advice and best practices for custom GPT development.

    5 (487)
    newest other
    Scholarly Seeker

    Scholarly Seeker

  • Yusuf Emre Yeşilyurt

    • I find academic articles and books for research and literature reviews.

    5 (448)
    newest other
    TechForRetailGPT

    TechForRetailGPT

  • https://maiplestudio.com

    • Find Exhibitors, Speakers and more

    5 (441)
    newest other
    StreamFinder

    StreamFinder

  • Carlos Ferrin

    • Encuentra películas y series en plataformas de streaming.

    5 (394)
    newest other
    GG33 Basics

    GG33 Basics

  • Joshua Armstrong

    • Confidential guide on numerology and astrology, based of GG33 Public information

    3.3 (357)
    newest other
    Figma to Front-End

    Figma to Front-End

  • Emmet Halm

    • Converts Figma frames into front-end code for various mobile frameworks.

    1.8 (230)
    newest other
    Software Intern

    Software Intern

  • Elijah Ng Shi Yi

    • Advanced software engineer GPT that excels through nailing the basics.

    4.7 (247)
    newest other
    MOARify

    MOARify

  • lumpenspace

    • Take an adjectivised noun, and create images making it progressively more adjective!

    3.9 (126)
    newest other
    Tailwind Helper

    Tailwind Helper

    • Lists Tailwind CSS classes in monospaced font

    1.4 (101)
    newest other
    Siri Shortcut Finder

    Siri Shortcut Finder

  • https://appia.in

    • Siri Shortcut Finder – your go-to place for discovering amazing Siri Shortcuts with ease

    3.8 (474)
    newest other
    mcp-servers-hub

    mcp-servers-hub

  • apappascs

    • 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.

    4 (1)
    micropython-mcp230xx

    micropython-mcp230xx

  • ShrimpingIt

    • Micropython I2C-based manipulation of the MCP series GPIO expander, derived from Adafruit_MCP230xx

    4 (1)
    servers

    servers

  • modelcontextprotocol

    • Model Context Protocol Servers

    1 (1)
    anything-llm

    anything-llm

  • Mintplex-Labs

    • The all-in-one Desktop & Docker AI application with built-in RAG, AI agents, No-code agent builder, MCP compatibility, and more.

    5 (1)
    fetcher-mcp

    fetcher-mcp

  • jae-jae

    • MCP server for fetch web page content using Playwright headless browser.

    4 (1)
    mcphub.nvim

    mcphub.nvim

  • ravitemer

    • A powerful Neovim plugin for managing MCP (Model Context Protocol) servers

    1 (1)
    ollama-mcp-bridge

    ollama-mcp-bridge

  • patruff

    • Bridge between Ollama and MCP servers, enabling local LLMs to use Model Context Protocol tools

    3 (1)
    directories

    directories

  • pontusab

    • The Cursor & Windsurf community, find rules and MCPs

    1 (1)

    Reviews

    3 (1)
    Avatar
    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!