Chimera Scaffold

by Recon-Fuzz

287 downloads
Not rated
GitHub

About

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.

Details

Author
Recon-Fuzz
Downloads
287
Categories
Developer Tools, Other, Security

- 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

Setting up with Highlight

This MCP is not yet compatible with Highlight’s one-click setup. However, you can still use it with Highlight by following these steps:

  1. Download and install Highlight from highlightai.com/download
  2. Navigate to the plugins tab and select "Add Custom Plugin"
  3. Configure the plugin with the settings below
    Plugin Name Chimera Scaffold
    Command (node, npx, python, etc.)

    Please refer to the README for specific instructions on how to obtain API keys or other required environment variables.

  4. Enable "Start Automatically" if you want the plugin to start when Highlight launches

From the repository

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.

Claude Desktop / Cursor

Paste into your MCP client config file to install this server.

{
    "mcpServers": {
        "chimera scaffold": {
            "chimera-scaffold": {
                "command": "npx",
                "args": [
                    "@recon-fuzz-mcp/chimera"
                ]
            }
        }
    }
}

McpServers

{
    "chimera-scaffold": {
        "command": "npx",
        "args": [
            "@recon-fuzz-mcp/chimera"
        ]
    }
}

MCP server that scaffoldsChimerafuzzing test suites for Solidity smart contracts. Generates ready-to-compile projects with properties, handlers, and fuzzer configs.

erc20,vault,lending,amm,governance,staking

actors,ghosts,cross-contract,setup-layering

claude mcp add chimera-scaffold -- npx @recon-fuzz-mcp/chimera

Add to~/Library/Application Support/Claude/claude_desktop_config.json:

{ "mcpServers": { "chimera-scaffold": { "command": "npx", "args": ["@recon-fuzz-mcp/chimera"] } } }

Add to.cursor/mcp.jsonin your project:

{ "mcpServers": { "chimera-scaffold": { "command": "npx", "args": ["@recon-fuzz-mcp/chimera"] } } }

No API key needed. The server runs entirely locally with no network calls.

git clone https://github.com/Recon-Fuzz/recon-mcp-chimera.git cd recon-mcp-chimera npm install npm run build
# List tools echo '{"jsonrpc":"2.0","method":"tools/list","id":1}' | node dist/index.js # Scaffold a vault project echo '{"jsonrpc":"2.0","method":"tools/call","params":{"name":"scaffold_project","arguments":{"contract_name":"SimpleVault","functions":["deposit(uint256)","withdraw(uint256)"]}},"id":2}' | node dist/index.js # Get a lending template echo '{"jsonrpc":"2.0","method":"tools/call","params":{"name":"get_template","arguments":{"template_name":"lending"}},"id":3}' | node dist/index.js

- No network calls — everything is in-memory templates and string generation
- src/templates/base.ts— Solidity file generators (Setup, BeforeAfter, Properties, TargetFunctions, CryticTester)
- src/templates/configs.ts— Fuzzer config generators (foundry.toml, echidna.yaml, medusa.json)
- src/properties/— Curated property catalogs per protocol type (8-15 properties each)
- src/patterns/— Pattern explanations with full Solidity code examples
- src/tools/— MCP tool implementations

This server runs entirely offline. No network calls, no environment variables read, no data written to disk, no telemetry. All template generation happens in-process.

This is a web browser that enables your coding agent, such as Claude Code, to visit websites on your behalf and assist you in identifying bugs or creating UI test cases.

MCP server for Klever blockchain smart contract development, on-chain data exploration, and VM interaction. Public remote server available at https://mcp.klever.org/mcp.

Model Context Protocol Servers Repository for OpenZeppelin Products

Read/write to over 2k blockchains, enabling data querying, contract analysis/deployment, and transaction execution, powered by Thirdweb.

Server-side EVM wallet for Ai agents. Send transactions, manage tokens, and interact with smart contracts across multiple chains.

Convert ARC-56 smart contract specifications to MCP servers.

A server for blockchain interactions, offering Ethereum vanity address generation, 4byte lookup, ABI encoding, and multi-chain RPC calls.

Analyzes blockchain smart contracts for vulnerabilities using Mythril and Slither.

A comprehensive toolkit for Ethereum blockchain analysis directly within Claude AI.

An MCP server that provides complete access to Ethereum Virtual Machine (EVM) JSON-RPC methods. Works with any EVM-compatible node provider including Infura, Alchemy, QuickNode, local nodes, and more.

Provides blockchain services for over 30 EVM-compatible networks through a unified interface.

No reviews yet — be the first

Sign in to leave a review

Use Google, GitHub, or an email account so ratings stay tied to real people.

Email sign in

No reviews posted yet.