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.

Voir le code sourcesmart-contracts
alt-research
maintainer
alt-research
Mis à jour 2/10/2026
Étoiles
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.

Installation
$ install --globalskills.sh
Utilisation

Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :

skills use spec-compliance