.codex/skills/tx-docs-specs/SKILL.md
Create, patch, lint, discover, trace, and complete docs-first specs. Use when working in Codex and the user needs tx commands from this area.
npx skillsauth add jamesaphoenix/tx tx-docs-specsInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
Use when the user is working in PRDs, DDs, invariants, decision tracking, or markdown export flows.
tx doc add prd <name> --title "Title"tx spec discovertx spec statustx decision: Manage decisions as first-class artifactstx decompose: Create a task graph from a design spectx doc: Manage docs-as-primitivestx doc add: Create a new doctx doc attach: Attach a doc to a tasktx doc edit: Open doc YAML in editortx doc link: Link two docstx doc list: List all docstx doc lock: Lock a doc versiontx doc patch: Create a design patch doctx doc rm: Remove latest mutable doc versiontx doc rm: Remove latest mutable doc versiontx doc show: Show doc detailstx doc sync: Re-read docs from disk and update DB hashestx doc validate: Validate doc/task coverage and index search metadatatx doc version: Create new version from locked doctx invariant is deprecated. Use 'tx spec' instead.tx md-export: Export tasks to markdown filetx spec: Docs-first spec-to-test traceability primitivestx spec batch: Import test run results from stdintx spec complete: Record human completion sign-offtx spec discover: Refresh doc-derived invariants and upsert test mappingstx spec fci: Compute Feature Completion Indextx spec gaps: List uncovered invariants (no linked tests)tx spec health: Repo-level spec-driven development rolluptx spec link: Manually link an invariant to a testtx spec lint: All-in-one spec and doc checkertx spec matrix: Full invariant-to-test traceability matrixtx spec run: Record a pass/fail run result for a canonical test IDtx spec status: Explain scope closure statetx spec tests: List tests linked to an invarianttx spec unlink: Remove an invariant/test mappingtx triangle is a deprecated alias for 'tx spec health'.Read references/commands.md for the full generated CLI help text for this skill's commands.
When working in Codex, prefer rg -n <pattern> <path> and rg --files <path> over broad grep -r or fragile find pipelines.
If a shell/search command fails because of malformed flags, truncated paths, or broken quotes:
rg command with an explicit directorynode_modul or unterminated quotesgrep -r with rg -n unless rg is unavailablefind probes with rg --files when you are really locating source filesdevelopment
Implement and verify design doc invariants by annotating tests and source code with [INV-*] / @spec tags, then driving tx spec coverage from BUILD toward HARDEN (100% FCI). Works with any design doc that has an invariants block.
data-ai
Link tasks to paired PRD/design specs, export all open work to markdown, and keep Ralph-style loops moving by creating tasks, subtasks, and dependency updates through tx primitives.
development
Refresh bundled tx Claude Code and Codex skills in a project from the canonical tx source without manual copy and paste.
development
Run Ralph against either the full repo queue or tasks linked to one design doc, with injected task/spec/queue context for Codex or Claude runtimes.