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
Использование
После установки вы можете использовать этот skill, выполнив следующую команду в терминале:
skills use spec-compliance