Agent skill

Dr Set Goal

Turn a vague DeepReason problem statement into one bounded, falsifiable tranche goal (GOAL.md).

MITAuto-check passed

Install Dr Set Goal

skills CLI

$ npx skills add AHepi/DeepReason --skill dr-set-goal -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI

$ gh skill install AHepi/DeepReason dr-set-goal --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy

$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.claude/skills/dr-set-goal .claude/skills/dr-set-goal && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Paste into Claude Code

Install the "dr-set-goal" agent skill from https://github.com/AHepi/DeepReason/tree/main/.claude/skills/dr-set-goal into .claude/skills/dr-set-goal/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "dr-set-goal", then confirm the skill loads.

Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

$skill-installer

$skill-installer install https://github.com/AHepi/DeepReason/tree/main/.claude/skills/dr-set-goal

Type this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.

skills CLI

$ npx skills add AHepi/DeepReason --skill dr-set-goal -a codex

Project install goes to .agents/skills/; add -g for ~/.codex/skills/.

GitHub CLI

$ gh skill install AHepi/DeepReason dr-set-goal --agent codex

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .agents/skills && cp -r skills-src/.claude/skills/dr-set-goal .agents/skills/dr-set-goal && rm -rf skills-src

Use ~/.agents/skills/ instead of .agents/skills for a personal install.

Codex skills documentation · loads skills from .agents/skills/

Paste into Codex

Install the "dr-set-goal" agent skill from https://github.com/AHepi/DeepReason/tree/main/.claude/skills/dr-set-goal into .agents/skills/dr-set-goal/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "dr-set-goal", then confirm the skill loads.

Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

skills CLI

$ npx skills add AHepi/DeepReason --skill dr-set-goal -a cursor

Project install goes to .agents/skills/; add -g for ~/.cursor/skills/.

GitHub CLI

$ gh skill install AHepi/DeepReason dr-set-goal --agent cursor

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/.claude/skills/dr-set-goal .cursor/skills/dr-set-goal && rm -rf skills-src

Use ~/.cursor/skills/ instead of .cursor/skills for a personal install.

Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/

Paste into Cursor

Install the "dr-set-goal" agent skill from https://github.com/AHepi/DeepReason/tree/main/.claude/skills/dr-set-goal into .cursor/skills/dr-set-goal/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "dr-set-goal", then confirm the skill loads.

Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

gemini skills install

$ gemini skills install https://github.com/AHepi/DeepReason.git --path .claude/skills/dr-set-goal

--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.

skills CLI

$ npx skills add AHepi/DeepReason --skill dr-set-goal -a gemini-cli

Project install goes to .agents/skills/; add -g for ~/.gemini/skills/.

GitHub CLI

$ gh skill install AHepi/DeepReason dr-set-goal --agent gemini-cli

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/.claude/skills/dr-set-goal .gemini/skills/dr-set-goal && rm -rf skills-src

Use ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.

Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/

Paste into Gemini CLI

Install the "dr-set-goal" agent skill from https://github.com/AHepi/DeepReason/tree/main/.claude/skills/dr-set-goal into .gemini/skills/dr-set-goal/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "dr-set-goal", then confirm the skill loads.

Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

GitHub CLI

$ gh skill install AHepi/DeepReason dr-set-goal

Installs for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).

skills CLI

$ npx skills add AHepi/DeepReason --skill dr-set-goal -a github-copilot

Project install goes to .agents/skills/; add -g for ~/.copilot/skills/.

Manual copy

$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .github/skills && cp -r skills-src/.claude/skills/dr-set-goal .github/skills/dr-set-goal && rm -rf skills-src

Use ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.

GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/

Paste into GitHub Copilot

Install the "dr-set-goal" agent skill from https://github.com/AHepi/DeepReason/tree/main/.claude/skills/dr-set-goal into .github/skills/dr-set-goal/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "dr-set-goal", then confirm the skill loads.

GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

skills CLI

$ npx skills add AHepi/DeepReason --skill dr-set-goal -a opencode

OpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.

GitHub CLI

$ gh skill install AHepi/DeepReason dr-set-goal --agent opencode

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/.claude/skills/dr-set-goal .opencode/skills/dr-set-goal && rm -rf skills-src

Use ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.

OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/

Paste into OpenCode

Install the "dr-set-goal" agent skill from https://github.com/AHepi/DeepReason/tree/main/.claude/skills/dr-set-goal into .opencode/skills/dr-set-goal/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "dr-set-goal", then confirm the skill loads.

OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

Facts

Skill name: dr-set-goal
GitHub stars: 141
Token cost: ~601 tokens
SKILL.md length: 294 words
Files: 1
Skills in repo: 30
Repo updated: Sep 10, 2026
First seen: Oct 7, 2026
Licence: MIT

At a glance

Turn a vague DeepReason problem statement into one bounded, falsifiable tranche goal (GOAL.md).

