OpenAPPA, an open-source deterministic guardrail layer for AI agents, raised agent utility from roughly 40% to roughly 90% in the project's reported benchmarks, according to its authors. The team buil…
A new OpenClaw demo released on GitHub uses Cedar policy and a Yubikey to require human approval for high-impact agent actions such as sending email, moving money, or deleting data, binding each appro…
Amazon Web Services released Dogwood, an open source governance language for AI agents, under an Apache 2.0 license, and added Dogwood policy support inside Amazon Bedrock AgentCore Policy. Dogwood ex…
A developer built hallpass, a self-hosted authorization service that checks whether a specific user is permitted to perform an action in systems like Jira before an AI agent's tool call executes. Rath…
Okta posted a Staff Machine Learning Engineer role on its SecureAI team in Toronto, Ontario, paying CAD 168,000 to 231,000 per year, which the job board reports sits 10% above the $130,000 median for …
AWS's open-source Cedar project is gaining traction among companies like Cloudflare, MongoDB, and Stacklok for managing AI agent access control, as traditional role-based systems struggle with agent i…
AWS has released Cedar, an open-source language and formally verified engine for writing and enforcing authorization policies, designed to be embedded in applications to manage access control for user…
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…