Chimera Scaffold

@Recon-Fuzz

访问 MCP Server

2 months ago

Scaffolds Chimera fuzzing test suites for Solidity smart contracts. Generates ready-to-compile projects with invariant properties, handlers, and fuzzer configs for ERC20, vault, lending, AMM, governance, and staking protocols.

概览工具评论

概览

MCP server that scaffolds Chimera fuzzing test suites for Solidity smart contracts.

Tools

scaffold_project — Generate a full Chimera project (Setup, Properties, TargetFunctions, BeforeAfter,
CryticTester + configs) from a contract name and function list
generate_properties — Generate 8-15 curated invariant properties with Solidity skeletons from contract source code
get_template — Get a complete ready-to-compile Chimera project for standard protocol types (erc20, vault,
lending, amm, governance, staking)
explain_pattern — Get detailed explanations with code examples for patterns (actors, ghosts, cross-contract,
setup-layering)

No API key needed.

在 Playground 中尝试

服务器配置

{
  "mcpServers": {
    "chimera-scaffold": {
      "command": "npx",
      "args": [
        "@recon-fuzz-mcp/chimera"
      ]
    }
  }
}

Build with ShipAny.