Zurück zu Fähigkeiten

cairo-vulnerability-scanner

trailofbits
Aktualisiert 29 days ago
22 Ansichten
5,389
479
5,389
Auf GitHub ansehen
Designai

Über

Diese Fähigkeit scannt Cairo/StarkNet Smart Contracts auf sechs kritische Sicherheitslücken wie arithmetischen Überlauf und Probleme bei der schichtübergreifenden Kommunikation. Nutzen Sie sie bei Audits von StarkNet-Projekten, um plattformspezifische Risiken in Ihrem Code automatisch zu erkennen. Sie ist für Sicherheitsbewertungen vor dem Launch und für die Überprüfung von L1-L2-Interaktionen konzipiert.

Schnellinstallation

Claude Code

Empfohlen
Primär
npx skills add trailofbits/skills -a claude-code
Plugin-BefehlAlternativ
/plugin add https://github.com/trailofbits/skills
Git CloneAlternativ
git clone https://github.com/trailofbits/skills.git ~/.claude/skills/cairo-vulnerability-scanner

Kopieren Sie diesen Befehl und fügen Sie ihn in Claude Code ein, um diese Fähigkeit zu installieren

GitHub Repository

trailofbits/skills
Pfad: plugins/building-secure-contracts/skills/not-so-smart-contracts-scanners/cairo-vulnerability-scanner
0
agent-skills

Verwandte Skills

executing-plans

Design

Verwenden Sie die Fähigkeit "executing-plans", wenn Sie einen vollständigen Implementierungsplan zur Ausführung in kontrollierten Batches mit Überprüfungspunkten vorliegen haben. Sie lädt den Plan und überprüft ihn kritisch, führt dann Aufgaben in kleinen Batches (standardmäßig 3 Aufgaben) aus und meldet den Fortschritt zwischen jedem Batch zur Überprüfung durch den Architekten. Dies gewährleistet eine systematische Implementierung mit integrierten Qualitätskontrollpunkten.

Skill ansehen

requesting-code-review

Design

Diese Fähigkeit sendet einen Unteragenten für Code-Review, um Codeänderungen anhand der Anforderungen zu analysieren, bevor fortgefahren wird. Sie sollte nach dem Abschließen von Aufgaben, der Implementierung größerer Funktionen oder vor dem Zusammenführen in den Hauptzweig verwendet werden. Die Überprüfung hilft dabei, Probleme frühzeitig zu erkennen, indem die aktuelle Implementierung mit dem ursprünglichen Plan verglichen wird.

Skill ansehen

connect-mcp-server

Design

Diese Fähigkeit bietet Entwicklern eine umfassende Anleitung, um MCP-Server über HTTP-, stdio- oder SSE-Transports mit Claude Code zu verbinden. Sie behandelt Installation, Konfiguration, Authentifizierung und Sicherheit für die Integration externer Dienste wie GitHub, Notion und benutzerdefinierter APIs. Nutzen Sie sie beim Einrichten von MCP-Integrationen, bei der Konfiguration externer Tools oder bei der Arbeit mit Claude's Model Context Protocol.

Skill ansehen

web-cli-teleport

Design

Diese Fähigkeit unterstützt Entwickler bei der Wahl zwischen Claude Code Web- und CLI-Schnittstellen basierend auf Aufgabenanalysen und ermöglicht nahtloses Session-Teleporting zwischen diesen Umgebungen. Sie optimiert den Workflow, indem sie den Sitzungsstatus und Kontext beim Wechsel zwischen Web, CLI oder Mobilgeräten verwaltet. Nutzen Sie sie für komplexe Projekte, die in verschiedenen Phasen unterschiedliche Werkzeuge erfordern.

Skill ansehen