FreeSkills
Commits, branches and sync with the but CLI
- 361361 downloads
- 198198 likes
- 103103 saves
Works with
- Claude Code
- Codex
- Cursor
- and 3 more
Write the contract and invariants before the code v1.0.0
Use this resource to write code whose invariants and edge cases are stated before implementation
New
- 403 downloads
- 248 likes
- 112 saves
Free
Install with the CLI
In a terminal, from the folder you want:
npx --yes palatekit@latest install invariant-first-correct-codeWith no option, the skill goes to ~/.agents/skills/; add --agent claude-code (or codex, cursor…) to target an agent.
First time: connect the CLI with
npx --yes palatekit@latest loginThe agent states the function's contract, the loop invariant, the termination argument and the edge cases, then writes the code and checks that it respects them. Classic traps, such as finding the leftmost match or the majority vote, are handled explicitly.
Mostly picked by
Updated November 2, 2026
Previews
Details
- Install guides
- Generates with
- Your agent's model
- Licence
- Apache-2.0
Similar resources
View all- Free
FreeSkills
Sentry CLI guide
- 525525 downloads
- 117117 likes
- 128128 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Drizzle ORM best practices with PostgreSQL
- 407407 downloads
- 194194 likes
- 151151 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
SLO design wizard
- 537537 downloads
- 105105 likes
- 242242 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
User stories and sprint fit
- 451451 downloads
- 150150 likes
- 132132 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Capacity-based sprint plan
- 423423 downloads
- 192192 likes
- 102102 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Startup CTO advisor
- 580580 downloads
- 201201 likes
- 242242 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Creating GitHub pull requests with quality checks
- 427427 downloads
- 230230 likes
- 196196 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
What you get
- SKILL.md: pre-write protocol and edge-case table
- SKILL.md: traps (Boyer-Moore majority vote, binary search) and examples
Good fit for
- Your binary search sometimes returns the wrong match
- You are writing an algorithm whose tests do not cover the boundaries
Not for
Tags
- invariants
- correctness
- algorithms
- edge cases
- contract
About
You say
“Write a search for the first occurrence in this sorted list, stating the contract and invariants first.”
Skill published by morsechimwai under the Apache-2.0 license, delivered in its original version.
Show moreShow less
How to use it
- Install the skill in your agent's skills folder
- Ask your agent to write code whose invariants and edge cases are stated before implementation
- Review and adjust the result
Content preview
Files
- LICENSE1.1 KB
- NOTICE-PALATEKIT.md0.5 KB
- SKILL.md18.5 KB
Origin and licence
Listed unmodified
- Author
- morsechimwai
- Source
- github.com/sickn33/agentic-awesome-skills/tree/e9809578fd426a284af017c5db99f8eb6628e6ca/skills/invariant-guard
- Licence
- Apache-2.0
Notice
« invariant-guard » (morsechimwai, Apache-2.0) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.
User reviews
–
No ratings yet
Loading reviews…