aderyn:Aderyn是一款开源的Solidity智能合约静态分析器。它无需配置即可分析Foundry和Hardhat项目,帮助发现代码中的漏洞。支持生成Markdown、JSON和Sarif报告,并为官方VSCode扩展提供支持。;csharp-sdk:MCP C# SDK 是 Model Context Protocol 的官方 C# SDK,旨在使 .NET 应用程序、服务和库能够实现并与 MCP 客户端和服务器进行交互。Model Context Protocol (MCP) 本身是一个开放协议,它规范了应用程序如何向大型语言模型 (LLM) 提供上下文,从而促进 LLM 与各种数据源和工具之间的安全集成。
审计Solidity智能合约中的安全漏洞。
将 .NET 应用程序与 Model Context Protocol 集成