Mistral released Leanstral 1.5, a formal verification agent built on Lean 4, which found five previously unreported bugs in open-source repositories during its first public test. The tool mathematical…
ModernRelay launched Omnigraph, an open-source graph engine designed for multi-agent coordination and context assembly, featuring Git-style branching, multimodal retrieval, and object-storage-native a…
Researchers propose AgenticRei, a deontic policy framework for runtime governance of LLM-driven autonomous AI agents, addressing obligations, dispensations, conflict resolution, and ontological reason…
Microsoft released the Agent Governance Toolkit, a stateless policy engine built on Cedar that intercepts agent actions at sub-millisecond latency and covers all 10 OWASP Agentic Top 10 risks. However…
A new research report analyzing 38 open-source and managed LLM proxy projects finds the market rapidly maturing from simple protocol translators into comprehensive governance platforms. LiteLLM leads …
The Frona v2026.5.5 release introduces a unified identity system where all user-owned entities now use a `Handle` newtype, reshaping policy principals and storage paths under a user handle. Tasks gain…