aderyn
Verified Safeby Cyfrin
Overview
A Rust-based Solidity static analyzer that identifies vulnerabilities in smart contracts and provides developer tooling such as LSP and an MCP server for integration with other development environments and AI agents.
Installation
aderyn mcp stdioEnvironment Variables
- FOUNDRY_PROFILE
- ADERYN_LOG
- FORCE_COLOR
Security Notes
The project is implemented in Rust, which inherently reduces many common memory-related vulnerabilities. It serves as a local development tool with capabilities for static analysis, LSP, and an MCP server. The `xtask` commands can perform sensitive operations like Git pushes and cargo releases, but these are intended for developer/CI environments and not directly exposed by the runtime servers. The MCP server binds to `127.0.0.1` by default for HTTP streaming, limiting network exposure. No obvious malicious patterns, hardcoded secrets, or `eval`-like constructs were found for arbitrary code execution in the server components.
Similar Servers
enrichmcp
Exposes structured data models as a semantic, discoverable API for AI agents.
graphlit-mcp-server
The Model Context Protocol (MCP) Server integrates with the Graphlit platform to ingest diverse data sources, build a searchable knowledge base, and enable LLM-powered search, retrieval, RAG, and generative capabilities for MCP clients.
mcp-server-infranodus
Integrates InfraNodus knowledge graph and text network analysis capabilities into LLM workflows and AI assistants for generating knowledge graphs, detecting content gaps, identifying topics, and performing SEO analysis.
thought-chain-mcp
Transforms any AI model into an advanced reasoning engine by providing structured, step-by-step thinking with persistent memory across sessions.