architecture-patternsdevelopment
tk
Software surgery: contract → invariants → inevitable incision; minimal diff, compositional core, proof signal.
maintainer
tkersey
Updated 1/20/2026
Stars
38
Forks
0
quick start
Installation and usage
Software surgery: contract → invariants → inevitable incision; minimal diff, compositional core, proof signal.
Installation
$ install --globalskills.sh
Usage
Once installed, you can use this skill by running the following command in your terminal:
skills use tk