MCP servers tagged zkvm

3 live MCP servers tagged "zkvm", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with zkvm.

live servers

avg trust

Ovo

Agent behavior that compiles

risc0-server

git+ELDEVODE

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

Rust Stark Zkvm

Open-source Rust zkVM for STARK-based verifiable computation, powered by Winterfell. Custom VM ISA with branching and registers, STARK prover/verifier, CLI, MCP server, HTTP provi…