MCP servers tagged proofs

1 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

AegisTrace

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