Skip to main content
Glama
Heretek-RE

re-triton

by Heretek-RE
OverviewSchemaSourceRelated ServersScoreDiscussionsAdmin
Python
Local

re-triton

MCP server exposing the Triton library for symbolic execution, taint analysis, and constraint solving.

Tools

Tool

What it does

check_triton

Confirm Triton is importable

emulate_function

Concrete emulation (no sym)

symbolic_explore

Symbolic execution through a function

solve_constraint

Z3-based constraint solver

taint_analysis

Taint tracking through a function

find_magic_bytes

Solve for input that matches target bytes

Related MCP server: re-mcp

Install

pip install -e ./servers/re-triton

The pyproject.toml pins triton @ git+https://github.com/JonathanSalwan/Triton, which pulls Quarkslab's binary-analysis framework directly from its source repo. The PyPI triton package is the GPU compiler and is not what re-triton needs. Building Triton from source requires CMake + a C++ toolchain; the install can take a few minutes the first time.

Best-effort on Windows — if the source build doesn't install, the server will return a clean "Triton not available" error from check_triton.

Why Triton

Triton is the easiest of the symbolic-execution frameworks to embed in a Python tool. It pairs with the capstone disassembly (which we already use in re-lief). For binary-only symbolic exec on x86/x64/AArch64, this is the right choice. For more advanced use cases (deep program analysis, complex constraints), angr is the gold standard — that's a v2 candidate.

Note on raw bytes

Triton operates on raw machine code, not files. The MCP tools accept code_b64 (base64-encoded bytes) — the caller (Claude Code, via re-rizin.disassemble_function and friends) extracts the relevant bytes from the binary.

Tool Schema Changelog

Recent tool additions, removals, and schema changes observed during successful MCP inspections. Dates show when Glama detected each change.

No tool schema history has been recorded yet.

This server cannot be installed

RayrunBuild, deploy, and operate MCP servers without becoming an infrastructure team.ray.runAd

Maintenance

ActivityStale
ResponsivenessSyncing

Resources

Unclaimed servers have limited discoverability.

Looking for Admin?

If you are the server author, to access and configure the admin panel.

Related MCP Connectors

Related MCP Servers

  • re-mcp

    jtsylve
    A
    license
    Not graded
    quality
    B
    maintenance
    A 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.
    151
    Apache 2.0