Chimera Scaffold MCP Server

@Recon-Fuzz

代码仓库

基本信息

分类

开发工具

传输方式

stdio

作者

Recon-Fuzz

提交者

David Chaparro

关于 Chimera Scaffold MCP Server

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.

#solidity #fuzzing#invariant-testing#smart-contracts #security#chimera#mcp

Chimera Scaffold MCP Server 配置

使用下面的配置,将此服务器添加到你的 MCP 客户端。

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

Chimera Scaffold MCP Server 工具

工具列表暂未提供

当前收录暂时没有可展示的工具列表，不代表服务没有工具。请查阅项目文档了解支持的能力。

点击上方按钮,在临时沙箱中运行此服务器并实时获取工具列表。

概览

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

常见问题

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.

开发工具分类下的更多 MCP 服务器

LastPing

Know when your AI agents, cron jobs and CI pipelines fail, stall or go quiet. Your agent sets up monitors from a plain description, tells you what is broken and why, reads run history and traces, and writes notes on inci

Meticulous

CircleCI MCP Server

CircleCI

Manage CI/CD pipelines, debug failed builds, and optimize test suites directly from your AI agents - no terminal required. The CircleCI MCP Server is a remote server hosted by CircleCI that connects AI tools and agents

Yocoolab

MCP server for AI Agents — exposes Yocoolab feedback threads and design selections as tools

OrangePro

Aamir Siddiqui

OrangePro local-first CLI + MCP server for behavior mapping, grounded test generation, and dynamic proof.