Home Docs and knowledge bases risc0-mcp-server Tools RM risc0-mcp-server by eldevodeio.github.eldevode/risc0-mcp-serverv1.0.1 1.3 ยท 27/100How the score works Runs on your machine No known advisories MIT OverviewToolsSecurityAlternatives We have not seen this server list its tools yet.