Tspec-to-code-compliance作成者 trailofbitsspec-to-code-compliance は、ブロックチェーン監査や Compliance Review において、コードが文書化された仕様と完全に一致しているかを検証する skill です。ホワイトペーパー、設計書、実装を照合し、不足している挙動を特定し、文書化されていないロジックや仕様から逸脱したロジックを見つけるために使用します。Compliance Reviewお気に入り 0GitHub 5k