- Conduid
- Marketplace
- #verifiable-ai
MCP servers tagged verifiable-ai
8 live MCP servers tagged "verifiable-ai", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with verifiable-ai.
FABULA LLM 5
The agent harness that makes small local models finish hard tasks — and prove it. Done is enforced by the engine, not the prompt: gates, rewinds, a judge, and a replayable Proof-o…
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.
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.
Igl
IGL, Identity Governed Logic: a governed identity graph, policy engine and signed audit chain for AI agents. Every answer cites its records; every action leaves a receipt. Runtime…
Delicti
Corpus delicti for AI agents — mandate before act, effector receipts, Flare FDC as second witness, bonded consequence. Live on Coston2.
Fde Consultants Protocoles
FDE Consultants Protocoles — open-source Forward Deployed Engineer + DeepSCR protocol: turn any coding agent (Claude Code, Codex, Cursor) into a certifying engineer with verifiabl…
Aingle
The verifiable memory cortex for AI agents: a semantic graph and vector search with zero-knowledge provenance.
Opa Sidecar A2a
Reference implementation of chain-aware authorization for agent-to-agent (A2A) traffic, using Open Policy Agent.