mcpserver.so LogoMCPFly
Submit
Miden MCP Server logo

Miden MCP Server

by greenhat

Development/ToolsMidenServerDeveloper ToolsContext

This project implements a Model Context Protocol (MCP) server that interacts with Miden developer tools. It provides tools to enhance the context provided to LLMs, improving their ability to generate correct answers.

View on GitHub

Last updated: N/A

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.