Enforce contracts and invariants to turn change requests into verifiable patches.
npx skills add https://github.com/tkersey/dotfiles --skill tk
Please help me install this Agent Skill. Skill: tk Source: https://github.com/tkersey/dotfiles/tree/main/codex/skills/tk Command: npx skills add https://github.com/tkersey/dotfiles --skill tk
## What problem does it solve? TK solves the problem of turning vague change requests into minimal, verifiable patches by enforcing a stable boundary with a clearly defined contract and invariants.
## Core Features & Use Cases
### Quick Start To start, define a Contract, articulate Invariants, choose a Creative Frame, and perform an Incision that can be validated by a local test.
High-intent search queries and answers about installing and using this skill.
To turn vague change requests into minimal, verifiable code patches, you define a stable boundary with a clear contract and invariants, then perform a minimal incision validated by a local test or type check.
The best way to refactor complex system behavior while preserving contracts is to apply minimal incision discipline, ensuring changes are reviewable and accompanied by an executable proof signal like a test or type check.
To ensure code refactoring produces traceable and reproducible proof signals, you articulate invariants, define a contract, and validate your minimal incision patch using local tests or type checks as the proof signal.
You need contract and invariant articulation for software surgery when refactoring or evolving behavior in a complex system, ensuring strict discipline to prevent drift and maintain traceable, verifiable changes.
Minimal incision discipline works best with a predefined creative frame because the frame allows you to explore alternatives without increasing risk, keeping the resulting patch reviewable and verifiable.
A key limitation of minimal incision for vague code change requests is that it requires strict contract and invariant discipline to succeed, meaning without a clearly defined boundary, the verifiable patch may fail to prevent drift.
jacob-balslevDefine stable interface contracts with fields, invariants, and versioning rules.
TabooLibExplain the public behavior of TabooLib's Incision weaving module via Scalpel DSL and @Surgeon annotations.
maksimzayatsGenerate pyproject.toml and Makefile with Ruff, mypy, and pytest for Specx services.
jfrometaDecompose complex software work into small, verifiable tasks with dependencies.
