dude-spec

Name: dude-spec
Author: scc-tw

Create or edit spec files with behavior contracts for dude SDD workflow.

by scc-tw(0) 0 installs

Free

Free account. Installing gives you the manifest plus copy-paste snippets.

See reviews

About

Imported from scc-tw/dude (.codex/skills/dude-spec/SKILL.md). Install upstream with npx skills add scc-tw/dude --skill dude-spec. Copyright stays with the author.

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

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

Use it

Copy one of these into your project. Installing also returns the manifest and these snippets.

# after Install: the listing is in your workspace's routing pool - a plan picks it for its slot
curl -s -X POST https://api.opensmartroute.ai/api/v1/route -H 'Authorization: Bearer $OSR_API_KEY' -H 'Content-Type: application/json' -d '{"text": "...", "plan": true}'

Manifest

An Open Capability Manifest: the router reads it to know what this does, what it costs and when to pick it.

scc-tw-dude-dude-spec.ocm.jsonjson

{
  "ocm": "1",
  "id": "scc-tw-dude-dude-spec",
  "kind": "skill",
  "name": "dude-spec",
  "description": "Create or edit spec files with behavior contracts for dude SDD workflow.",
  "publisher": "scc-tw",
  "version": "1.0.0",
  "capabilities": {
    "domains": [
      "general"
    ],
    "tags": [
      "skill-md",
      "github"
    ],
    "languages": [
      "en"
    ]
  },
  "quality_prior": 0.6,
  "examples": [
    "Create or edit spec files with behavior contracts for dude SDD workflow."
  ],
  "primary": false,
  "metadata": {
    "source": {
      "provider": "github",
      "repository": "https://github.com/scc-tw/dude",
      "path": ".codex/skills/dude-spec/SKILL.md",
      "ref": "601bccaf2b8a4ddae930d04128aa9b8b4dc5e419",
      "url": "https://github.com/scc-tw/dude/blob/601bccaf2b8a4ddae930d04128aa9b8b4dc5e419/.codex/skills/dude-spec/SKILL.md",
      "key": "scc-tw/dude/.codex/skills/dude-spec/SKILL.md"
    }
  },
  "instructions": "# Create / Edit Spec Files\n\n## Target\n\nWork on: `$ARGUMENTS`\n\nIf no argument, use `spec/SPEC.md`.\n\n## Spec Format\n\n```markdown\n## [PREFIX-NNN] Feature Title\n\nDescription of the feature.\n\n```contract\nrole: adapter\neffects: network + state\nconcurrency: safe\ncomplexity: O(1)\npre: connection_established()\npost: result_valid(result)\ninvariant: count <= max\n```\n```\n\n## Anchor ID Convention\n\n- Format: `PREFIX-NNN` (uppercase, hyphen, zero-padded)\n- Prefix = module domain: EVAL, GATE, CLI, WATCH, LSP, CONFIG...\n\n## Steps\n\n1. Read the spec file (or confirm it doesn't exist)\n2. Call `scan_spec_file(pa",
  "cost": {
    "context_tokens": 218
  }
}

Fetch it by URL: GET /api/v1/registry/scc-tw-dude-dude-spec/manifest?version=1.0.0