RISC Zero MCP Documentation Server

Model Context Protocol (MCP) server that provides programmatic access to RISC Zero documentation, enabling AI assistants like Claude to help developers build zkVM applications.

Features

• 🔍 Full-text search across all RISC Zero documentation
• 📚 Documentation retrieval for specific topics and tutorials
• 💡 Example browser with 25+ zkVM example applications
• 🔧 API reference access to Rust crate documentation
• ❓ FAQ lookup for common questions
• 📖 Terminology definitions for zkVM concepts
• ⚡ Fast caching for improved performance
• 🔒 No API keys required for basic usage

Available Tools

1. search_docs - Search documentation by keyword
2. get_documentation - Get specific doc pages
3. list_examples - Browse all examples
4. get_example - Get detailed example info
5. get_api_reference - Access API docs
6. get_faq - Query FAQs
7. get_terminology - Look up terms

Installation

Using npm:

npm install -g risc0-mcp-server
# or run directly
npx risc0-mcp-server

Using Bun (faster):

bun install -g risc0-mcp-server
# or run directly
bunx risc0-mcp-server

Usage

Claude Desktop

Add to your Claude Desktop configuration file:

macOS: ~/Library/Application Support/Claude/claude_desktop_config.json Windows: %APPDATA%\Claude\claude_desktop_config.json

{
  "mcpServers": {
    "risc0-docs": {
      "command": "npx",
      "args": ["-y", "risc0-mcp-server"]
    }
  }
}

Then restart Claude Desktop.

Claude Code

claude mcp add risc0-docs -- npx -y risc0-mcp-server

OpenCode

Add to your opencode.json configuration:

{
  "mcp": {
    "risc0-docs": {
      "type": "local",
      "command": ["npx", "-y", "risc0-mcp-server"]
    }
  }
}

Cursor

Open Cursor Settings > MCP and add a new server:

{
  "mcpServers": {
    "risc0-docs": {
      "command": "npx",
      "args": ["-y", "risc0-mcp-server"]
    }
  }
}

Windsurf

Open Windsurf Settings > MCP and add:

{
  "mcpServers": {
    "risc0-docs": {
      "command": "npx",
      "args": ["-y", "risc0-mcp-server"]
    }
  }
}

Any MCP-compatible client

This server uses stdio transport. Run it with any MCP client by executing:

npx -y risc0-mcp-server

Example Queries

Once connected, ask your AI assistant:

• "Search RISC Zero docs for zkVM quickstart guide"
• "Show me the password checker example"
• "What is a receipt in RISC Zero?"
• "List all available zkVM examples"
• "Get API reference for risc0-zkvm crate"

Development

Using Bun (recommended - faster):

# Clone repository
git clone https://github.com/ELDEVODE/risc0-mcp-server.git
cd risc0-mcp-server

# Install dependencies
bun install

# Build
bun run build

# Run in development mode (with hot reload)
bun run dev

# Lint and format
bun run lint
bun run format

Using npm:

# Clone repository
git clone https://github.com/ELDEVODE/risc0-mcp-server.git
cd risc0-mcp-server

# Install dependencies
npm install

# Build
npm run build

# Run in development mode
npm run dev:npm

# Lint and format
npm run lint
npm run format

Architecture

• Runtime: Compatible with both Bun and Node.js 18+
• Package Manager: Works with both bun and npm
• Server: MCP protocol implementation with stdio transport
• Tools: 7 specialized documentation tools
• Fetcher: GitHub API integration for fetching docs
• Indexer: In-memory search index
• Parser: Markdown and frontmatter parsing
• Cache: TTL-based caching layer

Environment Variables

• GITHUB_TOKEN (optional): GitHub personal access token for higher API rate limits (60/hour unauthenticated, 5000/hour authenticated)

Contributing

Contributions welcome! Please:

1. Fork the repository
2. Create a feature branch
3. Make your changes
4. Add tests if applicable
5. Submit a pull request

License

MIT License - see LICENSE file

Links

• RISC Zero
• RISC Zero Docs
• GitHub
• Discord

Built with ❤️ by the RISC Zero Community