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
基本信息
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.
使用下面的配置,将此服务器添加到你的 MCP 客户端。
{
"mcpServers": {
"chimera-scaffold": {
"command": "npx",
"args": [
"@recon-fuzz-mcp/chimera"
]
}
}
}工具列表暂未提供
当前收录暂时没有可展示的工具列表,不代表服务没有工具。请查阅项目文档了解支持的能力。
点击上方按钮,在临时沙箱中运行此服务器并实时获取工具列表。
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.

Nebelus is an enterprise agentic-AI platform for regulated industries. This MCP server exposes the Nebelus Construction API: ~48 tools that give an MCP client full agent build parity — create/update/probe agents, edit ag

Verified distributed compute for humans, applications, and agents. Submit Blender, Octane, and video workloads, route them across qualified GPUs, track asynchronous execution, download finished artifacts, and verify FARP

Hermoso is an AI marketing agent and AI ad generator you run from your AI agent: a remote MCP server that researches the ads already winning in your market, makes image and video ads and organic posts in your brand, publ

Multi-zone MCP server for GKE/EKS/AKS: Python tools from git, NeMo guardrails, SSO, autoscaling.
Gives AI agents public URLs (tunnels) for localhost, live HTTP traffic inspection, snapshot publishing, and access control. Part of LocalCan, the ngrok alternative for Mac, Windows and Linux. Free plan.
评论