Narzędzia dla agentów

HackenProof Triage Skill

Umiejętności agentów

Bezpieczeństwo · Testowanie

Umiejętność (skill) wielokrotnego użytku do selekcji (triage) zgłoszeń w programach bug bounty HackenProof. Weryfikuje zakres commitów/wersji, zakres zgłoszenia, sprawdza duplikaty i waliduje zgłoszenia, aby zdecydować o stanie, ważności i komentarzach. Dla Codex i Claude.

Powiązane zasoby

Pashov Audit Group Skills

Umiejętności Claude Code dla bezpieczeństwa i rozwoju w Solidity. solidity-auditor zapewnia szybką (zazwyczaj poniżej 5 minut) informację zwrotną na temat bezpieczeństwa zmian w Solidity podczas programowania. Działa z Claude Code CLI, rozszerzeniem Claude dla VSCode i Cursor.

Trail of Bits Skills Marketplace

Rynek wtyczek Claude Code od Trail of Bits zapewniający umiejętności w celu ulepszenia wspomaganej przez AI analizy bezpieczeństwa, testowania i przepływów pracy programistycznej.

OpenZeppelin Skills

Umiejętności agenta do bezpiecznego tworzenia inteligentnych kontraktów z bibliotekami OpenZeppelin Contracts, w tym przepływy pracy konfiguracji i aktualizacji dla Solidity i innych ekosystemów.

Cyfrin solskill

Wtyczka Claude ze standardami programowania w Solidity dla kodu klasy produkcyjnej. Bardziej dokładna w kwestii testowania, jakości kodu i wrażliwości inteligentnych kontraktów. Zainstaluj przez rynek Cyfrin. Autorstwa Patricka Collinsa i zespołu Cyfrin.

SCV Scan

Umiejętność Claude Code, która skanuje bazy kodu Solidity pod kątem luk w zabezpieczeniach przy użyciu 36 unikalnych typów podatności. Czterofazowy audyt: załadowanie ściągawki, syntaktyczne i semantyczne przeszukanie bazy kodu, głęboka walidacja z plikami referencyjnymi i raport. Referencje z smart-contract-vulnerabilities.

QuillShield Security Skills

Umiejętności agenta AI do audytu bezpieczeństwa inteligentnych kontraktów. Dziesięć wtyczek obejmujących reentrancję, wyrocznie/błyskawiczne pożyczki, proxy/aktualizacje, niezmienniki stanu, strażników semantycznych i inne. Metodologia QuillShield dla podatności, które pomija tradycyjna analiza statyczna. Działa z Claude i Cursor.