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.; csharp-sdk: The MCP C# SDK is the official C# SDK for the Model Context Protocol, designed to enable .NET applications, services, and libraries to implement and interact with MCP clients and servers. The Model Context Protocol (MCP) itself is an open protocol that standardizes how applications provide context to Large Language Models (LLMs), facilitating secure integration between LLMs and various data sources and tools.
Auditing Solidity smart contracts for security vulnerabilities.
Integrating .NET applications with the Model Context Protocol