re-vtil
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Capabilities
Features and capabilities supported by this server
| Capability | Details |
|---|---|
| tools | {
"listChanged": false
} |
| prompts | {
"listChanged": false
} |
| resources | {
"subscribe": false,
"listChanged": false
} |
| experimental | {} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| check_vtilA | Return vtil-cli version + supported architectures. Reports |
| lift_handlerA | Lift arch / code to VTIL intermediate language. Args:
arch: target architecture — one of Returns:: Each lifted instruction is one of VTIL's IL primitives
( On a missing binary, returns |
| optimizeA | Run VTIL optimization passes over a lifted IL tree. Args:
il: the IL tree produced by :func: Returns:: The output IL is in the same shape as the input — drop-in
replacement for downstream |
| emit_pseudo_cA | Emit a pseudo-C reading of a lifted IL tree. The output is best-effort — VTIL's Args:
il: the IL tree (raw from Returns:: |
| simplify_lifted_ilA | Run the curated default pass set on a lifted IL tree. The canonical pass order comes from
Args:
il: the IL tree produced by :func: Returns:: |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
Latest Blog Posts
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/Heretek-RE/re-vtil'
If you have feedback or need assistance with the MCP directory API, please join our Discord server