Verify
asgeirtj/system_prompts_leaks
Verify that a code change actually does what it's supposed to by exercising it end-to-end and observing behavior — drive the affected flow, not just tests or typecheck.
Craft verifiable, tight goal prompts for AI coding agents (Claude Code /goal, Codex Automations, Pi), either from a standalone task interview or from an already-approved to-goal handoff.
$ npx skills add tt-a1i/matt-skills-with-to-goal --skill goal-crafter -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install tt-a1i/matt-skills-with-to-goal goal-crafter --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/tt-a1i/matt-skills-with-to-goal.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/engineering/goal-crafter .claude/skills/goal-crafter && rm -rf skills-srcUse ~/.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/
Install the "goal-crafter" agent skill from https://github.com/tt-a1i/matt-skills-with-to-goal/tree/main/skills/engineering/goal-crafter into .claude/skills/goal-crafter/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "goal-crafter", 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 install https://github.com/tt-a1i/matt-skills-with-to-goal/tree/main/skills/engineering/goal-crafterType 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.
$ npx skills add tt-a1i/matt-skills-with-to-goal --skill goal-crafter -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install tt-a1i/matt-skills-with-to-goal goal-crafter --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/tt-a1i/matt-skills-with-to-goal.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/engineering/goal-crafter .agents/skills/goal-crafter && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "goal-crafter" agent skill from https://github.com/tt-a1i/matt-skills-with-to-goal/tree/main/skills/engineering/goal-crafter into .agents/skills/goal-crafter/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "goal-crafter", 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.
$ npx skills add tt-a1i/matt-skills-with-to-goal --skill goal-crafter -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install tt-a1i/matt-skills-with-to-goal goal-crafter --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/tt-a1i/matt-skills-with-to-goal.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/engineering/goal-crafter .cursor/skills/goal-crafter && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "goal-crafter" agent skill from https://github.com/tt-a1i/matt-skills-with-to-goal/tree/main/skills/engineering/goal-crafter into .cursor/skills/goal-crafter/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "goal-crafter", 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 https://github.com/tt-a1i/matt-skills-with-to-goal.git --path skills/engineering/goal-crafter--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add tt-a1i/matt-skills-with-to-goal --skill goal-crafter -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install tt-a1i/matt-skills-with-to-goal goal-crafter --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/tt-a1i/matt-skills-with-to-goal.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/engineering/goal-crafter .gemini/skills/goal-crafter && rm -rf skills-srcUse ~/.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/
Install the "goal-crafter" agent skill from https://github.com/tt-a1i/matt-skills-with-to-goal/tree/main/skills/engineering/goal-crafter into .gemini/skills/goal-crafter/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "goal-crafter", 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.
$ gh skill install tt-a1i/matt-skills-with-to-goal goal-crafterInstalls 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).
$ npx skills add tt-a1i/matt-skills-with-to-goal --skill goal-crafter -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/tt-a1i/matt-skills-with-to-goal.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/engineering/goal-crafter .github/skills/goal-crafter && rm -rf skills-srcUse ~/.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/
Install the "goal-crafter" agent skill from https://github.com/tt-a1i/matt-skills-with-to-goal/tree/main/skills/engineering/goal-crafter into .github/skills/goal-crafter/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "goal-crafter", 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.
$ npx skills add tt-a1i/matt-skills-with-to-goal --skill goal-crafter -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install tt-a1i/matt-skills-with-to-goal goal-crafter --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/tt-a1i/matt-skills-with-to-goal.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/engineering/goal-crafter .opencode/skills/goal-crafter && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "goal-crafter" agent skill from https://github.com/tt-a1i/matt-skills-with-to-goal/tree/main/skills/engineering/goal-crafter into .opencode/skills/goal-crafter/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "goal-crafter", 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.
goal-crafterCraft verifiable, tight goal prompts for AI coding agents (Claude Code /goal, Codex Automations, Pi), either from a standalone task interview or from an already-approved to-goal handoff.
Goal Crafter is an agent skill from tt-a1i/matt-skills-with-to-goal. Craft verifiable, tight goal prompts for AI coding agents (Claude Code /goal, Codex Automations, Pi), either from a standalone task interview or from an already-approved to-goal handoff. Use when the user says "给我一个 goal 提示词", "帮我写个 goal", "设置一个自动化任务", "我想让 agent 自动做 X", or asks to turn a task into a self-running loop. Ensures every goal has a checkable completion criterion so the agent knows when it's done.
Its SKILL.md is about 1.8k tokens, which your agent loads only when the skill is triggered. The skill folder holds 4 other files (for example `README.md` and `agents/openai.yaml`).
The repository describes itself as: Planning → verifiable goals → fresh-session implementation for AI coding agents. Based on mattpocock/skills v1.1. The licence is MIT.
4 steps, taken from the step headings in SKILL.md.
Read from SKILL.md and the folder at commit d09351e. It shows what the files ask for, not the result of running them.
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.
Shell commands in SKILL.md call:
tscnpmgitFrom the folder's file list and the shell code blocks in SKILL.md.
No URLs in SKILL.md. Its commands use npm and git, which can reach the network depending on how they are called.
From URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Goal Crafter loads about 1.8k tokens when it runs. Until then it costs about 106 tokens; SKILL.md has 748 words of instructions outside code blocks.
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.
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.
The full file from tt-a1i/matt-skills-with-to-goal at commit d09351e, republished under its MIT licence (© tt-a1i). 748 words, ~1,770 tokens.
.claude/skills/goal-crafter/SKILL.md (or your agent's skills folder). This skill also uses 3 other files; get the full folder from GitHub.Turn a vague task into a verifiable goal that an AI agent can run unattended.
Leading principle: A goal without a checkable completion criterion is just a wish. The agent must be able to answer "Am I done?" without asking a human.
Choose the mode before following the process:
In compiled-handoff mode, if a required product decision or completion condition is genuinely absent from the sources, report that the source is not agent-ready and name the missing evidence. Do not reopen the planning interview from inside goal compilation.
Run this phase only in standalone mode. In compiled-handoff mode, extract the five answers from the upstream evidence without asking questions.
Ask the user, one question at a time, in this shape (standalone interview only — keep compiled-handoff mode emoji-free):
❓ **QN** - **<short title>**
<body>
💡 <your recommended answer, when you have one>Walk these five in order:
What exactly should the agent do? Get the task in one sentence. If it's vague ("优化代码", "改进 UI"), push for specifics.
Where does it run? Which project / repo / workspace? Is there a specific branch or file area?
What does DONE look like? This is the most important question. Push for observable, machine-checkable conditions:
| ❌ Vague (bad) | ✅ Verifiable (good) |
|---|---|
| "代码质量提高" | "tsc --noEmit 0 errors + eslint 0 warnings" |
| "UI 更好看" | "页面在 375px / 768px / 1440px 三个断点下视觉一致,无溢出" |
| "修复所有 bug" | "npm test 全部通过,且 git diff 只包含修复相关改动" |
| "写好文档" | "README.md 包含安装/使用/API 三个章节,每个章节有代码示例" |
| "性能优化" | "Lighthouse Performance 分数 ≥ 90,LCP < 2.5s" |
Any constraints? Don't touch certain files? Must use specific tools? Budget limit? Time limit?
What agent / harness?
Claude Code (/goal), Codex (Automations), Pi, or generic?
Phase 1 complete when you have answers to all 5 questions. If the user can't answer #3, help them brainstorm verifiable conditions — this is the most common failure point.
Write the goal in the target agent's format. Follow these rules:
The three shapes below are the formats this skill deliberately maintains for the harnesses it is most often pointed at. They are a snapshot, not a standard: when the target harness documents a different shape, follow the harness and treat the block here as the fallback. Any harness not listed uses the generic block.
For Claude Code /goal:
Goal: [one-line task description]
Completion criteria:
- [ ] [checkable condition 1]
- [ ] [checkable condition 2]
- [ ] [checkable condition 3]
Constraints:
- [file/area restrictions]
- [tool/approach restrictions]
- [budget/time limits]
Context:
- [key files to read first]
- [relevant docs/specs]
- [related issues/PRs]For Codex Automations:
Task: [one-line description]
Frequency: [once / on push / on schedule]
Verification: [checkable condition]
Workspace: [project path]For Pi / generic:
任务:[一句话]
完成标准:
- [ ] [可验证条件 1]
- [ ] [可验证条件 2]
限制:[约束条件]Before presenting the final goal, self-check:
If any check fails in standalone mode, go back to Phase 1 and ask the user to clarify that specific point. In compiled-handoff mode, report the source as not agent-ready and name the missing evidence instead of asking a new planning question.
In standalone mode, present the final goal and end with:
🎯 把这个 goal 粘贴到 [agent 名称] 里,它就会自己跑到完成。如果中途卡住,告诉我哪条完成标准没达到,我帮你调。
In compiled-handoff mode, the upstream skill owns the delivery wrapper. Return the goal in the requested harness format without adding this standalone closing line.
下面两个示例里的仓库名、目录结构和文件路径都是占位符,不代表任何真实项目的约定。真正产出的 goal 必须写目标仓库当前的真实路径,不要照抄这里的形状。
User: "帮我写个 goal,自动审查 PR"
Clarified:
Output:
Goal: 审查当前分支相对于 origin/main 的 diff
Completion criteria:
- [ ] 已读取完整的 git diff
- [ ] 已检查安全漏洞(SQL 注入、XSS、密钥泄露)
- [ ] 已检查逻辑错误(空指针、竞态条件、边界条件)
- [ ] 已检查代码规范(命名、结构、重复代码)
- [ ] 输出审查报告,每个问题标注:严重度 + 文件:行号 + 问题描述 + 修复建议
Constraints:
- 只读,不修改任何文件
- 只关注当前分支的改动,不审查已有代码
Context:
- 项目背景:<一句话说明这个仓库是什么>
- 设计 spec:<仓库内的设计文档>User: "帮我写个 goal,重做这个页面"
Clarified:
Output:
Goal: 用 shadcn/ui 组件库重做目标页面
Completion criteria:
- [ ] 所有组件替换为 shadcn/ui 等价组件
- [ ] 页面在 375px / 768px / 1440px 断点下无溢出、无错位
- [ ] 所有可交互元素有 hover、focus、active 状态
- [ ] `tsc --noEmit` 0 errors
- [ ] 页面加载后无 console error
Constraints:
- 不修改 API 客户端目录下的任何文件
- 使用项目已有的 Tailwind 主题配置
- 不引入新的 npm 依赖(shadcn 除外)
Context:
- 当前页面:<页面组件文件>
- UI 组件:<组件库入口文件>
- 样式:<全局样式入口>© tt-a1i, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
SKILL.md and 3 other files in skills/engineering/goal-crafter of tt-a1i/matt-skills-with-to-goal.
Open the folder on GitHubat commit d09351e
Goal Crafter 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.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Goal Crafter this skilltt-a1i/matt-skills-with-to-goal | 184 | — | ~1.8k | Automated safety check: Pass | MIT | |
| Verifyasgeirtj/system_prompts_leaks | 69k | — | ~3k | Automated safety check: Pass | CC0-1.0 | |
| Goalscodewhale-hq/Codewhale | 41k | — | ~273 | Automated safety check: Pass | MIT | |
| Verify Thiscursor/plugins | 11k | 2 repos | ~693 | Automated safety check: Pass | None | |
| Verify Releaseopenclaw/openclaw | 392k | — | ~2.4k | Automated safety check: Pass | MIT | |
| Verifycodewhale-hq/Codewhale | 41k | — | ~156 | Automated safety check: Pass | MIT |
asgeirtj/system_prompts_leaks
Verify that a code change actually does what it's supposed to by exercising it end-to-end and observing behavior — drive the affected flow, not just tests or typecheck.
codewhale-hq/Codewhale
Set, review, and update the user's goals. An agent skill from codewhale-hq/Codewhale.
cursor/plugins
Verify a claim with fresh local evidence: restate it falsifiably, capture baseline and treatment, compare artifacts, and return VERIFIED, NOT VERIFIED, or INCONCLUSIVE.
openclaw/openclaw
Verify regular or extended-stable OpenClaw releases against the exact publication surfaces, workflow identities, package provenance, smoke tests, and live Gateway behavior expected for that release…
codewhale-hq/Codewhale
Exercise the real app/API/CLI and collect observable evidence; tests alone do not count as end-to-end verification.
Yeachan-Heo/oh-my-claudecode
Has the agent prove that a feature, fix or refactor works, using existing tests first, then narrow commands and manual checks, and report only what was actually verified.
tt-a1i/matt-skills-with-to-goal
Convene a roundtable of sub-agents that debate a decision or proposal from opposing perspectives — parallel independent statements, anonymous cross-review, then a chaired verdict reporting consensus…
tt-a1i/matt-skills-with-to-goal
Execute approved, bounded work in an isolated implementation conversation and return a structured evidence receipt.
tt-a1i/matt-skills-with-to-goal
Turn approved planning evidence or partially completed work into a portable, verifiable execution goal.
tt-a1i/matt-skills-with-to-goal
Orchestrate approved, bounded work through a same-directory Codex App fork: create and name the execution task, ask it to run spec-executor, route decisions through Codex Task Messenger, validate…
tt-a1i/matt-skills-with-to-goal
Compact the current conversation into a portable handoff document, with an optional live clarification path for compatible Codex tasks.
Craft verifiable, tight goal prompts for AI coding agents (Claude Code /goal, Codex Automations, Pi), either from a standalone task interview or from an already-approved to-goal handoff. Goal Crafter is an agent skill from tt-a1i/matt-skills-with-to-goal. Craft verifiable, tight goal prompts for AI coding agents (Claude Code /goal, Codex Automations, Pi), either from a standalone task interview or from an already-approved to-goal handoff.
Goal Crafter fits situations like: the user says 给我一个 goal 提示词; 我想让 agent 自动做 X; asks to turn a task into a self-running loop.
Run `npx skills add tt-a1i/matt-skills-with-to-goal --skill goal-crafter -a claude-code`. Or copy the skill folder (skills/engineering/goal-crafter in tt-a1i/matt-skills-with-to-goal) into .claude/skills/goal-crafter in your project. Claude Code loads it when a task matches its description.
Run `npx skills add tt-a1i/matt-skills-with-to-goal --skill goal-crafter -a codex`. Or copy the skill folder (skills/engineering/goal-crafter in tt-a1i/matt-skills-with-to-goal) into .agents/skills/goal-crafter in your project. Codex loads it when a task matches its description.
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add tt-a1i/matt-skills-with-to-goal --skill goal-crafter -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/goal-crafter, .gemini/skills/goal-crafter, .github/skills/goal-crafter and .opencode/skills/goal-crafter in your project.
Going by SKILL.md and its folder, Goal Crafter needs the command-line tools its instructions call (tsc, npm and git).
SKILL.md contains no URLs. Its commands use npm and git, which can reach the network depending on how they are called. This is read from the text; nothing was executed.
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.
Goal Crafter is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
About 1.8k tokens (SKILL.md is roughly 7.1k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
Skills that share tags, products or a category with Goal Crafter: Verify (asgeirtj/system_prompts_leaks, 69k stars), Goals (codewhale-hq/Codewhale, 41k stars), Verify This (cursor/plugins, 11k stars) and Verify Release (openclaw/openclaw, 392k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
tt-a1i (a GitHub user) maintains it in tt-a1i/matt-skills-with-to-goal, which has 184 GitHub stars. The repository holds 6 skills in this directory. The repository was last updated on October 10, 2026.
Source: tt-a1i/matt-skills-with-to-goal on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.