thea
AI coding-agent verification — a machine-readable rulebook (atlas.yaml) telling agents which commands prove a change; the build fails when checks are skipped. 42 languages, CLI + MCP + CI.