v1.17.0 — engineer 0.33.0

engineer 0.33.0: role agents

Headline of this series: formal verification with TLA+ and Lean arrived in v1.16.0. TLA+ checks every interleaving, and Lean proves properties for every input. Each counterexample lands in your suite as a failing test.

Now you can:

• Fan out reviewers that can't touch your code. Six role agents ship with the plugin: reviewer, panel-adviser, panel-advocate, gauntlet-critic, formal-verifier and verifier. Their tool limits and turn caps are enforced by the agent definition, not requested in a prompt.
• Run parallel agents without flooding your context. Every subagent reply is capped at ~1,500 tokens. The detail goes to a file, and the reply returns its path.
• Override any role per project. Copy agents/<name>.md into your .claude/agents/ and edit it. Plugin agents have the lowest precedence, so your copy wins.
• See what a fan-out costs before you agree to it. The parallelism offer now estimates agents × read set. Coding work that shares context stays sequential.
• Run refine with nothing extra installed. It dispatches three engineer:reviewer agents directly, with no external skill needed.

Earlier in the series: v1.16.1 (safety fixes).

/plugin marketplace add swingerman/engineer