MCP servers tagged prover

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

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…