DoneSpec – deterministic completion checks for AI coding agents

**Brief Summary (2‑3 sentences)** DoneSpec provides deterministic “completion checks” that let AI coding agents verify whether generated code satisfies a given