Stats
Actions
Tags
From asi
Scans Cairo/StarkNet smart contracts for vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signature replay. Use when auditing StarkNet projects.
How this skill is triggered — by the user, by Claude, or both
Slash command
/asi:cairo-vulnerability-scannerThe summary Claude sees in its skill listing — used to decide when to auto-load this skill
**Trit**: -1 (MINUS)
Trit: -1 (MINUS) Category: building-secure-contracts Author: Trail of Bits Source: trailofbits/skills License: AGPL-3.0
Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signature replay. Use when auditing StarkNet projects. (project, gitignored)
This is a Trail of Bits security skill. Refer to the original repository for detailed usage guidelines and examples.
See: https://github.com/trailofbits/skills
npx claudepluginhub plurigrid/asi --plugin asiScans Cairo/StarkNet smart contracts for 6 critical vulnerabilities: felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, signature replay, and storage collisions.
Orchestrates parallelized security audits of Cairo/Starknet code with deterministic preflight, agent-based scanning, and deduplicated reporting. Supports default, deep, and filename-specific modes.
Orchestrates interactive Solidity smart contract security audits using Map-Hunt-Attack methodology: static analysis (Slither, Aderyn), fuzzing (Echidna, Medusa, Halmos), verification, and reporting.