Summary
The blank page problem in invariant testing, solved before you write a line.
A Chimera suite is mostly boilerplate plus a handful of properties that matter, and the boilerplate is what stops people starting. This writes the scaffolding and proposes the properties, leaving you to argue with the ones it picked.
What it is
A scaffolder for Chimera invariant-fuzzing projects. Give it a contract and its functions and it writes the Setup, Properties, TargetFunctions, BeforeAfter and CryticTester files along with the fuzzer configuration.
What you get
- A complete Chimera project for a named contract and the function signatures you pass
- Between 8 and 15 curated invariant properties with Solidity skeletons, drawn from the contract source and the protocol type
- Ready-to-compile templates for the standard protocol types: erc20, vault, lending, amm, governance and staking
- Written explanations with code for the Chimera patterns — actors, ghosts, cross-contract and setup-layering
Requirements
A recent Node and npx; claude mcp add chimera-scaffold -- npx @recon-fuzz-mcp/chimera wires it up in one line. No API key, and it makes no network calls — everything is generated in memory.
Setup effort
One command — npx @recon-fuzz-mcp/chimera