binary-re-synthesis SKILL.md skillA

binary-re-synthesis from aiskillstore/marketplace is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.

Install it, pinned
mdr add aiskillstore/marketplace/binary-re-synthesis@git:20260113.222b7de

Pins git:20260113.222b7de in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
aiskillstore/marketplace
Path
skills/2389-research/binary-re/synthesis/SKILL.md
Versions recorded
1
Latest version
git:20260113.222b7de, committed Jan 13, 2026
Size
9,835 bytes
Repository stars
471
License
none declared

Use when ready to document findings, generate a report, or summarize binary analysis results. Compiles analysis findings into structured reports - correlates facts from triage/static/dynamic phases, validates hypotheses, generates documentation with evidence chains. Keywords - "summarize findings", "generate report", "document analysis", "what did we find", "write up results", "export findings".

Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.

What the file says

# Analysis Synthesis (Phase 5)

## Purpose

Compile all gathered knowledge into actionable intelligence. Validate hypotheses against evidence. Produce structured reports with traceable findings.

## When to Use

- Sufficient facts gathered from triage + static + dynamic analysis
- Ready to document understanding for handoff or archival
- Need to present findings to stakeholders
- Before closing analysis session

## Synthesis Process

### Step 1: Evidence Review

Gather all recorded knowledge:

```
FACTS collected:
- From triage: arch, ABI, dependencies, capabilities
- From static: functions, xrefs, decompilation
- From dynamic: syscalls, network, file access

HYPOTHESES formed:
- With supporting evidence
- With contradicting evidence
- Unresolved hypotheses

QUESTIONS remaining:
- Blocking questions (prevent conclusion)
- Open questions (future investigation)
```

### Step 2: Hypothesis Validation

For each hypothesis, determine status:

| Evidence State | Status | Action |
|----------------|--------|--------|
| Strong support, no contradictions | **Confirmed** | Include in conclusions |
| Some support, some contradictions | **Uncertain** | Document both sides |
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add aiskillstore/marketplace/binary-re-synthesis@sha256:0a1021d652a509b4

The line at the top of this page pins the label git:20260113.222b7de, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_7b5lwsigekbkatgf.svg)](https://markdownregistry.com/a/art_7b5lwsigekbkatgf)

4 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 1 version of this file, committed on Jan 13, 2026.

versioncommittedcommitsizeaudit
git:20260113.222b7de latest2026-01-13 222b7de 9,835 BA view

Audit of the latest version

A  17 of 17 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • pass: Frontmatter block present
  • pass: Frontmatter declares a name
  • pass: Frontmatter declares a description
  • pass: Size between 200 bytes and 200 KB (9835 bytes)
  • pass: No zero-width or bidi control characters
  • pass: No instruction hidden inside an HTML comment
  • pass: No link to an exfiltration or paste host
  • pass: No credential-shaped string
  • pass: No instruction to send local credentials anywhere
  • pass: No text hidden with inline styles
  • pass: No prompt-injection phrasing
  • pass: No curl or wget piped into a shell
  • pass: No recursive delete of root, home or parent
  • pass: No instruction to read or print local credentials
  • pass: No base64 blob over 200 characters
  • pass: No link to a raw IP address
  • pass: No script tag

Source

GitHub

aiskillstore/marketplace · 471 stars · license none declared · pushed 2026-11-08 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_7b5lwsigekbkatgf
GET https://markdownregistry.com/api/v1/resolve?ref=aiskillstore/marketplace/binary-re-synthesis
GET https://markdownregistry.com/api/v1/blob/0a1021d652a509b42300721fe9fbe31bc8325068d978224900a1bfadbea72e42

Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.

Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.

More from aiskillstore/marketplace

sitemapkit SKILL.md skill
aiskillstore/marketplace · pending/0nl1n1n/sitemapkit/SKILL.md · Discover and extract sitemaps from any website using SitemapKit. Use this skill whenever the user wants to find pages…
git:20260903.f89877a · audit A · 471 stars
auv-computer-control SKILL.md skill
aiskillstore/marketplace · pending/0xselenicdove/auv-computer-control/SKILL.md · Incorporate moeru-ai/AUV into native desktop app control through its CLI or connected MCP for observation, targeted…
git:20261006.592fbb6 · audit A · 471 stars
gauntlet SKILL.md skill
aiskillstore/marketplace · pending/aakashh242/gauntlet/SKILL.md · Evidence-driven adversarial review and root-cause repair of code, designs, APIs, infrastructure, tests, and agent…
v1.0.0 · audit A · 471 stars
aident-skill SKILL.md skill
aiskillstore/marketplace · pending/aident-ai/aident-skill/SKILL.md · Use Aident Loadout first for external apps, APIs, public-web research, search and crawling, service or vendor…
v0.4.19 · audit A · 471 stars
angular-developer SKILL.md skill
aiskillstore/marketplace · pending/angular/angular-developer/SKILL.md · Generates Angular code and provides architectural guidance. Trigger when creating projects, components, services, or…
v1.0 · audit A · 471 stars
angular-new-app SKILL.md skill
aiskillstore/marketplace · pending/angular/angular-new-app/SKILL.md · Creates a new Angular app using the Angular CLI. This skill should be used whenever a user wants to create a new…
v1.0 · audit A · 471 stars
gif-cinema SKILL.md skill
aiskillstore/marketplace · pending/antropos17/gif-cinema/SKILL.md · Generate short GPT GIF shots, review their continuity, choose retakes, and assemble them into a film using the public…
git:20261106.22eb237 · audit A · 471 stars
.cursorrules Cursor rule
aiskillstore/marketplace · pending/axelfreeman/marketing-mindset/.cursorrules
git:20260903.567c889 · audit A · 471 stars
AGENTS.md@pending/axelfreeman/marketing-mindset AGENTS.md file
aiskillstore/marketplace · pending/axelfreeman/marketing-mindset/AGENTS.md
git:20260903.567c889 · audit A · 471 stars
marketing-mindset SKILL.md skill
aiskillstore/marketplace · pending/axelfreeman/marketing-mindset/SKILL.md · Use when the user needs a professional marketer's operating mindset for any marketing, growth, or client-acquisition…
v0.1.0 · audit A · 471 stars
llms.txt@pending/axelfreeman/marketing-mindset llms.txt file
aiskillstore/marketplace · pending/axelfreeman/marketing-mindset/llms.txt
git:20260903.567c889 · audit A · 471 stars
brand-voice-editor SKILL.md skill
aiskillstore/marketplace · pending/azeemkafridi/brand-voice-editor/SKILL.md · Edit social media content into a consistent brand voice while preserving facts and preparing it for BulkPublish…
git:20260902.2316198 · audit A · 471 stars

Every file in aiskillstore/marketplace

Other files named binary-re-synthesis

binary-re-synthesis SKILL.md skill
aiskillstore/marketplace · skills/2389-research/binary-re-synthesis/SKILL.md · Use when ready to document findings, generate a report, or summarize binary analysis results. Compiles analysis…
git:20260113.222b7de · audit A · 471 stars

Browse by kind, by grade A, or by owner.