MCP servers tagged stark-proofs

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

live servers

avg trust

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…