MCP servers tagged proofs

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

live servers

avg trust

188

most stars

AegisTrace

pierce-boggan

Verifiable execution for durable AI agents: policy-bound workflow compiler, hash-chained journal, offline replay, and Merkle + Ed25519 proofs. Go.

★ 188updated 9 days agoMIT

AegisTrace

AegisTrace - verifiable execution for durable AI agents. Compile policy-bound workflows, record every effect, replay without the network, and prove individual events.