๊ด‘๊ณ [ For iPhone / iPad ] ๐Ÿ”ฅ Nugget์˜ ๋ฏฟ์„ ์ˆ˜ ์—†๋Š” ์ธํ„ฐ๋ž™ํ‹ฐ๋ธŒ ์›”ํŽ˜์ดํผ. ์ด๋Ÿฐ ๊ฒƒ์€ ๋ณธ ์ ์ด ์—†์„ ๊ฒƒ์ž…๋‹ˆ๋‹ค!
skills.homes logoskills.homescapability registry
home/categories/framework-internals/seanchatmangpt-ggen-claude-skills-bb80-invariant-construction-skill-md
cd ..
framework-internalsdevelopment

bb80-invariant-construction

Extract invariants from specification, encode in types/structure, enable single-pass construction.

์†Œ์Šค ๋ณด๊ธฐframework-internals
seanchatmangpt
maintainer
seanchatmangpt
์—…๋ฐ์ดํŠธ๋จ 2026. 1. 19.
์Šคํƒ€
1
ํฌํฌ
1
quick start

Installation and usage

Extract invariants from specification, encode in types/structure, enable single-pass construction.

์„ค์น˜
$ install --globalskills.sh
์‚ฌ์šฉ๋ฒ•

์„ค์น˜ ํ›„ ํ„ฐ๋ฏธ๋„์—์„œ ๋‹ค์Œ ๋ช…๋ น์„ ์‹คํ–‰ํ•˜์—ฌ ์ด ์Šคํ‚ฌ์„ ์‚ฌ์šฉํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค:

skills use bb80-invariant-construction