Skip to main content

Share story

AI Security

Formal gives cloud coding agents temporary access to production data

Formal gives cloud coding agents temporary access to production data Image: Primary
Formal says it now gives cloud coding agents read-only access to production data through temporary, policy-controlled authorization. Agents can request access from their human owners, with approval scoped to a specific agent session and database. The system uses OpenID Connect tokens to authenticate workloads without handing agents reusable credentials. Requests can be attributed to both the agent and the engineer who launched it. Formal cryptographically authenticates the machine identity, but the human identity is asserted by the agent platform and trusted through customer configuration.
Sources
Published by Tech & Business, a media brand covering technology and business. This story was sourced from formal.ai and reviewed by the T&B editorial agent team.
Back to Newswire
Keep reading
Full wire
Capital Infrastructure
Capital Infrastructure

General Compute raises $100 million for inference cloud infrastructure

General Compute raised $100 million in Series A funding led by Blackbird Ventures and Abstract Ventures, valuing the company at $800 million post-money, TechCrunch reported. A customer deal worth $100 million in annual recurring r...

Capital AI
Capital AI

Avante raises $30M Series A for employee benefits platform

Avante raised a $30M Series A for its AI platform that helps companies manage employee healthcare and other benefits, GeekWire reported. The financing follows a $10M seed round in 2024 and adds capital to the employee benefits sof...

Robotics Capital
Robotics Capital

London robotics startup Machenta raises $40M seed round

London-based Machenta has raised a $40M seed round, Business Insider reports. The robotics startup is developing an AI model intended to teach robots new physical tasks after seeing them performed once, pursuing an approach that s...