MCP servers tagged information-flow-control

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

live servers

avg trust

Navra

Secure MCP gateway for AI agents — deny-wins ACLs, IFC, in-process ML safety, 138 Kani proofs

Elliott

Standalone TypeScript framework for composing secure personal AI agents from one universal primitive — the Component. Manifest-first discovery, capability grants, orthogonal model…

ODIN Project

Odin - Zero Trust AI Agent. Open-source autonomous LLM agent with CaMeL dual-LLM, IFC taint tracking, DID-based identity, 3-ring sandbox, 5-state circuit breaker, and 3-phase cogn…