slither-mcp

Slither MCP Server 一个基于模型上下文协议（MCP）的服务器，利用 Slither 为 Solidity 智能合约提供静态分析能力。 概述 此 MCP 服务器封装了 Slither 静态分析功能，使其可通过模型上下文协议进行访问。它能够分析 Solidity 项目（Foundry、Hardhat 等），并生成关于合约、函数、继承层次结构等的全面元数据。 您也可以将 Slither MCP 作为易于使用的 Slither API 用于其他场景。 特性 缓存 ：Slither 运行结果会缓存到...

Aether - Adaptive Exploit and Threat Hunting Engine for EVM-based Repositories

Aether is a Python-based framework for analyzing Solidity smart contracts, generating vulnerability findings, producing Foundry-based proof-of-concept PoC tests, and optionally validating those tests on mainnet forks. It combines static analysis, prompt-driven LLM analysis, and AI-ensemble...

Malicious code in nexo-solidity-smart-contracts (npm)

The package nexo-solidity-smart-contracts was found to contain malicious code...

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts

Ethereum smart contracts operate in a concurrent environment where multiple transactions can be submitted simultaneously. However, the Ethereum Virtual Machine EVM enforces sequential execution of transactions within each block to prevent conflicts arising from concurrent access to the same state...

Upgraded Q -> M from 266 [1666361934775]

Judge has assessed an item in Issue 266 as Medium risk. The relevant finding follows: Stop Using Transfer Use call instead of transfer, as per. This does not introduce any issues for re-entrancy as all calling functions are marked non-reentrant. --- The text was updated successfully, but these...