MAREF Engineering published a step-by-step tutorial showing how to connect MAREF to AI agents via the Model Context Protocol (MCP), covering both MAREF as an MCP client to govern external tools and as…
A developer has formalized an agent governance framework using TLA+ and model-checked its safety invariants. The framework, available in the MAREF repo, uses Gray Code state machines to ensure every t…
MAREF, an agentic AI platform, uses TLA+ formal verification to mathematically prove safety invariants in its governance state machine, rather than relying solely on testing. The approach exhaustively…
MAREF, a multi-agent AI security framework, addresses all 10 risks in the OWASP Agentic Top 10 threat model for multi-agent systems, including goal hijacking, tool misuse, and identity abuse, through …