Narzędzia dla agentów

sc-auditor

Umiejętności agentów

Serwer MCP · Bezpieczeństwo · Solidity · Analiza statyczna

Audytor bezpieczeństwa inteligentnych kontraktów dla Claude Code i Codex CLI. Integruje Slither, Aderyn, listę kontrolną Cyfrin i znaleziska Solodit. Metodologia Map-Hunt-Attack z czterema narzędziami MCP do analizy statycznej i wyszukiwania znalezisk.

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.