🍚 깃밥 PRO가 열렸어요 — 월 3,900원 · 알아보기 →
2akouwu/reverify

AI가 제안하고 바이너리가 검증하는 역공학 툴킷 — 환각 없는 RE 분석

설치형 도구맘대로 써도 됨 · MIT자동화·워크플로우Python난이도
1,187+235이번 주👀 200
233포크5이슈

중간맛 분석

순수 Python으로 동작하는 RE 툴킷으로, 별도 설치 없이도 PE/ELF/Mach-O 파싱·x86/ARM 디스어셈블리·AOB 패턴 스캔·CPU 에뮬레이션을 제공합니다. pip install reverify[full]로 capstone·unicorn·lief 엔진을 추가하면 성능이 업그레이드되고, 없으면 자동으로 순수 Python 코어로 폴백합니다. MCP 서버를 내장해 Claude Code나 Cursor 같은 AI 에이전트가 도구를 직접 호출할 수 있으며, 와 병행 사용 가능합니다. PyPI에서 즉시 설치·실행 가능하며 96개 유닛 테스트로 검증되었습니다.

이런 레포예요

이럴 때 쓰면 좋아요

  • CTF 대회에서 바이너리 구조를 AI로 빠르게 분석하되 환각 없는 결과가 필요할 때
  • 악성코드 분석 시 AI의 구조 추측을 실제 바이트로 자동 검증하고 싶을 때
  • Claude Code나 Cursor 같은 AI 에이전트에 역공학 도구를 MCP로 연결해 자동화 파이프라인을 구축할 때

핵심 기능

AI 제안 → 바이너리 검증 루프 (VERIFIED/REFUTED/INCONCLUSIVE)순수 Python 코어 + capstone/unicorn/lief 선택적 업그레이드MCP 서버 내장으로 AI 에이전트 네이티브 연동

대안 대비 차별점

LLM의 역공학 결과를 실제 바이트 레벨에서 결정론적으로 검증하는 구조를 갖춰, 기존 AI 코드 분석 도구의 환각 문제를 툴킷 아키텍처 차원에서 원천 차단합니다.

먹어본 사람들

실제로 차려 먹어본 손님들의 흔적이에요 — 한마디와 완주 인증 모두 검수 후 공개돼요.

시식평 · 먹어본 사람 한마디

아직 시식평이 없어요. 먹어보셨다면 첫 한마디를 남겨주세요.

다른 레포 시식평 구경하기 →

이 레포로 만든 것들

🖋 완주 인증하기

아직 이 레포로 만든 완주 인증이 없어요. 첫 밥도장을 찍어보세요!

이 레포, 해먹는 법

처음 오셨어요? 어렵지 않아요 — 위에서 아래로 따라 하면 내 컴퓨터에 이 레포를 차려서 바로 맛볼 수 있어요.

준비물

  • Python 3.x
  • pip

바로 차려먹기Python (uv)

깃밥이 레포 구조를 확인하고 만든 실행 명령이에요. 터미널에 붙여넣으면 받기부터 실행까지 한 번에 진행돼요.

git clone --depth 1 https://github.com/2akouwu/reverify.git &&
cd reverify &&
uv sync

uv가 없다면: brew install uv · 실행 명령은 README를 확인하세요.

코드는 내 컴퓨터에서 실행돼요 — 처음 보는 레포라면 내용을 한번 훑어보고 실행하는 습관을 추천해요.

README가 안내하는 자세한 단계 보기
  1. 기본 설치 (순수 Python 코어)
pip install reverify
  1. 전체 엔진 설치 (capstone + unicorn + lief)
pip install "reverify[full]"
  1. 바이너리 자동 분석
reverify auto sample.bin --json
  1. 디스어셈블리 실행
reverify disasm 90505831C0C3 --arch x86_64
  1. 클레임 검증 (VERIFIED / REFUTED / INCONCLUSIVE)
reverify verify sample.bin --claim '{"kind": "instructions", "offset": 4096, "mnemonics": ["push", "mov", "sub"], "note": "function prologue"}'
  1. 활성 백엔드 엔진 확인
reverify backends

깃밥트라이로 맛보기

받아보기 귀찮고 살짝 불안했다면 — 안전 스캔부터 설치까지 터미널 한 줄로 끝나요.

터미널에 붙여넣으면 깃밥 안전 스캔 → 격리 폴더 clone → 설치 → 실행법 안내까지 자동이에요. 처음이어도 괜찮아요 — 이 한 줄이 전부예요.

npx gitbap-try 2akouwu/reverify

Node.js만 있으면 설치 없이 실행돼요 · 깃밥트라이가 뭐예요? →

별 추이 · 7일

1,187+235 / 7일

활용성 · 따라 만들기 좋은가

샘플 점수 34/100
  • 관대한 라이선스
  • 테스트 있음
  • 예제 디렉토리
  • 최근 활동
  • AGENTS.md
  • llms.txt
  • 템플릿

🟢 최근 활동 있음 · 2026년 생성

「자동화·워크플로우」 이런 레포, 매주 받아보실래요?

매주 월요일 아침, 골라 담은 밥상만. 광고 없이 · 언제든 해지.

내 레포인가요? README에 깃밥 배지 달기
[![깃밥](https://www.gitbap.com/badge/2akouwu/reverify.svg)](https://www.gitbap.com/r/2akouwu/reverify)
🔌 클로드에서 바로 써보기 — 깃밥 연결하는 법

깃밥을 클로드에 연결하면 이런 레포를 클로드·커서·Codex에서 바로 찾고 체험할 수 있어요.

방법 ① 커넥터 URL

클로드 설정 → 커넥터에 이 주소를 붙여넣기.

https://www.gitbap.com/api/mcp
방법 ② 플러그인 (체험까지)

플러그인을 설치하면 /gitbap-trending·/gitbap-try 슬래시 커맨드로 레포를 그 자리에서 체험. Claude Code에서 아래 두 줄을 차례로 실행하세요.

/plugin marketplace add jakeparkcolde/gitbap-cowork
/plugin install gitbap-cowork@gitbap
연결 방법 자세히 →

AI가 README 기반으로 요약했습니다 · 원문 보기