Agent Workbench documentation¶

This documentation is for a project user who delegates coding work to Codex, Claude, or another agent. You do not need to prepare a Workbench design document, operate its JSON interface, or install Lean yourself.

Start here¶

• Installation — install the Skill and understand the files added to a project.
• Getting started — make the first request and understand the response.
• Everyday workflow — correct, interrupt, resume, hand off, verify, and complete work.

Understand the behavior¶

• Concepts — the public terms that may appear in agent reports.
• Reviews — when review is useful, what fresh/resume mean, and who decides findings.
• Lean and assurance — what a Lean receipt establishes and what remains evidence.

Diagnose or audit¶

These references are intentionally detailed. Use them when an operation is rejected, completion is blocked, state appears inconsistent, or you need to audit a guarantee without reading source code.

• State and transition reference
• Native operation reference
• Failure and recovery
• Release contents and validation