analyzing-ethereum-smart-contract-vulnerabilities

Name: analyzing-ethereum-smart-contract-vulnerabilities
Author: seikaikyo

SKILLWorkflowcommunity

v0.0.0seikaikyoMITUpdated 1mo agoSource →

Perform static and symbolic analysis of Solidity smart contracts using

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

2Repo stars

1Clients

1Formats

1mo agoLast update

Skill

Authorseikaikyo

Version0.0.0

LicenseMIT

CategoryWorkflow

Formatsskill.md

PromptNot published

Compatibility

Claude✓ Supported

Cursor—

Copilot—

ChatGPT—

Gemini—

About

Perform static and symbolic analysis of Solidity smart contracts using

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.

brokermr810/QuantDingerAI quantitative trading platform for crypto, stocks, and forex with backtesting, live trad
@coinbase/agentkit-model-context-protocolModel Context Protocol Extension of Coinbase Agentkit
io.github.vybenetwork/solana-mcp-vybeSolana MCP developer toolkit: wallets, trades, markets, PnL, transfers, onchain, swaps & A
Devin-AXIS/A2VA2V: Next-Gen AI Value Compute Protocol.
AmeNetwork/aserAser is a lightweight, self-assembling AI Agent frame.
crypto-quant-signal-mcpThe Brain Layer for AI Trading Agents — quant calls + cross-venue arb across perp venues v
io.github.nirholas/free-crypto-newsFree crypto news MCP server — 38 tools, 130+ sources, market data, sentiment, whale alerts
@three-ws/knock-mcpLet an agent reach a real person. Read what someone charges for one message, browse every