SkillsAdd

tkersey/dotfiles

tk

Heuristic-first software surgery for proof-backed, minimal-diff implementation: Contract to Invariants to Cut Rationale to inevitable incision to Proof. Use…

First seen Feb 28, 2026

Installation

$ npx skills add https://github.com/tkersey/dotfiles
View on skills.sh ↗ GitHub repository ↗

Also in this package

Other skills from tkersey/dotfiles · top by installs.

npx skills add https://github.com/tkersey/dotfiles
grill-me 122 complexity-mitigator 61 creative-problem-solver 61 mesh 47 web-browser 43 invariant-ace 32 refine 29 cron 28 xit 26 join 26

Browse all from tkersey/dotfiles

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Also listed on

Alternate registries and mirrors of this skill.

Repository health

Stars 70
License LICENSE
Default branch main
Open issues 0
Status Active

History

  1. First seen on skills.sh
  2. First recorded snapshot · 26 installs