New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Dr Audit Goal Trace

by AHepi in AHepi/DeepReason

Audit dimension - verify every ledgered operator design law is actually enforced somewhere in code or gates, so stated goals and shipped behavior cannot silently diverge.

MITAuto-check passed

Install Dr Audit Goal Trace

skills CLI
$ npx skills add AHepi/DeepReason --skill dr-audit-goal-trace -a claude-code

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

GitHub CLI
$ gh skill install AHepi/DeepReason dr-audit-goal-trace --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-audit-goal-trace .claude/skills/dr-audit-goal-trace && 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/

Facts

Skill name
dr-audit-goal-trace
GitHub stars
141
Token cost
~835 tokens
SKILL.md length
429 words
Files
1
Skills in repo
30
Repo updated
First seen
Licence
MIT

At a glance

Audit dimension - verify every ledgered operator design law is actually enforced somewhere in code or gates, so stated goals and shipped behavior cannot silently diverge.

  • Works in 5 steps: Law census: extract every bolded law… → For each law, three scans, outputs saved… → Verdict per law, exactly one of → …
  • SKILL.md covers Operations, GATE, Activation plant (first run) and Outlets
  • Calls rg

What it does

Dr Audit Goal Trace is an agent skill from AHepi/DeepReason. Audit dimension - verify every ledgered operator design law is actually enforced somewhere in code or gates, so stated goals and shipped behavior cannot silently diverge. Invoked by dr-audit-orchestrator when goal-trace.md is missing.

Its SKILL.md is about 840 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-audit-goal-trace”

Workflow steps

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

  1. Law census: extract every bolded law heading from CLAUDE.md
  2. For each law, three scans, outputs saved to proof/goal-.txt
  3. Verdict per law, exactly one of
  4. For every unenforced and partially-enforced row: PARK a prompt
  5. Write goal-trace.md: the table, a count line, and one closing

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:

    • rg

    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 Audit Goal Trace loads about 835 tokens when it runs. Until then it costs about 64 tokens; SKILL.md has 429 words of instructions outside code blocks.

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

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). 429 words, ~835 tokens.

