ida-pro-mcp
★ 13.1k
vs
sourcerykit
★ 21
ida-pro-mcp vs sourcerykit
ida-pro-mcp: IDA Pro MCP is a straightforward Model Context Protocol (MCP) server that integrates IDA Pro with various MCP clients, enabling powerful LLM-assisted reverse engineering. It offers a comprehensive, type-safe API for accessing and modifying IDA Pro's internal state, streamlining automated analysis workflows.; sourcerykit: SourceryKit, also known as Provably SDK, is a Python library that integrates a deterministic evaluation layer into any Python agent. It records outbound HTTP calls, evaluates claims against trusted records, and enforces endpoint policies to ensure agents operate within defined boundaries.
01
TL;DR
ida-pro-mcpSecurity & Safety · ★ 13.1k
When to choose:
- You use Hex-Rays IDA Pro for binary analysis and want to connect Claude or Cursor to IDA's disassembler, decompiler, and type system via MCP.
- You want to automate function renaming, pseudocode commentary, and vulnerability identification inside IDA Pro.
When to skip:
- You rely on the open-source NSA Ghidra decompiler; GhidraMCP is the dedicated bridge for Ghidra.
- You do not hold an active IDA Pro license.
sourcerykitSecurity & Safety · ★ 21
Ensuring LLM agents adhere to pre-defined security policies and trusted endpoints.
02
Side-by-Side Comparison
Field
ida-pro-mcpsourcerykitCategory
Security & Safety
Security & Safety
Stars
★ 13.1k
★ 21
License
MIT
NOASSERTION
Install Command
pip uninstall ida-pro-mcp && pip install https://github.com/mrexodia/ida-pro-mcp/archive/refs/heads/main.zip && ida-pro-mcp --install
git clone [email protected]:ProvablyAI/provably-python-sdk.git && pip install -e ./provably-python-sdk
Updated
3w ago
3d ago
Open Source
Yes
Yes
Tags
IDA Pro, Reverse Engineering, MCP
Python SDK, LLM Agent, Verifiable Guardrails
03
Features
ida-pro-mcp01Type-safe API with TypedDict schemas for better IDE support and LLM structured outputs
02Batch-first design where most operations accept both single items and lists
03Consistent error handling where all batch operations return structured error information
04Cursor-based pagination for search functions to manage large results
05Performance optimization with string caching to avoid repeated build_strlist calls
sourcerykit01Intercept and Police outbound HTTP calls against trusted endpoints.
02Capture and Store all HTTP requests and responses into a Postgres database.
03Evaluate agent claims against proven indexed values using deterministic comparisons.
04Seamless integration with major LLM frameworks and SDKs like OpenAI, LangChain, and LlamaIndex.
04
Use Cases
ida-pro-mcp↳LLM-assisted reverse engineering directly within IDA Pro
↳Automating binary analysis tasks and programmatic modification of IDA Pro's database
↳Integrating IDA Pro's rich context with various Model Context Protocol (MCP) clients
sourcerykit↳Ensuring LLM agents adhere to pre-defined security policies and trusted endpoints.
↳Verifying the accuracy of claims made by AI agents based on their external interactions.
↳Building auditable AI systems where every external call and agent claim is recorded and verifiable.
↳Implementing verifiable guardrails for agents to prevent unauthorized access or data manipulation.
05
Best For
ida-pro-mcpMost PopularEssentialTrending
sourcerykit—
FAQ
FAQ
What is the difference between ida-pro-mcp and sourcerykit?
Both ida-pro-mcp and sourcerykit are in the Security & Safety category. ida-pro-mcp has 13.1k stars, while sourcerykit has 21 stars.
Which is better, ida-pro-mcp or sourcerykit?
The best choice depends on your use case. Choose ida-pro-mcp if LLM-assisted reverse engineering directly within IDA Pro, and sourcerykit if Ensuring LLM agents adhere to pre-defined security policies and trusted endpoints..
Is ida-pro-mcp free or open source?
Yes, ida-pro-mcp is open source on GitHub (MIT).
Is sourcerykit free or open source?
Yes, sourcerykit is open source on GitHub (NOASSERTION).
Cloud Infrastructure
AdDeploy on DigitalOcean
Host your MCP servers, Docker containers, and AI agents with $200 free credit over 60 days.
→