# Goal Prompt

> Turns a task into a copy-ready /goal command for Claude Code or Codex, with a checkable finish line and a stop bound.

Trail of Bits' skill for goal mode. Goal mode keeps an agent working until a completion condition is met, so a vague condition can keep it looping turn after turn. Goal Prompt drafts that condition as a contract the agent can actually finish, then formats it as a single /goal line for Claude Code or Codex.

What it does
- Writes the goal as an end state, not an activity: what to read first, the exact command that proves it's done, what must not change, and a stop bound
- Closes the easy outs, such as deleting code to silence a check, passing on a subset of tests or editing the checks themselves
- Keeps the goal small, and moves long detail into a GOAL.md file that the goal points to
- Never invents a missing piece: anything it can't ground in your request or your repo comes back as a "Missing:" list
- Narrows security-audit goals to one validated finding at a time, under a threat-model file, following Trail of Bits' codex-config guidance

How it works
- Ask it to write, rewrite, tighten or clean up a goal prompt, and it returns one fenced line: /goal followed by the objective
- A small Python formatter (standard library only, run with uv) puts it on one line, warns when there's no stop clause and rejects anything over the 4,000-character limit instead of cutting it short

How to install it
In Claude Code, run /plugin marketplace add trailofbits/skills, then install goal-prompt from /plugin menu. In Codex, run codex plugin marketplace add trailofbits/skills, then codex plugin add goal-prompt@trailofbits.

Good to know
- It's part of Trail of Bits' open-source skills marketplace on GitHub.
- It only writes the goal. You paste the /goal line into your agent yourself.

- Type: Skill
- Made by: trailofbits
- Category: AI & agents
- Formats: Skills
- Version: a93e49d
- Website: https://github.com/trailofbits/skills/tree/main/plugins/goal-prompt
- Source: https://github.com/trailofbits/skills/tree/HEAD/plugins/goal-prompt/skills/goal-prompt
- Page: https://pluginboard.ai/skills/goal-prompt

## Works with

- ChatGPT
- Claude
- Gemini
- GitHub Copilot
- Cursor
- Claude Code
- Codex
- Antigravity
- Gemini CLI
- Replit
- OpenClaw
- OpenCode
- Hermes Agent

## Install

### ChatGPT

In ChatGPT: Download the goal-prompt folder and zip it, then Plugins → Skills → Create → Upload from your computer. Business and Enterprise plans.

View the folder on GitHub: https://github.com/trailofbits/skills/tree/HEAD/plugins/goal-prompt/skills/goal-prompt

### Claude

In Claude (web or desktop): Download the goal-prompt folder and zip the folder itself, then upload it in Customize → Skills.

View the folder on GitHub: https://github.com/trailofbits/skills/tree/HEAD/plugins/goal-prompt/skills/goal-prompt

### Gemini

In Gemini: Download the goal-prompt folder, then at gemini.google.com click Customize → Skills → Create → Upload and pick the folder (or a .zip of it).

View the folder on GitHub: https://github.com/trailofbits/skills/tree/HEAD/plugins/goal-prompt/skills/goal-prompt

### GitHub Copilot

Run in your terminal:

```shell
npx -y degit trailofbits/skills/plugins/goal-prompt/skills/goal-prompt ~/.copilot/skills/goal-prompt
```

View the folder on GitHub: https://github.com/trailofbits/skills/tree/HEAD/plugins/goal-prompt/skills/goal-prompt

### Cursor

Run in your terminal:

```shell
npx -y degit trailofbits/skills/plugins/goal-prompt/skills/goal-prompt ~/.cursor/skills/goal-prompt
```

View the folder on GitHub: https://github.com/trailofbits/skills/tree/HEAD/plugins/goal-prompt/skills/goal-prompt

### Claude Code

Run in your terminal:

```shell
npx -y degit trailofbits/skills/plugins/goal-prompt/skills/goal-prompt ~/.claude/skills/goal-prompt
```

View the folder on GitHub: https://github.com/trailofbits/skills/tree/HEAD/plugins/goal-prompt/skills/goal-prompt

Or as a Claude Code plugin:

```text
/plugin marketplace add trailofbits/skills
/plugin install goal-prompt@trailofbits
```

### Codex

Run in your terminal:

```shell
npx -y degit trailofbits/skills/plugins/goal-prompt/skills/goal-prompt ~/.agents/skills/goal-prompt
```

View the folder on GitHub: https://github.com/trailofbits/skills/tree/HEAD/plugins/goal-prompt/skills/goal-prompt

### Antigravity

In Antigravity: Copy the goal-prompt folder into ~/.gemini/config/skills (Antigravity app and IDE) or ~/.gemini/antigravity-cli/skills (Antigravity CLI).

View the folder on GitHub: https://github.com/trailofbits/skills/tree/HEAD/plugins/goal-prompt/skills/goal-prompt

### Gemini CLI

Run in your terminal:

```shell
npx -y degit trailofbits/skills/plugins/goal-prompt/skills/goal-prompt ~/.gemini/skills/goal-prompt
```

View the folder on GitHub: https://github.com/trailofbits/skills/tree/HEAD/plugins/goal-prompt/skills/goal-prompt

### Replit

Run in your terminal:

```shell
npx -y degit trailofbits/skills/plugins/goal-prompt/skills/goal-prompt .agents/skills/goal-prompt
```

View the folder on GitHub: https://github.com/trailofbits/skills/tree/HEAD/plugins/goal-prompt/skills/goal-prompt

### OpenClaw

Run in your terminal:

```shell
npx -y degit trailofbits/skills/plugins/goal-prompt/skills/goal-prompt ~/.openclaw/skills/goal-prompt
```

View the folder on GitHub: https://github.com/trailofbits/skills/tree/HEAD/plugins/goal-prompt/skills/goal-prompt

### OpenCode

Run in your terminal:

```shell
npx -y degit trailofbits/skills/plugins/goal-prompt/skills/goal-prompt ~/.config/opencode/skills/goal-prompt
```

View the folder on GitHub: https://github.com/trailofbits/skills/tree/HEAD/plugins/goal-prompt/skills/goal-prompt

### Hermes Agent

Run in your terminal:

```shell
npx -y degit trailofbits/skills/plugins/goal-prompt/skills/goal-prompt ~/.hermes/skills/goal-prompt
```

View the folder on GitHub: https://github.com/trailofbits/skills/tree/HEAD/plugins/goal-prompt/skills/goal-prompt

---
From Pluginboard (https://pluginboard.ai).
