Official IDA MCP Server plugin for Codex

CommunityPluginDeveloper Tools

Official Hex-Rays IDA MCP Server.

How to install Official IDA MCP Server in Codex

1. Add the repo as a Codex plugin marketplace:

codex plugin marketplace add HexRaysSA/codex-marketplace

2. Install the plugin from it:

codex plugin add ida-mcp@HexRaysSA

Commands copied from the repo README (the first adds the repo as a Codex marketplace; the second installs the plugin). Check the README for setup steps. Source: repo README.

What it contains

The plugin manifest doesn't list components inline. See the repo.

Example prompts from the manifest

  • Open an IDA database with the ida MCP server.
  • Search ida-domain for function APIs.
  • Run an IDA analysis query against the current database.

About this listing

Official IDA MCP Server is a community plugin on GitHub by HexRaysSA. Its README documents a Codex install and the repo ships a Codex plugin manifest. It passed the CodexStacks quality filter for repos found this way (at least 500 stars, pushed in the last 90 days, not a fork or a list). OpenAI hasn't reviewed it and we haven't tested it. The manifest says version 20261008.0.1. It's one of 160 listings in the Developer Tools category.

Stacks Weekly: every new Codex and Grok Build plugin, every Tuesday.

One short email for GrokStacks and CodexStacks readers, with each new plugin's install line and what it ships. Subscribe and get the free starter list: 20 Codex plugins worth installing first.

You'll get a confirmation email first. Unsubscribe anytime.

Official IDA MCP Server FAQ

How do I install Official IDA MCP Server in Codex?

Add the repo as a Codex plugin marketplace with codex plugin marketplace add HexRaysSA/codex-marketplace, then install it with codex plugin add ida-mcp@HexRaysSA. Commands: copied from the repo README; check the repo README too.

Is Official IDA MCP Server an official Codex plugin?

No. Official IDA MCP Server is a community repo on GitHub by HexRaysSA. It passed the CodexStacks quality filter, but OpenAI hasn't reviewed it and we haven't tested it, so read the code before you install it.

What does Official IDA MCP Server include?

The plugin manifest doesn't list components inline. See the repo.

Details

Type
Plugin
Category
Developer Tools
Source
Community
Author
Hex-Rays
Version
20261008.0.1
License
MIT
GitHub stars
1,213 (at last sync)
Last push
2026-10-08
Manifest
.codex-plugin/plugin.json
Source
https://github.com/HexRaysSA/ida-mcp
Website
https://docs.hex-rays.com/core/mcp
Listed via
GitHub search: README documents a Codex install
Tested by CodexStacks
Not yet

Something wrong or missing? Submit or improve this listing. Listings also refresh automatically every night.

For maintainers: badge and embeds

Maintain Official IDA MCP Server? Add the badge; it links to this page.

Listed on CodexStacks

Markdown

[![Listed on CodexStacks](https://codexstacks.com/badge.svg)](https://codexstacks.com/p/ida-mcp/)

HTML

<a href="https://codexstacks.com/p/ida-mcp/"><img src="https://codexstacks.com/badge.svg" alt="Listed on CodexStacks" width="172" height="28"></a>

Embed card (static HTML and inline CSS, no JavaScript). Preview:

<a href="https://codexstacks.com/p/ida-mcp/" style="display:block;max-width:380px;box-sizing:border-box;padding:14px 16px;border:1px solid #3a2c26;border-radius:12px;background:#0d0b0a;color:#f3ece6;font:14px/1.45 -apple-system,Segoe UI,Roboto,Helvetica,Arial,sans-serif;text-decoration:none"><span style="display:block;font-size:16px;font-weight:700;color:#f3ece6">Official IDA MCP Server</span><span style="display:block;margin:2px 0 8px;font-size:12px;color:#b5a9a1">Community Codex plugin</span><span style="display:block;margin:0 0 10px;color:#ddd3cc">Official Hex-Rays IDA MCP Server.</span><span style="font-size:12px;font-weight:600;color:#ffb347">View on CodexStacks →</span></a>

Markdown summary

**[Official IDA MCP Server on CodexStacks](https://codexstacks.com/p/ida-mcp/)**: Community Codex plugin.

More on badges, embeds and keeping your listing up to date: CodexStacks for plugin authors.

Also in Developer Tools

All 160 developer tools listings →