Community-maintained marketplace

invariant-guard

39.7k

Correctness-first: forces writing the function contract, loop invariant, termination argument, and edge cases BEFORE code. Catches Boyer-Moore, leftmost binary search, QuickSelect traps.

Install Skill

Shared

Installs to .agents/skills, used by Codex, Amp, Warp, Cursor, OpenCode, and more.

CodexAmp

WarpCursorOpenCode

ClineGemini CLI

GitHub Copilot

Personal

Available across projects.

$npx skills-installer add @sickn33/antigravity-awesome-skills/invariant-guard --client shared

Project

Writes to .agents/skills.

$npx skills-installer add @sickn33/antigravity-awesome-skills/invariant-guard -p --client shared

Note: Review the skill instructions before using it.

SKILL.md

404: Not Found