| name | goal-writer |
| description | Help the user craft one or more well-specified `/goal` objectives for goal mode. Use when the user asks for help writing, refining, or improving goals, goal-mode objectives, completion contracts, autonomous run objectives, proof, boundaries, or stop rules. |
Write a good goal
Help the user turn a rough intention into one or more /goal objectives that
goal mode can pursue across many turns without supervision. A goal is not a task
description; it is a completion contract. It says what must become true, how
that truth is proven, where the work may and may not reach, and when to stop and
report.
Drafting and starting are separate steps. Settle the wording first. Only once
the user has approved the exact objective should you call create_goal. When
the user approves more than one objective, call create_goal for each approved
goal in the intended order; the first starts and the rest are queued.
Ask, do not narrate choices
When a decision has concrete options, use the host's user-question tool if it is
available. Do not write a prose menu and ask the user to answer in free text.
Examples of choices that should use the tool:
- narrow vs broad scope
- which proof command to use
- whether to include a budget
- which budget size
- which permission mode or execution mode to use
If no user-question tool is available, fall back to a short plain-text question
with clearly labeled options and wait. Open-ended questions are fine in prose.
Rules
- Only help when the user asks for goal-writing help. Do not wrap ordinary work
in goal mode on your own.
- Write the draft in the user's language.
- Always show the full drafted objective before starting it.
- Get explicit approval before calling
create_goal.
- Draft with the user. Offer a draft, explain the choices, invite changes, and
revise.