logo
Login
Cover image
Miden-MCP
Public

Miden-MCP

Try Now
2025-04-06

Miden MCP Server für Entwickler

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.

  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.

相关推荐

GG33 Grundlagen

GG33 Grundlagen

  • Joshua Armstrong

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

    3.3 (235)
    neueste andere
    GPT -Schöpfer

    GPT -Schöpfer

  • https://suefel.com

    • Latest advice and best practices for custom GPT development.

    5 (397)
    neueste andere
    Figma zum Front-End

    Figma zum Front-End

  • Emmet Halm

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

    1.8 (254)
    neueste andere
    Moarify

    Moarify

  • lumpenspace

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

    3.9 (162)
    neueste andere
    Software -Praktikant

    Software -Praktikant

  • Elijah Ng Shi Yi

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

    4.7 (191)
    neueste andere
    Techforretailgpt

    Techforretailgpt

  • https://maiplestudio.com

    • Find Exhibitors, Speakers and more

    5 (161)
    neueste andere
    α7III -Leitfaden

    α7III -Leitfaden

  • tomoyoshi hirata

    • Sony α7IIIマニュアルアシスタント

    2.4 (367)
    neueste andere
    Streamfinder

    Streamfinder

  • Carlos Ferrin

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

    5 (476)
    neueste andere
    Wissenschaftlicher Suchender

    Wissenschaftlicher Suchender

  • Yusuf Emre Yeşilyurt

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

    5 (339)
    neueste andere
    MCP-Servers-Hub

    MCP-Servers-Hub

  • apappascs

    • Entdecken Sie die umfassendste und aktuellste Sammlung von MCP-Servern auf dem Markt. Dieses Repository dient als zentraler Hub und bietet einen umfangreichen Katalog von Open-Source- und Proprietary MCP-Servern mit Funktionen, Dokumentationslinks und Mitwirkenden.

    4 (1)
    Fetcher-MCP

    Fetcher-MCP

  • jae-jae

    • MCP -Server für den Fetch -Webseiteninhalt mit dem Headless -Browser von Dramatikern.

    4 (1)
    McPhub.nvim

    McPhub.nvim

  • ravitemer

    • Ein leistungsstarkes Neovim -Plugin für die Verwaltung von MCP -Servern (Modellkontextprotokoll)

    1 (1)
    Ollama-MCP-Bridge

    Ollama-MCP-Bridge

  • patruff

    • Brücke zwischen Ollama und MCP -Servern und ermöglicht es lokalen LLMs, Modellkontextprotokoll -Tools zu verwenden

    3 (1)
    PYPI-MCP-Server

    PYPI-MCP-Server

  • JackKuo666

    • 🔍 Ermöglichen Sie AI -Assistenten, über eine einfache MCP -Schnittstelle auf PYPI -Paketinformationen zu suchen und auf Paketinformationen zuzugreifen.

    5 (1)
    Verzeichnisse

    Verzeichnisse

  • pontusab

    • Die Cursor & Windsurf -Community finden Regeln und MCPs

    1 (1)
    Hafen

    Hafen

  • av

    • Führen Sie mühelos LLM -Backends, APIs, Frontends und Dienste mit einem Befehl aus.

    2 (1)
    Alles-llm

    Alles-llm

  • Mintplex-Labs

    • Die All-in-One-Desktop & Docker-AI-Anwendung mit integriertem Lappen, AI-Agenten, No-Code-Agent Builder, MCP-Kompatibilität und vielem mehr.

    5 (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!