Trail of Bits Skills Marketplace

Các kỹ năng Claude Code cho bảo mật và phát triển Solidity. solidity-auditor cung cấp phản hồi bảo mật nhanh chóng (thường dưới 5 phút) về các thay đổi Solidity trong khi bạn phát triển. Hoạt động với Claude Code CLI, tiện ích mở rộng VS Code Claude và Cursor.

Các kỹ năng của tác nhân cho việc phát triển hợp đồng thông minh an toàn với các thư viện OpenZeppelin Contracts, bao gồm quy trình thiết lập và nâng cấp cho Solidity và các hệ sinh thái khác.

Plugin Claude với các tiêu chuẩn phát triển Solidity cho mã cấp độ sản xuất. Kỹ lưỡng hơn về kiểm thử, chất lượng mã và độ nhạy của hợp đồng thông minh. Cài đặt thông qua thị trường Cyfrin. Bởi Patrick Collins và nhóm Cyfrin.

Kỹ năng Claude Code quét các cơ sở mã Solidity để tìm các lỗ hổng bảo mật bằng cách sử dụng 36 loại lỗ hổng độc đáo. Kiểm toán bốn giai đoạn: tải bảng tóm tắt, quét cơ sở mã theo cú pháp và ngữ nghĩa, xác thực sâu với các tệp tham chiếu và báo cáo. Tham chiếu từ smart-contract-vulnerabilities.

Các kỹ năng của tác nhân AI cho kiểm toán bảo mật hợp đồng thông minh. Mười plugin bao gồm tái xâm nhập, nguồn cấp dữ liệu/khoản vay chớp nhoáng, proxy/nâng cấp, các bất biến trạng thái, các rào chắn ngữ nghĩa và hơn thế nữa. Phương pháp luận QuillShield cho các lỗ hổng mà phân tích tĩnh truyền thống bỏ sót. Hoạt động với Claude và Cursor.

Trình kiểm toán bảo mật hợp đồng thông minh cho Claude Code và Codex CLI. Tích hợp Slither, Aderyn, danh sách kiểm tra Cyfrin và các phát hiện của Solodit. Phương pháp luận Map-Hunt-Attack với bốn công cụ MCP để phân tích tĩnh và tìm kiếm các phát hiện.