home/categories/testing/benbrastmckie-modelchecker-claude-skills-skill-theory-implementation-skill-md
testingtesting-security
skill-theory-implementation
Implement semantic theories and Python/Z3 code with TDD. Invoke for Python-language implementation tasks.
maintainer
benbrastmckie
์
๋ฐ์ดํธ๋จ 1/11/2026
์คํ
11
ํฌํฌ
3
quick start
Installation and usage
Implement semantic theories and Python/Z3 code with TDD. Invoke for Python-language implementation tasks.
์ค์น
$ install --globalskills.sh
์ฌ์ฉ๋ฒ
์ค์น ํ ํฐ๋ฏธ๋์์ ๋ค์ ๋ช ๋ น์ ์คํํ์ฌ ์ด ์คํฌ์ ์ฌ์ฉํ ์ ์์ต๋๋ค:
skills use skill-theory-implementation