DU

Assists in writing and verifying behavior specs for software design documentation.

Install

mkdir -p .claude/skills/dude-spec && curl -L -o skill.zip "https://agentskills.codes/api/skills/download/12612" && unzip -o skill.zip -d .claude/skills/dude-spec && rm skill.zip

Installs to .claude/skills/dude-spec

Activation

This is the description your AI agent reads to decide when to run this skill — the better it matches your request, the more reliably it fires.

Create or edit spec files with behavior contracts for dude SDD workflow.
72 charsno explicit “when” trigger
Intermediate

Key capabilities

  • Create or edit spec files with behavior contracts.
  • Scan spec files to see current anchors.
  • Write spec with `## [ID] Title` and `contract` blocks.
  • Identify what needs code anchors using `get_drift_report()`.
  • Write code with `# @anchor ID [behavior_props]` on definitions.
  • Verify behavior matches the contract using `verify_behavior(id)`.

How it works

The skill facilitates the creation and editing of spec files by enforcing a specific format for behavior contracts and providing tools to scan, report drift, and verify code against these contracts.

Inputs & outputs

You give it
a `spec-file-path` argument or a request to create/edit a spec file
You get back
a spec file with behavior contracts, and reports on anchor drift or behavior verification

When to use dude-spec

  • Writing a feature spec
  • Defining behavior contracts
  • Verifying implementation against spec

About this skill

Create / Edit Spec Files

Target

Work on: $ARGUMENTS

If no argument, use spec/SPEC.md.

Spec Format

## [PREFIX-NNN] Feature Title

Description of the feature.

​```contract
role: adapter
effects: network + state
concurrency: safe
complexity: O(1)
pre: connection_established()
post: result_valid(result)
invariant: count <= max
​```

Anchor ID Convention

  • Format: PREFIX-NNN (uppercase, hyphen, zero-padded)
  • Prefix = module domain: EVAL, GATE, CLI, WATCH, LSP, CONFIG...

Steps

  1. Read the spec file (or confirm it doesn't exist)
  2. Call scan_spec_file(path) to see current anchors
  3. Write spec with ## [ID] Title + ```contract block
  4. Call get_drift_report() to see what needs code anchors
  5. Write code with # @anchor ID [behavior_props] on the definition
  6. Call verify_behavior(id) to confirm behavior matches

When not to use it

  • When the user wants to perform actions outside of spec file creation or editing.
  • When the user does not provide a `spec-file-path` argument and the default `spec/SPEC.md` is not desired.

Limitations

  • It is disabled for direct model invocation.
  • It requires a specific spec format with `## [ID] Title` and `contract` blocks.
  • It uses `PREFIX-NNN` as the anchor ID convention.

How it compares

This skill integrates behavior contracts directly into spec files and provides tools for syncing code to documentation, offering a more rigorous approach to specification and verification than traditional documentation methods.

Compared to similar skills

dude-spec side by side with the closest alternatives in the catalog.

SkillInstallsUpdatedSafetyDifficulty
dude-spec (this skill)04moNo flagsIntermediate
deepwiki-rs259moReviewIntermediate
repo-research-analyst16moReviewIntermediate
c4-component14moNo flagsIntermediate

Try saying

Example prompts that trigger this skill in your AI assistant.

Search skills

Search the agent skills registry