Skill overview

Exact public version

tlc-spec-driven v1

Feature planning and implementation with 4 adaptive phases (Specify, Design, Tasks, Execute). Auto-sizes depth by complexity. Asks every product decision before the spec is approved, writes testable requirements in EARS notation, atomic tasks with a gate and a commit each, and one check per criterion with the test that proves it. Captures that come with the request bind, and each screen is judged against them. Ships deterministic Python scripts so the gates are enforced by code, not memory; the proofs run once at the end, and an independent Verifier (author != verifier) spends its time on mutations and judgement. Use when (1) planning features, (2) implementing with verification and atomic commits, (3) validating an implementation against a spec. Triggers on "specify feature", "discuss feature", "design", "tasks", "implement", "validate", "verify work", "UAT", "record decision", "pause work", "resume work". Do NOT use for pure architecture decomposition analysis or standalone technical design documents.

Public
SHA-2562e8654e4b007d462cbe4f9134b0152aa868a1df1049f745419bbba6a234564f6
Download package

Package contents

Manifest

26 files

Feature planning and implementation with 4 adaptive phases (Specify, Design, Tasks, Execute). Auto-sizes depth by complexity. Asks every product decision before the spec is approved, writes testable requirements in EARS notation, atomic tasks with a gate and a commit each, and one check per criterion with the test that proves it. Captures that come with the request bind, and each screen is judged against them. Ships deterministic Python scripts so the gates are enforced by code, not memory; the proofs run once at the end, and an independent Verifier (author != verifier) spends its time on mutations and judgement. Use when (1) planning features, (2) implementing with verification and atomic commits, (3) validating an implementation against a spec. Triggers on "specify feature", "discuss feature", "design", "tasks", "implement", "validate", "verify work", "UAT", "record decision", "pause work", "resume work". Do NOT use for pure architecture decomposition analysis or standalone technical design documents.

Manifest SHA-256df09b70a37575fb9035c138ed3d4afb083aa9cd71926a90a9fdf77b47e9eeb18
  • SKILL.md17,140 bytes
  • references/coding-principles.md3,172 bytes
  • references/design.md8,450 bytes
  • references/discuss.md5,984 bytes
  • references/implement.md19,006 bytes
  • references/lessons.md6,860 bytes
  • references/memory.md8,037 bytes
  • references/specify.md16,631 bytes
  • references/sub-agents.md9,125 bytes
  • references/tasks.md23,424 bytes
  • references/validate.md6,079 bytes
  • references/verify-screens.md3,638 bytes
  • scripts/check_commit.py4,482 bytes
  • scripts/check_proofs.py10,028 bytes
  • scripts/fixtures/checks.md3,468 bytes
  • scripts/fixtures/plan.md5,500 bytes
  • scripts/fixtures/proofs.md1,108 bytes
  • scripts/fixtures/verification.md387 bytes
  • scripts/lean_config.py4,988 bytes
  • scripts/lessons.py15,050 bytes
  • scripts/mutate.py11,056 bytes
  • scripts/runners.py10,548 bytes
  • scripts/selftest.py49,544 bytes
  • scripts/validate_spec.py14,676 bytes
  • scripts/validate_tasks.py12,819 bytes
  • scripts/validate_verification.py19,691 bytes