Name: spec-compliance
Rating: 2.5 (25 reviews)
Author: alt-research

spec-complianceValidates 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.