Agenten-Tooling

QuillShield Security Skills

Agenten-Fähigkeiten

Sicherheit · Solidity · Statische Analyse

KI-Agenten-Skills für die Sicherheitsprüfung von Smart Contracts. Zehn Plugins, die Wiedereintritt, Orakel/Blitzkredit, Proxy/Upgrade, Zustandsinvarianten, semantische Wächter und mehr abdecken. QuillShield-Methodik für Schwachstellen, die bei herkömmlicher statischer Analyse übersehen werden. Funktioniert mit Claude und Cursor.

Verwandte Ressourcen

Pashov Audit Group Skills

Claude-Code-Skills für Solidity-Sicherheit und -Entwicklung. solidity-auditor bietet schnelles (typischerweise unter 5 Minuten) Sicherheitsfeedback zu Solidity-Änderungen während der Entwicklung. Funktioniert mit der Claude Code CLI, der VSCode-Claude-Erweiterung und Cursor.

Trail of Bits Skills Marketplace

Ein Claude-Code-Plugin-Marktplatz von Trail of Bits, der Fähigkeiten zur Verbesserung von KI-gestützten Sicherheitsanalysen, Tests und Entwicklungs-Workflows bietet.

OpenZeppelin Skills

Agenten-Skills für die sichere Entwicklung von Smart Contracts mit OpenZeppelin-Contracts-Bibliotheken, einschließlich Einrichtungs- und Upgrade-Workflows für Solidity und andere Ökosysteme.

Cyfrin solskill

Claude-Plugin mit Solidity-Entwicklungsstandards für produktionsreifen Code. Gründlicher bei Tests, Codequalität und Smart-Contract-Sensibilität. Installation über den Cyfrin-Marktplatz. Von Patrick Collins und dem Cyfrin-Team.

SCV Scan

Claude-Code-Skill, der Solidity-Codebasen mithilfe von 36 einzigartigen Schwachstellentypen auf Sicherheitslücken scannt. Vierphasiges Audit: Laden des Spickzettels, syntaktischer und semantischer Codebasis-Sweep, tiefe Validierung mit Referenzdateien und Bericht. Referenzen aus smart-contract-vulnerabilities.

sc-auditor

Sicherheitsprüfer für Smart Contracts für Claude Code und Codex CLI. Integriert Slither, Aderyn, die Cyfrin-Checkliste und Solodit-Ergebnisse. Map-Hunt-Attack-Methodik mit vier MCP-Tools für statische Analyse und Ergebnissuche.