skills.homes logoskills.homescapability registry
home/categories/smart-contracts/alt-research-solidityguard-claude-skills-solidity-guard-skills-spec-compliance-skill-md
cd ..
smart-contractsblockchain

spec-compliance

Validates Solidity implementation against specification documents. Extracts behavior from docs (README, specs, NatSpec) and verifies code matches documented intent. Uses Trail of Bits methodology for divergence detection.

عرض المصدرsmart-contracts
alt-research
maintainer
alt-research
آخر تحديث 2/10/2026
النجوم
86
التفرعات
22
quick start

Installation and usage

Validates Solidity implementation against specification documents. Extracts behavior from docs (README, specs, NatSpec) and verifies code matches documented intent. Uses Trail of Bits methodology for divergence detection.

التثبيت
$ install --globalskills.sh
الاستخدام

بعد التثبيت، يمكنك استخدام هذه المهارة بتشغيل الأمر التالي في الطرفية:

skills use spec-compliance