| Cervellaswarm | Ida Pro MCP | |
|---|---|---|
| Description | Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter, and LSP. Catches deadlocks... | MCP server for IDA Pro, allowing you to perform binary analysis with AI assistants. This plugin implement decompilation, disassembly and allows you... |
| Category | Security | Security |
| Language | Python | Python |
| License | Apache-2.0 | MIT |
| Stars | 6 | 7196 |
| Website | https://github.com/rafapra3008/cervellaswarm | https://plugins.hex-rays.com/mrexodia/ida-pro-mcp |