Cairo/StarkNet Vulnerability Scanner
技能 活跃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.
To automatically identify and report critical security vulnerabilities in Cairo smart contracts on StarkNet, aiding developers and auditors in securing their projects.
功能
- Scans for 6 critical Cairo/StarkNet vulnerabilities
- Analyzes L1-L2 messaging and contract addresses
- Detects arithmetic overflows and signature replay issues
- Provides detailed findings with locations and recommendations
- Supports Cairo 1.0+ contracts
使用场景
- Auditing StarkNet smart contracts before deployment
- Reviewing L1-L2 bridge implementations for security flaws
- Validating cross-layer message handling logic
- Assessing signature verification mechanisms in StarkNet contracts
非目标
- Performing dynamic analysis or fuzzing
- Auditing general Solidity or EVM-based smart contracts
- Replacing comprehensive manual security audits
- Providing a full-fledged IDE or development environment
工作流
- Identify Cairo/StarkNet contracts
- Analyze for 6 critical vulnerability patterns
- Report findings with location and severity
- Provide recommended fixes
- Check L1-L2 interactions
实践
- Security Auditing
- Smart Contract Development
- Static Analysis
先决条件
- Cairo 1.0+ project structure
- Python 3.8+ environment (for Caracal installation)
- pip package manager
Trust
- warning:Issues Attention13 issues opened and 4 closed in the last 90 days indicate a low closure rate, suggesting slower maintainer response.
安装
请先添加 Marketplace
/plugin marketplace add trailofbits/skills/plugin install building-secure-contracts@trailofbits质量评分
类似扩展
Soul Guardian
100Drift detection + baseline integrity guard for agent workspace files with automatic alerting support
Audit Dependency Versions
100Audit project dependencies for version staleness, security vulnerabilities, and compatibility issues. Covers lock file analysis, upgrade path planning, and breaking change assessment. Use before a release to ensure dependencies are current and secure, during periodic maintenance reviews, after receiving a security advisory, when upgrading to a new language version, before submitting to CRAN or npm, or when inheriting a project to assess its dependency health.
Codex Diff Develop
100Revisa el diff de la rama actual frente a develop en proyectos Drupal 11 siguiendo la metodología Codex (lógica de negocio, edge cases de hooks/queries, seguridad, performance, completitud). Genera un informe .md en la carpeta del IDE detectado (.antigravity/, .cursor/, .vscode/ o docs/) con hallazgos por severidad y soluciones accionables. Usar cuando el usuario pida "Revisión diff develop", "revisión diff develop", "diff develop", "revisar diff", "codex diff" o expresiones similares con intención de auditar cambios contra develop. Triggers: diff develop, codex diff, revisión diff, lint diff develop, auditar diff.
Investigate Capa Root Cause
100Investigate root causes and manage CAPAs (Corrective and Preventive Actions) for compliance deviations. Covers investigation method selection (5-Why, fishbone, fault tree), structured root cause analysis, corrective vs preventive action design, effectiveness verification, and trend analysis. Use when an audit finding requires a CAPA, when a deviation or incident occurs in a validated system, when a regulatory observation needs a formal response, when a data integrity anomaly requires investigation, or when recurring issues suggest a systemic root cause.
Toprank Weekly Review
100Run a weekly SEO review for one registered website, write audit artifacts, and choose the next best safe action.
Janitor Tokens
100显示每个技能消耗的上下文窗口令牌数量。当用户询问有关令牌成本、上下文预算、技能大小，或希望了解哪些技能浪费了最多的上下文空间时使用。