Works in 5 steps: Restate the problem as ONE observable,… → Classify it → Write the success criterion as a command… → …
SKILL.md covers Procedure, GOAL.md template (fill every… and Exit criteria
Calls pytest

What it does

Dr Set Goal is an agent skill from AHepi/DeepReason. Turn a vague DeepReason problem statement into one bounded, falsifiable tranche goal (GOAL.md). Use at the start of every tranche, before any diagnosis or code reading.

Its SKILL.md is about 600 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

The licence is MIT.

Example prompts

“/dr-set-goal”

Workflow steps

5 steps, taken from the first numbered list in SKILL.md.

Restate the problem as ONE observable, checkable statement about the
Classify it
Write the success criterion as a command + expected output. It must
Write the boundary list: files/subsystems presumed in scope (max 3),
Size check: if you cannot imagine the fix under ~150 changed lines

What it can do on your machine

Read from SKILL.md and the folder at commit 9607fba. It shows what the files ask for, not the result of running them.

Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
Shell commands in SKILL.md call:
- pytest
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Dr Set Goal loads about 601 tokens when it runs. Until then it costs about 45 tokens; SKILL.md has 294 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it: ~45
When it runs · the whole SKILL.md, loaded when a task matches: ~601

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from AHepi/DeepReason at commit 9607fba, republished under its MIT licence (© AHepi). 294 words, ~601 tokens.

Download SKILL.mdSave it as .claude/skills/dr-set-goal/SKILL.md (or your agent's skills folder).

name: dr-set-goal
description: Turn a vague DeepReason problem statement into one bounded, falsifiable tranche goal (GOAL.md). Use at the start of every tranche, before any diagnosis or code reading.

Set the tranche goal

Input: a problem statement (from the operator, a failed run, RESULTS.md, or PARKED.md). Output: exactly one GOAL.md. Nothing else. You do not read source code in this phase beyond confirming a file exists.

Procedure

Restate the problem as ONE observable, checkable statement about the record or the tests. Good: "run-9175f0ec terminated budget_denied on all 8 question turns with zero provider calls." Bad: "the scheduler has issues."
Classify it:
- defect — record/tests show behavior contradicting a documented guarantee (spec §, docstring, RESULTS.md claim).
- regression-risk — behavior is undocumented but a change would alter it.
- capability-gap — nothing is broken; something is missing. Only defect tranches may proceed to implementation without explicit operator approval; the other two stop after FIX.md (proposal) and report.
Write the success criterion as a command + expected output. It must be decidable by a machine, e.g.:
- "verify_root(<root>) returns zero conjecture-context violations" or
- "pytest tests/test_x.py::test_y passes and the full gate stays at 0 failed."
Write the boundary list: files/subsystems presumed in scope (max 3), and an explicit NOT-IN-SCOPE line for the nearest tempting neighbor.
Size check: if you cannot imagine the fix under ~150 changed lines and one commit, split the problem and pick the FIRST piece only; put the rest in PARKED.md.

GOAL.md template (fill every field; delete nothing)

# Goal: <one line>
Class: defect | regression-risk | capability-gap
Observed: <one sentence, with the record/test evidence pointer>
Success criterion (machine-decidable):
    <command>
    <expected output>
In scope: <max 3 paths/subsystems>
NOT in scope: <the nearest tempting thing you will not touch>
Budget: <=150 changed lines, 1 commit, <n> hours
Stop conditions inherited from orchestrator: yes

Exit criteria

GOAL.md exists in the tranche directory, committed and pushed.
You have NOT proposed a cause, a fix, or read implementation code.
Return to the orchestrator.

Files

Just SKILL.md in .claude/skills/dr-set-goal of AHepi/DeepReason.

Open the folder on GitHubat commit 9607fba

Compare with similar skills

Dr Set Goal next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Dr Set Goal compared with similar skills
Skill	Stars	Used in	Tokens	Auto-check	Licence	Repo updated
Dr Set Goal this skillAHepi/DeepReason	141	—	~601	Automated safety check: Pass	MIT	1 mo ago
User-Centered Problem Statementdeanpeters/Product-Manager-Skills	7.2k	1 repos	~2.7k	Automated safety check: Pass	Custom licence	1 mo ago
Goalscodewhale-hq/Codewhale	41k	—	~273	Automated safety check: Pass	MIT	today
Is This A Problemanthropics/claude-for-legal	9.6k	2 repos	~2.3k	Automated safety check: Pass	Apache-2.0	11 days ago
Agent Goal Plannerruvnet/ruflo	74k	2 repos	~842	Automated safety check: Pass	MIT	today
Goal Planruvnet/ruflo	74k	—	~807	Automated safety check: Notes	MIT	today

Similar skills

User-Centered Problem Statement
deanpeters/Product-Manager-Skills
Writes a problem statement from the user's point of view, covering who is blocked, what they're trying to do, and how it feels.
7.2k GitHub starsUsed in 1 repo~2.7k tokens
Product & Project ManagementAuto-check passed
Goals
codewhale-hq/Codewhale
Set, review, and update the user's goals. An agent skill from codewhale-hq/Codewhale.
41k GitHub stars~273 tokensUpdated today
Auto-check passed
Is This A Problem
anthropics/claude-for-legal
Official
Fast "is this a problem?" answer for the quick Slack question — pattern-matches against your calibration.
9.6k GitHub starsUsed in 2 repos~2.3k tokens
Business, Finance & HRAuto-check passed
Agent Goal Planner
ruvnet/ruflo
Agent skill for goal-planner - invoke with $agent-goal-planner
74k GitHub starsUsed in 2 repos~842 tokens
Auto-check passed
Goal Plan
ruvnet/ruflo
Create and execute Goal-Oriented Action Plans (GOAP) with precondition analysis, cost optimization, and adaptive replanning
74k GitHub stars~807 tokensUpdated today
Auto-check: notes
Goal Objective Drafter
QwenLM/qwen-code
Turns a vague intention into a /goal objective with one outcome, numbered yes-or-no checks, guardrails, a budget and a block protocol, without starting the work.
28k GitHub stars~3.5k tokensUpdated today
Agent WorkflowsAuto-check passed

More from AHepi/DeepReason

All 30 skills in this repo

Pinker Clarity Workflow
AHepi/DeepReason
Orchestrate a Steven Pinker-grounded workflow for teaching, explanatory writing, or material that must do both.
141 GitHub stars~1.5k tokensUpdated 1 mo ago
Auto-check passed
Pinker Teach For Understanding
AHepi/DeepReason
Design, deliver, or audit explanations and lessons with a Pinker-informed focus on phenomena, the curse of knowledge, concrete models, active reasoning, feedback, and revision.
141 GitHub stars~1.8k tokensUpdated 1 mo ago
Auto-check passed
Pinker Write For Readers
AHepi/DeepReason
Draft, revise, teach, or audit expository prose using Pinker's cognitive approach to style: classic presentation, reader modeling, curse-of-knowledge repair, coherent information order, deliberate…
141 GitHub stars~2.1k tokensUpdated 1 mo ago
Auto-check passed
Example Battery
AHepi/DeepReason
Build a battery of concrete instances BEFORE writing or evaluating any definition, pin, or semantic clause (Reed step 1).
141 GitHub stars~811 tokensUpdated 1 mo ago
Auto-check passed
Authoring Skills
AHepi/DeepReason
Rules for writing, editing, and retiring skill and workflow files for LLM agents.
141 GitHub stars~1.7k tokensUpdated 1 mo ago
Auto-check passed
Deepreason Orchestrator
AHepi/DeepReason
Entry point for any DeepReason problem. An agent skill from AHepi/DeepReason.
141 GitHub stars~1.1k tokensUpdated 1 mo ago
Auto-check passed

Questions about Dr Set Goal

What does Dr Set Goal do?

Turn a vague DeepReason problem statement into one bounded, falsifiable tranche goal (GOAL.md). Dr Set Goal is an agent skill from AHepi/DeepReason.md).

How do I install Dr Set Goal in Claude Code?

Run `npx skills add AHepi/DeepReason --skill dr-set-goal -a claude-code`. Or copy the skill folder (.claude/skills/dr-set-goal in AHepi/DeepReason) into .claude/skills/dr-set-goal in your project. Claude Code loads it when a task matches its description.

How do I install Dr Set Goal in Codex?

Run `npx skills add AHepi/DeepReason --skill dr-set-goal -a codex`. Or copy the skill folder (.claude/skills/dr-set-goal in AHepi/DeepReason) into .agents/skills/dr-set-goal in your project. Codex loads it when a task matches its description.

Can I use Dr Set Goal in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add AHepi/DeepReason --skill dr-set-goal -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/dr-set-goal, .gemini/skills/dr-set-goal, .github/skills/dr-set-goal and .opencode/skills/dr-set-goal in your project.

What does Dr Set Goal need to run?

Going by SKILL.md and its folder, Dr Set Goal needs the command-line tools its instructions call (pytest).

Does Dr Set Goal access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Dr Set Goal safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Dr Set Goal use?

Dr Set Goal is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Dr Set Goal use?

About 601 tokens (SKILL.md is roughly 2.4k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Dr Set Goal?

Skills that share tags, products or a category with Dr Set Goal: User-Centered Problem Statement (deanpeters/Product-Manager-Skills, 7.2k stars), Goals (codewhale-hq/Codewhale, 41k stars), Is This A Problem (anthropics/claude-for-legal, 9.6k stars) and Agent Goal Planner (ruvnet/ruflo, 74k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Dr Set Goal?

AHepi (a GitHub user) maintains it in AHepi/DeepReason, which has 141 GitHub stars. The repository holds 30 skills in this directory. The repository was last updated on September 10, 2026.

Source: AHepi/DeepReason on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.

Install Dr Set Goal

Facts

At a glance

What it does

Example prompts

Workflow steps

What it can do on your machine

Tool permissions

Runs code

Network

Credentials

Context cost

Safety

SKILL.md

Set the tranche goal

Procedure

GOAL.md template (fill every field; delete nothing)

Exit criteria

Files

Compare with similar skills

Similar skills

More from AHepi/DeepReason

Questions about Dr Set Goal