A developer built MAREF, an agent governance OS covering all ten OWASP Agentic Top 10 risks, after deploying OpenClaw (then Clawdbot) and discovering it auto-committed 37 passwords and 12 API keys in …
MAREF Engineering released MAREF, an open-source Apache 2.0 agent governance framework whose 10-state Gray Code governance finite state machine is TLA+-verified with 5 invariants and covers all 10 ris…
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 …