- Conduid
- Marketplace
- #cryptographic-receipts
MCP servers tagged cryptographic-receipts
10 live MCP servers tagged "cryptographic-receipts", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with cryptographic-receipts.
Sanna
Trust infrastructure for AI agents — constitution enforcement and cryptographic receipts. Python SDK.
Qed Proof Core
Proof of Agent Work (PoAW): an open protocol and self-hostable node that verifies what AI agents claim they did and issues signed, publicly checkable receipts.
Kolm
kolm — the AI compiler. Compile any task into a signed .kolm artifact that runs locally. RS-1 open spec, MIT.
Qed Proof MCP
QED Proof MCP server (@qed-proof/mcp): let Claude, Cursor or any MCP client verify an AI agent's claimed work and check signed receipts offline.
Agentvault
Coordination primitive for bounded disclosure between AI agents
HAIDAA
Persistent memory for AI agents. Provenance-aware scientific knowledge graph, read-only MCP server, signed contributions, quarantined publication, schemas and an offline receipt v…
Pfc Connector Gateway Proof
PFC delegation chain governing MCP connector calls, pre-effect gating, scope containment, mid-run revocation that fails closed, signed Ed25519 receipts. Reference implementation,…
Ccs Integrations
Framework-native adapters for CCS (Correctover Conformance Shape) cryptographically signed runtime receipts — Ed25519 + JCS signed audit evidence for AI agent tool calls (Pydantic…
Lucid L2
The Internet of AI — autonomous infrastructure for AI agents. Identity, memory, compute, deployment, payments, reputation, verification. All on-chain.
Authz
Reference middleware for composing Aiyo — the settlement-verified Economic Execution Authorization plane for autonomous systems — above an MCP server. Verify First. Execute Second.