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.

@Recon-Fuzz
Basic information
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.
Add this server to your MCP-compatible client using the configuration below.
{
"mcpServers": {
"chimera-scaffold": {
"command": "npx",
"args": [
"@recon-fuzz-mcp/chimera"
]
}
}
}Tool list not available yet
This listing does not currently have a tool list to display. This does not mean the server has no tools; check its documentation for supported capabilities.
Fetch the live tool list by running this server in a temporary sandbox using the button above.
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.
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.
It generates a complete Chimera project including Setup, Properties, TargetFunctions, BeforeAfter, CryticTester, and configuration files based on a contract name and function list.
No, the server does not require any API key.
Templates are provided for erc20, vault, lending, amm, governance, and staking protocol types.
It provides detailed explanations with code examples for patterns such as actors, ghosts, cross-contract, and setup-layering.

Leadpages MCP is a remote MCP server available at https://mcp.leadpages.com.

Form backend for static sites. Create form endpoints, get paste-ready markup for HTML, React, Vue, Svelte and Astro, and read submission stats — straight from your agent. Submissions are spam-filtered, stored, and routed

AppCreator24 - Android App & APK Builder is a remote MCP server available at https://www.appcreator24.com.

Official Porkbun MCP server, maintained by Porkbun. Check domain availability and pricing, register, renew and transfer domains, and manage DNS records, nameservers, URL forwarding, glue records, DNSSEC and domain contac

Catch intent conflicts before code conflicts. The open-source coordination protocol for coding agents, built above Git.
Comments