home/categories/smart-contracts/alt-research-solidityguard-claude-skills-solidity-guard-skills-spec-compliance-skill-md
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.
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