aderyn: Aderyn is an open-source static analyzer for Solidity smart contracts. It helps find vulnerabilities in Solidity codebases with no configuration needed for Foundry and Hardhat projects. It generates Markdown, JSON, and Sarif reports and powers a VSCode extension.; mcp-language-server: The MCP Language Server exposes language server capabilities like definition, references, and diagnostics to Large Language Models. It helps MCP-enabled clients navigate codebases more easily by providing semantic tools for code understanding and manipulation.
Auditing Solidity smart contracts for security vulnerabilities.
Enabling LLMs to navigate and understand complex codebases