Ospec-Workflow
Ospec-Workflow is the harness I use to work with AI coding agents, this site included. Every change goes through the ospec CLI, which works out what the change owes from what it touches and only closes it once it has seen evidence for each obligation.

How it works
The agent declares what it is going to change and the CLI checks it against the real diff. If the change touches a public API, it asks for the contract and its test. If it touches a migration, a compatibility test with a rollback plan. Obligations come from what the change touches, not from what the model says.
Evidence only counts when the CLI has watched the run: a test that fails first and then passes, or the project checks on the current tree. Saying the tests pass satisfies nothing.
It works in Claude Code, Codex, Cursor, VS Code, Copilot CLI, OpenCode and Antigravity, and has an optional SDD mode with OpenSpec for changes that need a spec before code.