declaring-invariants
95 / 100 · Low risk
Fine to try.
Find tests that enumerate a domain by copying it, and declare the invariants a codebase depends on. Reports where a parametrize list, for-loop, or it.each iterates a hand-written subset of a dict/set/tuple/Enum that exists in the source, and names the members nothing covers. Use when reviewing tests, when a module gains a name-to-thing table, registry, enum, or dispatch map, before trusting a green suite as evidence a domain is covered, or when asked "is this test actually total", "does anythin…
Partially scanned — some files couldn't be read; we'll retry on the next scan
What this skill can do
Runs commands on your computer
Other copies in this repository
Install
Paste this into your terminal. It downloads exactly the version we scanned, not whatever is newest.
if [ -e ~/.agents/skills/'declaring-invariants' ] || [ -L ~/.agents/skills/'declaring-invariants' ]; then echo 'A skill folder named declaring-invariants already exists — not replacing it' >&2; false; else d=$(mktemp -d) && git clone --quiet --filter=blob:none --no-checkout 'https://github.com/oaustegard/claude-skills' "$d" && git -C "$d" checkout --quiet '487272b6d1d9a2c5248d9adfa2d7765f8ca2b6af' -- 'declaring-invariants' && mkdir -p ~/.agents/skills && cp -R "$d"/'declaring-invariants' ~/.agents/skills/'declaring-invariants' && rm -rf "$d"; fi
Codex reads ~/.agents/skills directly. For Claude Code, Cursor, Copilot, Gemini CLI, Antigravity or OpenCode, also link it. For Claude Code: ln -s ~/.agents/skills/'declaring-invariants' ~/.claude/skills/'declaring-invariants' (other agents: ~/.cursor/skills, ~/.copilot/skills, ~/.gemini/skills, ~/.gemini/config/skills, ~/.config/opencode/skills). Or install through the finder skill, which does both.
Badge for your README
[](https://zalavijaysinh.github.io/skilltrust/repos/oaustegard/claude-skills/)
Score history
| Date | Version | Score |
|---|---|---|
| 2026-11-09 | 487272b | 95 |
| 2026-11-07 | 2ef3d1f | 100 |