1. Conduid
  2. AI
  3. risc0-server
MCP server · AI

risc0-server

Model Context Protocol (MCP) server for RISC Zero documentation - enables AI assistants to access zkVM docs programmatically

39Low

Scored 4 months ago · breakdown

About risc0-server

risc0-server is an MCP server published by git+ELDEVODE in the AI category: model Context Protocol (MCP) server for RISC Zero documentation - enables AI assistants to access zkVM docs programmatically. It has been installed 0 times through Conduid.

Install

Install
npx risc0-mcp-server
Claude Code
claude mcp add risc0-mcp-server -- npx -y risc0-mcp-server
npx
npx -y risc0-mcp-server

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

Ask AI about risc0-server

Powered by Claude · Grounded in docs

I know everything about risc0-server. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

  • ·README presentNot checked yet.
  • ·License declaredNot checked yet.
  • ·Tests presentNot checked yet.
  • ·Dependencies pinnedNot checked yet.
  • ·No dynamic code executionNot checked yet.
  • !Scoped permissionsDoesn't declare a permission scope. Assume it can do anything its process can.

README

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 Bun (recommended - faster):

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

Using npm:

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

Usage

With Claude Desktop

Add to your Claude configuration file:

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

Using bunx (recommended):

{
  "mcpServers": {
    "risc0-docs": {
      "command": "bunx",
      "args": ["@risc0/mcp-docs-server"]
    }
  }
}

Using npx (alternative):

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

Then restart Claude Desktop.

Example Queries

Ask Claude:

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


Built with ❤️ by the RISC Zero Community

README mirrored from the source repository 4 months ago. The original is authoritative.

Questions

About risc0-server

How do I install risc0-server?

Run npx risc0-mcp-server, then add the server to your MCP client's configuration. Conduid has recorded 0 installs, so the command is known to work with current clients.

Is risc0-server safe to use with an AI agent?

Its trust score is 39 out of 100 (low). It passes 0 of 1 static security checks; the failures are listed above. It has no ConduID identity yet, so agent calls to it are not receipted.

Is risc0-server still maintained?

Conduid hasn't recorded a commit date for this repository yet. Check the repository directly for recent activity.