Claude Code

Productivity

AI can generate mathematical security proofs for open-source libraries, enhancing software verification and reducing vulnerabilities.

Google opened Android Studio to third-party AI agents via a 'Bring Your Own Agent' feature supporting more than 40 coding agents, including Anthropic's Claude Agent and OpenAI's Codex. Google says new terminal tools help agents finish UI tasks 77% faster while using up to three times fewer tokens.

Developer Tools • The Decoder

An AI agent built on a Claude model autonomously selected a gene therapy, chose a brain target and injection coordinates, and performed surgery on an epileptic mouse with no human decision-making, according to lead researcher Ocana-Santero. When a calibration error occurred mid-surgery, the agent refused to continue and could not be persuaded otherwise.

Research • The Decoder

A tampered Claude Code extension was live on the Cursor marketplace for about 11 hours, affecting up to 5,000 users, and attempted to steal user data and set up remote access. Cursor took the entire marketplace offline and reinstated it after confirming there was no further risk.

Security • The Decoder