mcpField
M
Miden MCP Server

Miden MCP Server

Local
github.com/greenhatDeveloper Tools0Updated 82w ago
Repository

About Miden MCP Server

An MCP server for developers working with Miden tools. Its documented capability is searching Miden developer documentation through a single tool.

Key features

  1. 01Searches Miden developer documentation

Use cases

  1. 01Finding information in Miden developer documentation

MCP support

Exposes the search_dev_docs tool to MCP clients for searching Miden developer documentation.

#miden-mcp#mcp-server#developer-tools

Configuration

Local server config is the same for every client. Copy it into your client’s MCP config file.

No install method listed yet

We haven’t collected a package or remote endpoint for this server. Follow the instructions in the project README.

Repository

Tools

No tool list yet

Local servers expose tools only once running on your machine, and the maintainer has not provided a tool list.

Details

From the project README

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 NameDescription
search_dev_docsSearch 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.

Comments

Markdown supported

New to MCP?

From what the protocol is to installing your first server, these answers cover most first questions.

An open protocol that defines how AI applications connect to external tools and data in a uniform way. Clients talk to the model; MCP servers provide tools, resources and prompt templates. They exchange standard messages, so one server can be reused by many clients.