KiroNov 2, 20261 min read

Kiro proves properties of its own harness in Lean

We built an automated way for Kiro to model parts of its own code in Lean, prove theorems about those models, and check each model against TypeScript / Rust /...

Read full article →

Spec it safe: shift left and harden your specs with security requirements

Spec-driven development (SDD) is changing how large teams build software. Instead of relying on a prompt alone, you author a specification that guides an AI...

AIDevTools

1 min

Kiro6d ago

Kiro for Students expands to 41 more universities

We are expanding Kiro for Students to 41 more universities worldwide. Students at every eligible school get one free year of Kiro. This includes 1,000 credits...

AIDevTools

1 min

Weekly Brief

Top 10 engineering articles delivered every Monday.