Chimera Scaffold

@recon-fuzz-mcp/chimera

Solidity スマートコントラクト向けに、Chimera のファジングテストスイートを生成する MCP サーバーです。プロパティ、ハンドラー、ファザー設定を含む、すぐにコンパイルできるプロジェクトを生成します。

ツール

ツール	入力	戻り値
scaffold_project	contract_name、functions[]	Chimera プロジェクト一式（Setup、Properties、TargetFunctions、BeforeAfter、CryticTester と設定）
generate_properties	contract_source、protocol_type	Solidity のスケルトンを含む、厳選された 8～15 個の不変条件プロパティ
get_template	template_name	標準的なプロトコルタイプ向けの、すぐにコンパイルできる Chimera プロジェクト一式
explain_pattern	pattern_name	コード例を含む詳細な説明

プロトコルタイプ

erc20、vault、lending、amm、governance、staking

パターン

actors、ghosts、cross-contract、setup-layering

インストール

Claude Code

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

Claude Desktop

~/Library/Application Support/Claude/claude_desktop_config.json に追加します：

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

Cursor

プロジェクト内の .cursor/mcp.json に追加します：

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

API キーは不要です。サーバーはネットワークに接続せず、完全にローカルで動作します。

ローカル開発

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

アーキテクチャ

• ネットワーク接続はありません。すべてインメモリのテンプレートと文字列生成で処理します
• src/templates/base.ts — Solidity ファイルのジェネレーター（Setup、BeforeAfter、Properties、TargetFunctions、CryticTester）
• src/templates/configs.ts — ファザー設定のジェネレーター（foundry.toml、echidna.yaml、medusa.json）
• src/properties/ — プロトコルタイプごとに厳選されたプロパティカタログ（各 8～15 個）
• src/patterns/ — Solidity のコード例を含むパターンの説明
• src/tools/ — MCP ツールの実装

プライバシー

このサーバーは完全にオフラインで動作します。ネットワーク接続はなく、環境変数の読み取り、ディスクへのデータ書き込み、テレメトリーもありません。すべてのテンプレート生成はプロセス内で行われます。