spec-driven development

Forall is an AI coding agent from Astrio that generates spec-driven code with machine-checkable proofs. The repo shows two usage paths: a CLI workflow and a hosted MCP verify-only mode for tools like Cursor, Claude Code, or Codex.

A Claude skill and companion repo for spec-driven development: it generates requirements, design, and task files before code is written, and extends the same workflow across Claude Code, Cursor, Windsurf, Copilot, and Aider.

GRID is a small framework for working with coding agents in a spec-driven way. The repository explains its purpose, basic workflow, and how it can be used in CI/CD to check for spec-code-test mismatches.

A detailed write-up about using AI coding agents to build and tune a Rust multi-Paxos consensus engine, with concrete notes on contracts, spec-driven development, testing, and performance work.