Reading up on Cedar
2 deep · digging since mar 04
- One agent, every surface: how we built the Kiro agent harness - Kiro
Kiro unified its IDE, CLI, web, and iOS agent codebases into a single server‑side harness using ACP, enabling cross‑client sessions and shared features.
- When AI writes the software, who verifies it?
The Hacker News discussion argues that as AI writes more code, formal verification tools like Lean must scale to ensure correctness and trustworthiness.