explain_pattern
Get a detailed explanation of a Chimera fuzzing pattern with code examples.
LABSCO 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
USE CASES
01
Starting an invariant suite for a contract you just wrote
Hand over the contract name and its function signatures and get a compiling project back, not a template to fill in.
02
Working out what to actually assert
Get 8 to 15 invariant properties proposed from the source and the protocol type, then keep the ones that hold.
03
Seeing how a proper suite is laid out
Pull the template for a standard protocol type — a vault, a lending market — and read it before adapting your own.
04
Understanding a pattern you keep meeting in fuzzing code
Ask what actors or ghost variables are for and get the explanation with code beside it.
4 tools
Counted once with only startup setup. Other versions, modes or optional credentials may expose a different list.
generate_properties
Generate 8-15 curated invariant properties with Solidity skeletons based on the protocol type and contract source.
get_template
Get a complete ready-to-compile Chimera project template for a standard protocol type.
scaffold_project
Scaffold a complete Chimera fuzzing test suite for a given contract and its functions. Returns an array of {path, content} for all project files.
BEFORE YOU INSTALL
What to know first
Tools you get
4 tools when we connected. Cross-contract and setup-layering are values of explain_pattern's pattern_name argument, and erc20, vault, lending, amm, governance and staking are protocol_type values, not tools.
Requires
npx on PATH
Where it runs
All 3 documented clients run the server on your machine.
CONTEXT COST
Light Standing cost
Rated by the size of the 4 tool definitions that ride along on every turn, not by how many there are
INSTALLATION
Connect your client
Server setup
TERMINAL
npx @recon-fuzz-mcp/chimeraMCP Clients
Claude Code
CLAUDE CODE · TERMINAL
claude mcp add chimera-scaffold -- npx @recon-fuzz-mcp/chimeraClaude Desktop, Cursor
JSON
{
"mcpServers": {
"chimera-scaffold": {
"command": "npx",
"args": [
"@recon-fuzz-mcp/chimera"
]
}
}
}
