Skills
.Work. You
Rest

cairo-vulnerability-scanner

Official

Audit Cairo contracts for critical vulnerabilities.

Software Engineering#vulnerability#static-analysis#security-audit#cairo#l1-l2#caracal#starknet
AuthorSuperlend
Version1.0.0
Installs0

System Documentation

What problem does it solve?

The Cairo/StarkNet vulnerability scanner helps security researchers and auditors quickly identify and report critical weaknesses in Cairo contracts, automating the detection of patterns that commonly lead to exploits on StarkNet.

Core Features & Use Cases

  • Pattern-based vulnerability detection for Cairo/StarkNet contracts (6 patterns).
  • Automated reporting with file references and recommended mitigations.
  • Integrates with Caracal and standard Cairo tooling to streamline audits.
  • Use Case: During an audit, scan a project to generate a structured report noting each vulnerability pattern, affected files, and suggested fixes.

Quick Start

Run the scanner on a Cairo project to generate a structured vulnerability report.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: cairo-vulnerability-scanner
Download link: https://github.com/Superlend/superloop-core-contracts/archive/main.zip#cairo-vulnerability-scanner

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.