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.

Ver código-fontesmart-contracts
alt-research
maintainer
alt-research
Atualizado 2/10/2026
Estrelas
86
Forks
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.

Instalação
$ install --globalskills.sh
Uso

Depois de instalar, você pode usar esta skill executando o seguinte comando no terminal:

skills use spec-compliance