Drafts and formats copy-ready /goal commands for goal mode in Claude Code and Codex.
npx skills add https://github.com/trailofbits/skills --skill goal-prompt
Please help me install this Agent Skill. Skill: goal-prompt Source: https://github.com/trailofbits/skills/tree/main/plugins/goal-prompt/skills/goal-prompt Command: npx skills add https://github.com/trailofbits/skills --skill goal-prompt
Writing a /goal command that actually terminates is hard: vague objectives loop forever, and lazy models exploit loopholes like deleting code instead of fixing it. This Skill turns a rough task description into a single-line, checkable goal objective with a verifiable end state, explicit checks, invariants, and a stop bound.
Ask the agent to turn your task description into a copy-ready /goal command using the goal-prompt skill.
High-intent search queries and answers about installing and using this skill.
State an end state rather than an activity, pair it with an exact check command and its observable result, and always add a stop bound such as "or stop after 20 turns" or a blocked clause. Without a stop bound, a mis-stated condition loops forever.
A good goal joins an end state, scope to read first, a stated check with shown output, invariants, and a stop bound with AND — never OR, since the loop takes the cheaper branch. Keep it under 4,000 characters and collapse to one terminating criterion when possible.
The usual cause is a missing stop bound or blocked clause, or a condition phrased as an activity that can be claimed rather than a verifiable end state. The formatter script warns when no stop clause is detected in the objective.
No, both Claude Code and Codex cap /goal at 4,000 characters, and the formatter rejects longer output. Move detail into a referenced GOAL.md file and keep the objective itself short.
Pair each check with one that closes the cheapest out — for example, pair a zero-matches search with a test run proving the feature still works, so deleting code cannot satisfy the goal. Always include the invariant not to weaken, skip, or edit the checks themselves.
learnzdevelopmenthubOrchestrate GitHub issue planning with design reviews, threat models, and documentation.
OrestesKCraft a paste-ready Pi /goal command from session context and repository evidence.
darkmatterLog goals, phase, decisions, evidence, and next steps to a durable session file.
JamesFincherDecompose complex goals into Kanban tasks with dependency gating and specialist routing.
