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.; fastmcp: FastMCP is a standard framework for building Model Context Protocol (MCP) applications, which connect LLMs to tools and data. It simplifies the process by automatically generating schemas, validation, and documentation for tools, and managing transport negotiation and authentication for server connections. FastMCP offers a comprehensive solution for developing, deploying, and scaling MCP-powered systems.
Auditing Solidity smart contracts for security vulnerabilities.
Building LLM applications that interact with custom tools and data sources