Chimera Scaffold
@Recon-Fuzz
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.
概要
What is Chimera Scaffold?
Chimera Scaffold is an MCP server that generates scaffolding for Chimera fuzzing test suites targeting Solidity smart contracts. It provides tools to create project structures, invariants, templates, and pattern explanations.
How to use Chimera Scaffold?
The server exposes four tools that can be called through an MCP client. No API key is required. The tools are invoked by name with appropriate parameters as described in the server's tool definitions.
Key features of Chimera Scaffold
- Generate a full Chimera project from a contract name and function list
- Produce 8-15 curated invariant properties with Solidity skeletons from source code
- Retrieve complete ready-to-compile Chimera projects for standard protocol types
- Explain common Chimera patterns with code examples
Use cases of Chimera Scaffold
- Rapidly bootstrapping a new Chimera fuzzing test suite for any Solidity contract
- Generating property-based invariants automatically from existing contract source
- Getting pre-built Chimera project templates for ERC20, vault, lending, AMM, governance, and staking protocols
- Learning Chimera patterns like actors, ghosts, and cross-contract testing via documented explanations
FAQ from Chimera Scaffold
What does the scaffold_project tool generate?
It generates a complete Chimera project including Setup, Properties, TargetFunctions, BeforeAfter, CryticTester, and configuration files based on a contract name and function list.
Do I need an API key to use Chimera Scaffold?
No, the server does not require any API key.
What protocol templates are available via get_template?
Templates are provided for erc20, vault, lending, amm, governance, and staking protocol types.
What patterns can explain_pattern explain?
It provides detailed explanations with code examples for patterns such as actors, ghosts, cross-contract, and setup-layering.
