re-vtil
Related Servers
Alternatives to re-vtil
No user-submitted related servers found.
Related Servers
- AlicenseNot gradedqualityDmaintenanceEnables LLMs to autonomously reverse engineer binaries using Ghidra's capabilities including decompilation, function analysis, automatic renaming, and BSim integration for function similarity matching.1AGPL 3.0
- AlicenseNot gradedqualityCmaintenanceEnables LLMs to automate reverse engineering tasks using Cutter, including function analysis, decompilation, disassembly, and more.57GPL 3.0
- AlicenseAqualityCmaintenanceA multi-backend MCP server that exposes binary analysis capabilities from IDA Pro and Ghidra, allowing LLMs to directly drive reverse-engineering tools via natural language.11172Apache 2.0
- AlicenseAqualityAmaintenanceMCP server integrating Rizin reverse engineering, RzGhidra decompiler, and capa for binary analysis, enabling LLMs to open binaries, identify capabilities, extract function addresses, and decompile to C pseudocode.104MIT
- AlicenseNot gradedqualityAmaintenanceEnables AI-assisted reverse engineering by bridging Binary Ninja with Large Language Models through 40+ analysis tools. Provides comprehensive binary analysis capabilities including decompilation, symbol management, type analysis, and documentation generation through natural language interactions.51MIT
- AlicenseNot gradedqualityAmaintenanceToken-efficient MCP server for Ghidra-based reverse engineering. Analyze ELF, Mach-O, and PE binaries with Swift, Objective-C, and Hermes support.37 PyPI36MIT
TDQS
Scored across 5 tools
Each tool targets a distinct operation: checking the CLI, lifting code, optimizing IL generically, optimizing with a curated preset, and emitting pseudocode. There is no functional overlap.
Names follow a verb_noun pattern with underscores, mostly consistent (check_vtil, emit_pseudo_c, lift_handler, optimize, simplify_lifted_il). The verb 'simplify' is slightly different from 'optimize', but both are clear and the pattern is predictable.
Five tools is well-scoped for a binary lifting MCP server: verification, lifting, two optimization variants, and output. Neither too few nor too many.
The core workflow (lift -> optimize -> emit) is fully covered. The only minor gap is the lack of a tool for raw IL inspection or comparison, but the provided set is sufficient for typical reverse engineering tasks.