Farofino
Orchestrates smart contract security audits by integrating industry-standard analysis tools and custom pattern checks via the Model Context Protocol.
About
Farofino acts as a Model Context Protocol (MCP) server, offering a unified interface for conducting comprehensive security audits on Solidity and Vyper smart contracts. It seamlessly integrates powerful industry-standard tools like Slither and Aderyn, alongside custom pattern analysis for common vulnerabilities. Designed to enable AI assistants and other MCP clients, Farofino simplifies the process of performing robust static application security testing, allowing users to analyze contract source code, manage audit tool installations, and receive detailed security insights through a single protocol.
Key Features
- Aderyn Integration for Rust-based Solidity analysis
- Slither Integration for Solidity & Vyper static analysis
- Ability to read and inspect contract source code
- Custom pattern-based security checks for common vulnerabilities
- Tool management to check installed audit tools and get instructions
- 0 GitHub stars
Use Cases
- Performing comprehensive security audits on Solidity and Vyper smart contracts
- Integrating automated smart contract auditing into AI assistants and MCP clients
- Checking the installation status and instructions for various external audit tools
