Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者による説明(英語の原文)
The AI X-ray for any file: what is it, what does it hide, what changed. Built on REA.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
必要なもの
どのアプリを使っていますか?
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
Claude Desktop → Settings → Developer → Edit Config を開き、claude_desktop_config.json にこれを貼り付けます
{
"mcpServers": {
"binsight": {
"command": "npx",
"args": [
"-y",
"binsight",
"mcp"
]
}
}
}ターミナルでこれを実行します
claude mcp add binsight -- npx -y binsight mcpプロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます
{
"mcpServers": {
"binsight": {
"command": "npx",
"args": [
"-y",
"binsight",
"mcp"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
プロジェクトの .vscode/mcp.json に貼り付けます
{
"servers": {
"binsight": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"binsight",
"mcp"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
これはパソコンで動くサーバーですが、ChatGPTがつなげるのはインターネット上のサーバーだけです。ほかのアプリを選んでください。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月7日にチェック
レジストリ名は、リポジトリを所有するGitHubアカウント Alessiolucini で確認済みです
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
これはパソコンで動くため、インターネット上のエンドポイントはありません
パソコンで動き、代わりにローカルの設定を使います
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません(サーバー自体がオンラインサービスを呼び出す場合を除きます)。
GitHubリポジトリの最終更新は–、最新バージョン(6.6.0)がレジストリに届いたのは20 日前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにNode.jsも必要です。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, OpenTakeoff
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ GitHubスターi3つの柱:レビュー · チェック · 利用状況i更新=最新バージョンをレジストリに公開した日i
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Construction takeoff for AI agents: load plans, set scale, measure, count, export with provenance.
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
Offline · cross-platform · with evidence. It never runs the file.
Built on REA (morluto/rea) · MIT
Most files are black boxes: an .exe you downloaded, a firmware dump, a driver, a game, an ECU calibration, an app update. BinSight opens the box — statically, on your own machine, without ever running the file — and answers the three questions that matter, in plain language and with the evidence to back them up.
You: What is this file? Is it hiding anything? And what changed vs the old version?
BinSight: PE/Windows x64, compiled with MSVC, UPX-packed (entropy 7.9), imports consistent with network + process injection, Authenticode signature present, and vs the previous build 3 regions changed — here are the offsets. All static, all offline, with evidence.
triage_file and inspect_executable read ELF, PE/Windows and Mach-O (and raw blobs) and tell you the type, architecture, entry point, imports/exports, sections, hashes, and a compiler/packer fingerprint — without starting Ghidra or IDA, on macOS, Windows or Linux.
detect_binary_toolchain, measure_binary_entropy, classify_import_capabilities, identify_crypto_constants, extract_binary_strings, inspect_code_signature and scan_embedded_content surface packing, high-entropy regions, imported capabilities (network, process, crypto…), IOC strings, embedded files, and whether a signature is real — reported as evidence and inference, never as a verdict.
compare_binaries diffs any two files byte-for-byte and explains the change — which regions moved, what was zeroed or maxed out, the before/after values. Works on app updates, drivers, firmware and ECU calibration dumps alike. compare_executables adds import/export/section/hardening deltas for executables.
| Tool | What it answers |
|---|---|
| `triage_file` | One call: type, hashes, structure, entropy, packing, capabilities, signature, strings, next steps |
| `generate_triage_report` | A shareable Markdown triage report |
| `compare_binaries` | Diff any two files and explain what changed (firmware, ECU dumps, updates) |
| `compare_executables` | Diff two executables: imports, exports, sections, hardening, entropy |
| `inspect_executable` | Sections, imports, exports, libraries, symbols, entry point, overlay — ELF/PE/Mach-O |
| `inspect_binary_hardening` | checksec for every OS: PIE, canary, NX, RELRO, CFG, ASLR, hardened runtime |
| `measure_binary_entropy` | File / section / block Shannon entropy + chi-square |
| `detect_binary_toolchain` | Compiler, packer, installer, language (UPX, MSVC, PyInstaller, Go…) |
| `extract_binary_strings` | ASCII/UTF-16 strings classified into IOCs (URL, IP, path, registry…) |
| `identify_crypto_constants` | AES S-box, SHA/MD5, CRC32, ChaCha, curve parameters… |
| `classify_import_capabilities` | Capabilities inferred from imports ("consistent with", never a verdict) |
| `scan_byte_patterns` | Byte / hex-wildcard / text / regex search, no provider needed |
| `compute_similarity_hashes` | imphash, Rich hash, symhash, telfhash, ssdeep, TLSH |
| `inspect_code_signature` | Authenticode + Mach-O code signature — on any host |
| `scan_embedded_content` | binwalk-style embedded-file identification (offsets only) |
| `generate_sbom` | CycloneDX / SPDX component inventory from embedded metadata |
| `recover_go_symbols` | Function names from a stripped Go pclntab |
Every result separates observations, inferences and unknowns, carries file offsets, and states its limitations. Detection only — nothing is unpacked, decrypted, cracked or executed.
npx binsight triage-file /path/to/file --json
npx binsight compare-binaries /path/to/old /path/to/new --json npx binsight generate-triage-report /path/to/file --json
Register BinSight as an MCP server for your AI agent, then just ask it in plain language ("what is this file, what does it hide, what changed?"):
npx binsight setup
BinSight supports the same agents as REA — see supported agents; other clients can use manual MCP registration.
BinSight's parsers and hashes are checked against the tools analysts already trust: imphash matches `pefile` byte-for-byte, structure matches LIEF / readelf / otool, and hardening and packing results match checksec and Detect It Easy on a real corpus of ELF, PE and Mach-O binaries.
BinSight builds on REA and adds the static intelligence suite above. REA is MIT-licensed; this project keeps that license and attribution. This is not an official REA release — for REA itself, go to morluto/rea.
MIT. See LICENSE. Portions © the REA authors.