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.
Overview
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.
Server Config
{
"mcpServers": {
"chimera-scaffold": {
"command": "npx",
"args": [
"@recon-fuzz-mcp/chimera"
]
}
}
}