Formally verifying agent-written full-stack web apps with PDD Kit

23 hours agoReported by Microsoft Research38

Formally verifying agent-written full-stack web apps with PDD Kit. The story centres on Microsoft. Reported by Microsoft Research. Bharat Hunt files it under AI Coding and AI Agents — the section covering code generation, developer agents, IDEs and software engineering.

Written by Bharat Hunt from the headline and the coverage below. The original reporting is the source of truth.

Read original coverage

Companies, models and people in this story

Microsoftcompany

Reported by Microsoft Research

First seen 23 hours ago

Microsoft ResearchFormally verifying agent-written full-stack web apps with PDD Kit23 hours agoAlex Lavaee, Matthai Philipose

AI Agents22

Implementing defense-in-depth authorization for MCP tools on Amazon Quick

Implementing defense-in-depth authorization for MCP tools on Amazon Quick. It centres on Model Context Protocol, and also names Amazon and Microsoft. Reported by AWS. Bharat Hunt files it under AI Agents and AI Tools — the section covering autonomous and tool-using systems, agent frameworks, MCP and orchestration.

AWS17 Sept 2026

AI Regulation21

A brief history of AI executives calling for regulation

A brief history of AI executives calling for regulation. It centres on OpenAI, and also names Sam Altman and Anthropic. Reported by The Verge. Bharat Hunt files it under AI Regulation — the section covering law, policy, courts, standards and government positions on AI.

← All AI stories

Formally verifying agent-written full-stack web apps with PDD Kit

Companies, models and people in this story

Reported by Microsoft Research

Implementing defense-in-depth authorization for MCP tools on Amazon Quick

A brief history of AI executives calling for regulation

Microsoft exec called AI scraping ‘the largest theft of labor in human history,’ new unredacted filings reveal

Microsoft AI CEO says AI threats are real, and Anthropic is making it worse

Companies, models and people in this story

Reported by Microsoft Research

Related AI coverage

Implementing defense-in-depth authorization for MCP tools on Amazon Quick

A brief history of AI executives calling for regulation

Microsoft exec called AI scraping ‘the largest theft of labor in human history,’ new unredacted filings reveal

Microsoft AI CEO says AI threats are real, and Anthropic is making it worse