TraceForge
OfficialSupports inspecting WebAssembly binaries, including inventory of sections, imports, and exports.
This server does not currently have a deployable release on Glama. Follow the repository's setup instructions to install and configure it for your MCP client, including any required credentials and local dependencies.
TraceForge is a small, read-only toolkit for inspecting native binaries and keeping the result as verifiable Evidence. It does not execute the target, does not upload data, and does not require a cloud service.
$ tforge scan /bin/ls
TraceForge · scan
path /bin/ls
sha256 13f44bfe1c4af602da4465c834dbe7b16a5441ccbd843178b36116ee23422bfb
size 252,512 bytes
format mach-o
Slices
x86_64 64-bit little executable
12 sections · 91 imports · 1 exports · 3 libraries
arm64e 64-bit little executable
11 sections · 90 imports · 1 exports · 3 libraries
arm64 64-bit little executable
11 sections · 90 imports · 1 exports · 3 libraries
Evidence ev_157a66f293e5161b44cd5889b8a39555d2878d84e659d33b37019791d568dd75 (scan)Why TraceForge
Read-only by construction. Analysis never launches the target.
Evidence, not screenshots. Every result has a content-addressed
evidence_id, a SHA-256 input identity, limitations, and a local JSON record.Deterministic records. Stable JSON canonicalization means the same input and result produce the same identity.
Agent-native. A dependency-free MCP stdio server exposes the same core.
Zero telemetry. No network calls, no accounts, no background service.
Small dependency surface. Runtime code uses Node built-ins only.
Related MCP server: Flameox
Install
git clone https://github.com/Mutersec/traceforge.git
cd traceforge
npm ci
npm run build
npm link # optional: exposes `tforge` and `traceforge`Or run without linking:
node dist/cli.js scan /bin/lsCommands
Command | Purpose |
| Identify format, hashes, slices and collection counts. |
| Full section, import, export and library inventory. Use |
| Compare two binaries by identity, sections and symbols. |
| List local Evidence summaries. |
| Read one authenticated record. |
| Recompute and verify a record. |
| Verify every local record. |
| Export a deterministic bundle. |
| Authenticate and merge a bundle. |
| Write a standalone HTML Evidence report. |
| Start the MCP stdio server. |
Common flags: --json, --store <dir>, --no-save, --debug.
Use --out report.html with report; npm run demo runs the whole showcase.
Evidence is written to .traceforge/evidence by default. Use --no-save for a
one-shot inspection.
Evidence report
tforge report /bin/ls --out traceforge-report.htmlThe report is a standalone HTML file: identity badge, input hash, sections, imports/exports and limitations. It is generated from the same authenticated record and contains no external scripts.

See docs/demo.md for a three-minute non-technical and technical demo script.
MCP
Add TraceForge to any MCP client:
{
"mcpServers": {
"traceforge": {
"command": "node",
"args": ["/absolute/path/to/traceforge/dist/cli.js", "mcp"],
"env": {
"NO_COLOR": "1"
}
}
}
}Tools:
scan_binaryinspect_binarycompare_binariesget_evidencelist_evidence
The protocol is newline-delimited JSON-RPC 2.0 over stdio. See docs/mcp.md.
Supported formats
Format | Inventory |
Mach-O / universal | slices, sections, symbols, dylibs, UUID, entrypoint |
ELF32 / ELF64 | sections, symbols, |
PE32 / PE32+ | sections, imports, exports, RVA entrypoint |
WebAssembly | sections, imports, exports |
Unknown | input identity and a declared limitation |
TraceForge is an inspector, not a disassembler. It does not reconstruct code or execute targets. Stripped binaries may expose fewer symbols. Parser limits and coverage are documented in docs/parsers.md.
Architecture
flowchart LR
A[CLI] --> O[Operations]
M[MCP stdio] --> O
O --> P[Format parsers]
O --> E[Evidence store]
P --> M1[Mach-O]
P --> E1[ELF]
P --> P1[PE]
P --> W1[WASM]
E --> S[(.traceforge/evidence)]The parsers own byte interpretation. Operations compose input identity, result and limitations into one record. The store owns durability and authentication; adapters never re-interpret parser facts.
Safety
Targets are opened read-only.
Files larger than 512 MiB are rejected before parsing.
Section hashing is capped at 64 MiB per section.
Bounds, counts and string lengths are checked before allocation.
Evidence is written atomically with owner-only permissions.
The tool does not execute, attach to, or modify targets.
See SECURITY.md for reporting and docs/roadmap.md for the next increments.
Development
npm ci
npm run typecheck
npm test
npm run build
npm run check # typecheck + tests + buildTests cover synthetic ELF/PE/WASM fixtures, Evidence integrity, bundle round-trips, MCP protocol and a real macOS Mach-O when run on Darwin. CI runs on Node 22 and 24.
Performance
Measured on an Apple Silicon arm64 host with Node 24, 25 iterations over a 252,512-byte universal Mach-O:
Operation | Median | p95 | CPU median |
| 0.46 ms | 0.68 ms | 0.49 ms |
The benchmark is local and parser-only; it does not execute the target or use a
network. Reproduce with npm run bench -- /bin/ls. These numbers are a starting
point, not a cross-tool comparison.
License
MIT © 2026 Mutersec.
This server cannot be deployed
Maintenance
Related MCP Connectors
Read-only release evidence for coding agents: findings, deliveries, source and runtime data.
Read-only verifier for 25 ProofRelay MCP tools and non-confidential evidence bundles.
Read-only agent identity index with provenance, historical evidence and explained coverage.
A read-only verified record of agent-operable GTM tools: search, fetch, compare, track changes.
Related MCP Servers
- AlicenseCqualityCmaintenanceEnables coding agents to query, compare, and audit local profiler traces, benchmarks, memory captures, and execution evidence without uploading code or data, using CLI and MCP interfaces.11188 PyPI232MIT
- FlicenseNot gradedqualityAmaintenanceEnables coding agents to collect bounded local runtime evidence by coordinating profilers, benchmark tools, trace processors, and direct targets, then inspect and preserve artifacts for tracing, profiling, and hotspot analysis.-
- FlicenseNot gradedqualityAmaintenanceEnables coding agents to coordinate profilers, benchmark tools, trace processors, and direct local targets to capture bounded runtime evidence, analyze artifacts, and inspect preserved evidence with provenance, coverage, and limitations.-
- FlicenseNot gradedqualityAmaintenanceEnables coding agents to coordinate local profilers, benchmark tools, trace processors, and direct command or artifact targets to produce bounded, typed runtime evidence about application, native, and GPU-kernel hotspots, including coverage, provenance, and limitations. It also supports optional durable preservation of native bytes and canonical evidence bundles by hash for later inspection and replay.-