What problem does it solve? Coding agents often claim work is done without proof. DevOS installs a developer harness that turns feature requests into specs of falsifiable claims and blocks completion until verification gates actually run and pass. ## Core Features & Use Cases - Harness Setup: Repo-local installation of the DevOS runtime, workflows, tools, skills, and hooks with additive, never-clobbering writes. - Spec Interview: Scans a repository and guides a current-state to ideal-state interview that seeds an ISA.md spec of falsifiable claims. - Health Checks and Updates: Runs the Doctor tool to diagnose harness problems and the Update workflow after version bumps. - Use Case: After adding a --json flag to a CLI, the harness keeps each claim open until its bash or test probe passes, blocking the agent from declaring victory on a 2/3 count. ## Quick Start Ask the agent to set up the DevOS harness in this repository and then run the spec interview to seed the project ISA.