aderyn
Verified Safeby Cyfrin
Overview
A powerful Solidity static analyzer that provides structured access to smart contract code, ASTs, and analysis results via a Model Context Protocol (MCP) server or Language Server Protocol (LSP), primarily intended for AI agents or advanced tooling.
Installation
aderyn mcp http-stream --port 6277Environment Variables
- FOUNDRY_PROFILE
- CARGO_TERM_COLOR
- ADERYN_LOG
Security Notes
The project is implemented in Rust, which inherently provides strong memory safety guarantees. Network interactions are confined to documented functionalities such as update checks (connecting to GitHub API) and serving the MCP/LSP protocols (using `axum` and `tower-lsp`). No 'eval' or other dynamic code execution from untrusted sources, nor obvious hardcoded secrets, were identified. The `xtask` tools are for development/release processes (e.g., git operations, script execution), which, while interacting with the local system, are not exposed as runtime risks to typical end-users of the static analyzer. Overall, the codebase demonstrates a security-conscious design.
Similar Servers
enrichmcp
A Python framework for building semantic APIs for AI agents, allowing them to discover, understand, and navigate structured data models via the Model Context Protocol.
graphlit-mcp-server
The Model Context Protocol (MCP) Server integrates with the Graphlit Platform to provide an LLM-enabled knowledge API, enabling ingestion, search, retrieval, RAG, and publishing of content from various data connectors for MCP clients.
mcp-server-infranodus
Integrates InfraNodus knowledge graph and text network analysis capabilities into LLM workflows and AI assistants for advanced text analysis, content gap detection, and SEO optimization.
cainban
A command-line kanban board and an MCP server designed for natural language task management and AI agent integration, enabling AI to decompose tasks and manage project backlogs.