Trail of Bits가 공개한 스마트 컨트랙트 오딧시 사용중인 클로드 코드 플러그인