One agent, every surface: how we built the Kiro agent harness - Kiro

kept by eddie aug 04

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.
also on Cedar, #ai-agents, #ai-coding, #software-engineering, #developer-tools
GitHub - MoonshotAI/kimi-code: Kimi Code CLI — The Starting Point for Next-Gen Agents
Kimi Code CLI is a terminal-based AI coding agent that reads, edits code, runs commands, and integrates with editors via the Agent Client Protocol.
also on Agent Client Protocol, #ai-agents, #ai-coding, #developer-tools
What you're actually writing when you write a SKILL.md
Skills are loader specifications with three execution stages, not static prompts, and understanding this runtime architecture is the key to writing efficient, portable agent skills.
also on Kiro, #ai-coding, #software-engineering, #developer-tools
On the success of 'natural language programming' - Marc's Blog
Natural language programming succeeds because software has always been built through conversational specification loops, and LLMs now include computers in those loops.
also on Kiro, #ai-coding, #software-engineering, #developer-tools