Compares your implementation line-by-line against the spec document and flags every gap—missing edge cases, divergent logic, uncovered requirements. Built for blockchain and protocol audits.
Best for: Engineers shipping critical code who need proof the implementation didn't drift from the design.
Creator's repository · trailofbits/skills
License: CC-BY-SA-4.0