aderyn:Aderyn是一款开源的Solidity智能合约静态分析器。它无需配置即可分析Foundry和Hardhat项目,帮助发现代码中的漏洞。支持生成Markdown、JSON和Sarif报告,并为官方VSCode扩展提供支持。;mcp-language-server:MCP语言服务器将定义、引用和诊断等语言服务器功能暴露给大型语言模型。它通过提供语义工具帮助支持MCP的客户端更轻松地导航代码库,实现代码理解和操作。
审计Solidity智能合约中的安全漏洞。
赋能大型语言模型导航和理解复杂代码库