cairo-vulnerability-scanner

Name: cairo-vulnerability-scanner
Author: trailofbits

SKILLWorkflowcommunity

v0.0.0trailofbitsCC-BY-SA-4.0Updated 1mo agoSource →

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.

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →

7kRepo stars

1Clients

1Formats

1mo agoLast update

Skill

Authortrailofbits

Version0.0.0

LicenseCC-BY-SA-4.0

CategoryWorkflow

Formatsskill.md

PromptOpen (see Prompt tab)

Compatibility

Claude✓ Supported

Cursor—

Copilot—

ChatGPT—

Gemini—

About

Keywords

skillclaude

No dependency coverage

This entry publishes no npm package, so Forge has no dependency tree for it. That is a gap in coverage — not a statement that it has no dependencies.

Topics

Related in security

microsoft/mcp-for-beginnersThis open-source curriculum introduces the fundamentals of Model Context Protocol (MCP) th
0x4m4/hexstrike-aiHexStrike AI MCP Agents is an advanced MCP server that lets AI agents (Claude, GPT, Copilo
firerpa/lamda The most powerful Android RPA agent framework, next generation mobile automation.
wgpsec/ENScan_GO一款基于各大企业信息API的工具，解决在遇到的各种针对国内企业信息收集难题。一键收集控股公司ICP备案、APP、小程序、微信公众号等信息聚合导出。支持MCP接入
snyk/agent-scanSecurity scanner for AI agents, MCP servers and agent skills.
elementalsouls/Claude-BugHunterA Claude Code skill bundle for bug hunting and external red-team work — 71 skills, 15 slas
cyberagiinc/DevDocsCompletely free, private, UI based Tech Documentation MCP server. Designed for coders and
stacklok/toolhiveToolHive is an enterprise-grade platform for running and managing Model Context Protocol (