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.

View Sourcesmart-contracts
alt-research
maintainer
alt-research
Updated 2/10/2026
Stars
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
Usage

Once installed, you can use this skill by running the following command in your terminal:

skills use spec-compliance