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 fuentesmart-contracts
alt-research
maintainer
alt-research
Actualizado 2/10/2026
Estrellas
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.

Instalación
$ install --globalskills.sh
Uso

Después de instalarlo, puedes usar este skill ejecutando el siguiente comando en tu terminal:

skills use spec-compliance