Across talks and results from AWS, Figma, Anthropic, and Uber, teams report that verification, not model quality, is the primary constraint on agent adoption. AWS runs Lean proofs against Cedar's auth…
Amazon Web Services (AWS) has open sourced Dogwood, a policy language for governing AI agents, under an Apache 2.0 license. Dogwood uses temporal logic to enforce rules across sequences of actions, en…
AWSBuilder engineers detailed a policy-enforced EKS control plane that separates AI-driven incident diagnosis from production authorization. The architecture uses Cedar policies via Amazon Verified Pe…
AWS has open-sourced Dogwood, a policy language for governing sequences of AI agent tool calls, under the Apache 2.0 license, with support in AgentCore Policy. Unlike Cedar, Dogwood's temporal conditi…
AWS released Dogwood on August 6, an open-source policy language extending Cedar to govern sequences of AI agent tool calls within a session, available under Apache 2.0 on GitHub. Dogwood adds tempora…
AgenTrust launched cMCP (Confidential MCP Runtime), an open-source gateway that enforces MCP tool-call policy inside a hardware Trusted Execution Environment (TEE), at the Confidential Computing Summi…
A Lean 4 project by Peter Schilde, verified-3d-mesh-intersection, uses AI agents to write over 1,000 lines of implementation and more than 60,000 lines of formal proofs, leaving humans to review only …
Mistral released Leanstral 1.5, a formal verification agent built on Lean 4, on July 2, and in its first public test against 57 open-source repositories it found five bugs that human maintainers had n…
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…