2akouwu/reverify

Public

Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets. Reverse engineering is the proving ground. MCP server + CLI.

Star1.3k Fork257 Watch2 Mở trên GitHub

Bee AI phân tích repositoryBETA

AI đọc README và cây file để tóm tắt, gợi ý cách dùng và đánh giá repository. Mọi con số lấy từ kho Bee, không do AI ước lượng.

Cập nhật lần cuối: 25/09/2026

Đăng nhập để hỏi Bee AI

Tóm tắt bởi Bee AI

Reverify là bộ công cụ xác minh xác thực (deterministic verification) kết hợp máy chủ MCP và CLI, giúp ngăn AI tạo thông tin sai lệch khi dịch ngược nhị phân và phân tích mã nguồn.

Xác minh các giả thuyết do AI đưa ra đối chiếu với byte thực tế, trả về kết quả VERIFIED, REFUTED hoặc INCONCLUSIVE kèm bằng chứng.
Lõi pure-Python hỗ trợ phân tích định dạng PE/ELF/Mach-O, disasm x86/ARM, giả lập CPU, quét mẫu AOB và có thể nâng cấp với Capstone, Unicorn, LIEF hoặc Angr.
Tính năng ledger lưu trữ trạng thái bền vững theo từng tệp nhị phân, bảo vệ thông tin đã xác thực và danh sách KNOWN FALSE qua các lần reset ngữ cảnh.
Hỗ trợ reverify rollover để chuyển giao ngữ cảnh sang file sạch cho Claude Code, Codex CLI, Gemini CLI và OpenCode thay vì tóm tắt gây mất thông tin.

Lưu ý

Các tính năng phân tích đồ thị luồng điều khiển và phân tích ngữ nghĩa (angr) thuộc tầng suy diễn (DERIVED tier), có thể bỏ sót hàm do hạn chế của CFGFast.
Dự án chỉ dành cho mục đích dịch ngược hợp pháp (phân tích mã độc, nghiên cứu tính tương thích, CTF, phần mềm được cấp phép).

Điểm BeeTính thuần từ số liệu trong kho Bee, không phải AI chấm: bách phân vị sao 30% · độ tươi lần push 25% · fork và watcher 15% · README, giấy phép, mô tả 20% · có bản phát hành 10%.

63/100Điểm tổng thể

Độ phổ biến30
Độ tươi60
Cộng đồng60
Tài liệu100
Phát hành100

Mức độ khóNâng cao
Phù hợp vớiLập trình viên · Nhà nghiên cứu
Loại dự ánCông cụ
Giấy phépMIT

Kiến trúc & Công nghệ

Công nghệ AI nhận ra từ README và cây file — chỉ những mục nằm trong danh sách Bee kiểm.

Tech stack

Python
MCP

Kiến trúc tổng quan

Repository → công nghệ chính → các thư mục cấp 1 có thật trong repo; vai trò do AI mô tả.

RepositoryreverifyCông cụ

Công nghệ chính

Python

reverify/Chứa mã nguồn chính của công cụ, CLI, MCP server và các logic xác minh
benchmarks/Chứa các script đo đạc hiệu năng và kết quả kiểm thử chống ảo giác trên nhị phân
docs/Chứa tài liệu hướng dẫn bổ sung cho dự án
.github/Cấu hình CI/CD và quy trình kiểm thử tự động trên GitHub Actions

reverify/Chứa mã nguồn chính của công cụ, CLI, MCP server và các logic xác minh
benchmarks/Chứa các script đo đạc hiệu năng và kết quả kiểm thử chống ảo giác trên nhị phân
docs/Chứa tài liệu hướng dẫn bổ sung cho dự án
.github/Cấu hình CI/CD và quy trình kiểm thử tự động trên GitHub Actions

Hướng dẫn nhanh

Các bước để bắt đầu với repository này.

bash

git clone https://github.com/2akouwu/reverify.git
cd reverify

Các use case chính

Những ứng dụng có thể xây dựng từ repository này.

Ngăn AI bịa đặt offset, kích thước struct hoặc hành vi hàm trong quá trình dịch ngược phần mềm độc hại và chơi CTF.
Kiểm tra tính tương đương hành vi giữa đoạn mã tái cấu trúc do AI sinh ra và mã gốc qua lệnh reverify equiv.
Tích hợp vào agent như Claude Code hoặc Cursor qua giao thức MCP để phân tích nhị phân với phán quyết xác định.
Tự động phân loại định dạng tệp nhị phân, kiến trúc, section và trích xuất chuỗi bằng lệnh reverify auto.

Repository tương tự

Cùng chủ đề trong kho Bee.

Nội dung do AI sinh, có thể sai hoặc thiếu — số liệu lấy từ kho Bee, không do AI ước lượng. Cập nhật lần cuối: 25/09/2026.