Công cụ tác nhân

HackenProof Triage Skill

Kỹ năng tác nhân

Bảo mật · Kiểm thử

Kỹ năng phân loại có thể tái sử dụng để xử lý báo cáo tiền thưởng tìm lỗi HackenProof. Xác minh phạm vi commit/phiên bản, phạm vi gửi, kiểm tra trùng lặp và xác thực các bài gửi để quyết định trạng thái, mức độ nghiêm trọng và nhận xét. Dành cho Codex và Claude.

Tài nguyên liên quan

Pashov Audit Group Skills

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.

Trail of Bits Skills Marketplace

Một thị trường plugin Claude Code từ Trail of Bits cung cấp các kỹ năng để tăng cường quy trình phân tích bảo mật, thử nghiệm và phát triển được hỗ trợ bởi AI.

OpenZeppelin Skills

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.

Cyfrin solskill

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.

SCV Scan

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.

QuillShield Security Skills

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.