Download SKILL.mdSave it as .claude/skills/dr-audit-goal-trace/SKILL.md (or your agent's skills folder).
name
dr-audit-goal-trace
description
Audit dimension - verify every ledgered operator design law is actually enforced somewhere in code or gates, so stated goals and shipped behavior cannot silently diverge. Invoked by dr-audit-orchestrator when goal-trace.md is missing.

Audit: operator goals vs enforcement

Entry: LEDGER.md exists, goal-trace.md missing. Exit: goal-trace.md written, one row per law, proofs in proof/.

The operator's goals live in two ledgers: CLAUDE.md §"Operator design laws" (standing, verbatim-quoted) and each tranche's REQUEST.md (per change). This worker traces the STANDING laws; a per-tranche trace is dr-validate-change's job, not this one.

A law counts as ENFORCED only when a mechanism would visibly fail if the law were violated — a test, a typed refusal/notice, a gate. Prose restating the law enforces nothing.

Operations

  1. Law census: extract every bolded law heading from CLAUDE.md §"Operator design laws" into proof/goal-laws.txt, one row each, with its date and verbatim kernel.
  2. For each law, three scans, outputs saved to proof/goal-<n>.txt: a. Mechanism scan: rg -l -i '<law key terms>' src/deepreason/ b. Test scan: rg -l -i '<law key terms>' tests/ c. Notice/refusal scan: rg -n '<law's typed string, if any>' src/
  3. Verdict per law, exactly one of:
    • enforced — row names the mechanism file AND the test that goes red on violation (both cited from the scans).
    • partially-enforced — mechanism exists, no test pins it; the row names which half is missing.
    • unenforced — scans empty; the law lives only in prose. The pasted empty scans are the proof (G2).
    • process-law — governs agent/operator behavior, not code (e.g. a working-style rule); code enforcement is not expected. Saying process-law requires one sentence naming WHO enforces it instead (the workflow file that carries it).
  4. For every unenforced and partially-enforced row: PARK a prompt proposing the smallest mechanism that would make violation visible (a regression test, a typed notice), route dr-change-orchestrator. Proposing is this worker's ceiling — choosing is the operator's.
  5. Write goal-trace.md: the table, a count line, and one closing list: laws added since the last audit (diff proof/goal-laws.txt against the previous audit tranche's copy, if one exists).
Show full SKILL.md (126 more words)Show less

GATE

Pass: every law in proof/goal-laws.txt has exactly one verdict row; every enforced row cites file + test; every unenforced row cites empty scans. Verdict labels: enforced | partially-enforced | unenforced | process-law.

Activation plant (first run)

Add a fabricated law line to the copy in proof/goal-laws.txt; the scans must come back empty and the row must read unenforced. Remove the fabricated row, note the plant in ACTIVATION.md.

Outlets

SituationOutlet
Impulse to build the missing enforcement nowPARK — mechanism prompt, route dr-change-orchestrator
A law reads ambiguous against the coderow partially-enforced, note the ambiguity in one sentence; the parked prompt asks the operator to word the law's testable form
Two laws conflictrow both, note the conflict, PARK a reconciliation question for the operator — never pick the winner here

© AHepi, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

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

Open the folder on GitHubat commit 9607fba

Compare with similar skills

Dr Audit Goal Trace 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 Audit Goal Trace compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Dr Audit Goal Trace this skillAHepi/DeepReason141—~835Automated safety check: PassMIT
Goalscodewhale-hq/Codewhale41k—~273Automated safety check: PassMIT
Dimensionsthedaviddias/Front-End-Checklist74k—~926Automated safety check: PassMIT
Observe Traceruvnet/ruflo74k—~522Automated safety check: NotesMIT
It Operationsdavila7/claude-code-templates33k1 repos~3.7kAutomated safety check: PassMIT
Agent Goal Plannerruvnet/ruflo74k2 repos~842Automated safety check: PassMIT

Similar skills

  • 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

  • Dimensions

    thedaviddias/Front-End-Checklist

    A skill your agent uses when reviewing image assets, markup, and CDN or build transforms related to Set explicit width and height on images.

    74k GitHub stars~926 tokensUpdated 4 days ago
    Frontend & DesignAuto-check passed

  • Observe Trace

    ruvnet/ruflo

    Trace agent execution by collecting spans and building a trace tree for a task

    74k GitHub stars~522 tokensUpdated today
    Auto-check: notes

  • It Operations

    davila7/claude-code-templates

    Manages IT infrastructure, monitoring, incident response, and service reliability.

    33k GitHub starsUsed in 1 repo~3.7k tokens
    DevOps & CloudAuto-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

  • Recursive Decision Ledger

    affaan-m/ECC

    Run repeated rollouts ("Prime Gauss" style recursive prompting) while keeping an append-only decision ledger of trials, marks, coherence checks, and promotion gates, so recursive confidence never…

    276k GitHub starsUsed in 1 repo~701 tokens
    Business, Finance & HRAuto-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 29 days 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 29 days 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 29 days 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 29 days 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 29 days 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 29 days ago
    Auto-check passed

Questions about Dr Audit Goal Trace

What does Dr Audit Goal Trace do?

Audit dimension - verify every ledgered operator design law is actually enforced somewhere in code or gates, so stated goals and shipped behavior cannot silently diverge. Dr Audit Goal Trace is an agent skill from AHepi/DeepReason. Audit dimension - verify every ledgered operator design law is actually enforced somewhere in code or gates, so stated goals and shipped behavior cannot silently diverge.

How do I install Dr Audit Goal Trace in Claude Code?

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

How do I install Dr Audit Goal Trace in Codex?

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

Can I use Dr Audit Goal Trace 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-audit-goal-trace -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-audit-goal-trace, .gemini/skills/dr-audit-goal-trace, .github/skills/dr-audit-goal-trace and .opencode/skills/dr-audit-goal-trace in your project.

What does Dr Audit Goal Trace need to run?

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

Does Dr Audit Goal Trace 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 Audit Goal Trace 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 Audit Goal Trace use?

Dr Audit Goal Trace 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 Audit Goal Trace use?

About 835 tokens (SKILL.md is roughly 3.3k 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 Audit Goal Trace?

Skills that share tags, products or a category with Dr Audit Goal Trace: Goals (codewhale-hq/Codewhale, 41k stars), Dimensions (thedaviddias/Front-End-Checklist, 74k stars), Observe Trace (ruvnet/ruflo, 74k stars) and It Operations (davila7/claude-code-templates, 33k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Dr Audit Goal Trace?

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.