SkillMD SkillMD
light-dark-mode
Profile My skills Saved Collections Edit profile Submit a skill

Results for “invariants”

3 skills
sdiamante13
Tw Tk
Guides minimal-diff code changes by defining contracts and invariants, choosing a stable seam, and proving the result with an executed check.
7 · bundle
More results
sdiamante13
Functional
Refactors Swift code toward declarative functional programming with immutability, value types, pure functions, transformations, and closure-based APIs.
7
sdiamante13
Tw Complexity Mitigator
Analyzes code to separate essential complexity from incidental noise, then produces a ranked refactoring plan with a structural sketch and TRACE assessment, without making edits.
7