MCP servers tagged zero-knowledge-proofs

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

live servers

avg trust

Audithub MCP

Connect AI agents to AuditHub’s blockchain security tools. Launch scans, review findings, monitor tasks. Open source, Apache 2.0.

Sourcerykit

Python SDK for accurate and verifiable agent tool use. Agents verify that answers came from the right source and were not changed. Downstream agents detect 100% of errors and retr…

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…

Aingle

The verifiable memory cortex for AI agents: a semantic graph and vector search with zero-knowledge provenance.