察元AI能力广场 · MCP 服务器

aderyn

Stars 802 · 作者 Cyfrin

易于集成到编辑器的 Solidity 静态分析器

详细介绍

aderyn 是一个可轻松集成到编辑器中的 Solidity 静态分析工具，用于识别智能合约中的潜在漏洞。它帮助区块链开发者在编码阶段发现安全问题，减少部署风险。该工具适合 Solidity 开发人员和智能合约审计人员。

运维部署 安全

官方入口 · 源码仓库

同类MCP 服务器推荐

• pdf-mcp — MCP服务器，为PDF提供混合检索、OCR及图表解析等RAG功能
• rea — 使用智能体逆向工程任何目标，从应用行为到原生二进制文件。
• n8n — 拥有原生AI能力的公平代码工作流自动化平台，支持400多种集成与自托管。
• markitdown —
• gemini-cli — 将Gemini大模型能力直接引入终端的开源AI代理工具。
• servers —
• storybook —
• Scrapling — 自适应网页爬虫框架，支持从单次请求到大规模爬取

浏览全部MCP 服务器 · 返回察元AI首页