Reelier

---

Biên nhận trên PR của agent — cài đặt là xong

Các PR do agent tạo (Dependabot, Claude, Codex, Cursor, …) nhận được bình luận biên nhận trong vài giây: tác giả, các tệp đã thay đổi, phạm vi khai báo so với những gì thực sự thay đổi, các đường dẫn nhạy cảm được gắn cờ. Không cần tệp workflow, không cần CLI, không cần cấu hình.

→ Cài đặt GitHub App biên nhận Reelier — miễn phí trên các repo công khai, mãi mãi.

Biên nhận Reelier — PR của agent Tác giả: dependabot[bot] · Tệp đã thay đổi: 2 (+119 −41) Phạm vi khai báo: không có (thêm .reelier/scope.yml để bật phát hiện ghi ngoài phạm vi) Đường dẫn nhạy cảm bị chạm: ⚠ 1 — package-lock.json Chứng minh phạm vi và thay đổi, không chứng minh tính đúng đắn

_{Một biên nhận thực tế từ chính các repo của Reelier — xem một biên nhận trực tiếp. Khai báo phạm vi cho từng agent trong .reelier/scope.yml (hoặc một khối reelier-scope trong phần thân PR) và biên nhận sẽ báo cáo các ghi ngoài phạm vi. Biên nhận chứng minh phạm vi và thay đổi, không bao giờ chứng minh tính đúng đắn hoặc an toàn.}

---

Tại sao

Agent AI là phi xác định — cùng một lời nhắc, kết quả khác nhau mỗi lần chạy — và chúng sẽ tuyên bố rằng chúng đã làm công việc dù có làm hay không. Reelier ghi lại lần chạy thành công, phát lại nó một cách xác định, và viết một biên nhận có chữ ký chứng minh điều đó. Trỏ nó vào CI hiện có của bạn trong một workflow — nó thêm một biên nhận có thể xác minh, không thay thế stack của bạn.

Được đo trên một benchmark đối đầu thực tế, cùng tác vụ, cùng dữ liệu (phương pháp đầy đủ):

• 1.000 / 1.000 lần phát lại byte giống hệt nhau
• Mỗi lần phát lại đều gửi một biên nhận có chữ ký — bằng chứng về những gì đã chạy và những gì đã thay đổi, không bao giờ là một tuyên bố
• 0 lần gọi LLM khi phát lại — thực thi lại xác định, không phải suy luận lại

Phát lại xác định cũng rẻ hơn ~50× và nhanh hơn ~59× so với chạy lại agent, trên cùng benchmark.

Cài đặt

npm i -g reelier && reelier init

# No Node install needed — same commands via Docker:
docker run --rm ghcr.io/seldonframe/reelier --help

reelier init [--dry-run] thực hiện một lần kiểm tra cục bộ có checkpoint trên cả ba đường dẫn Reelier: Đường A phạm vi quan sát, Đường B ứng viên phát lại/đóng băng, và Đường C các kết nối và ứng viên có thể ràng buộc/có khả năng kết quả/chỉ shadow/không được hỗ trợ. Nó không triển khai, kiểm soát, điều phối, tải lên, sao chép thông tin xác thực, hoặc viết lại cấu hình máy chủ. --dry-run không ghi gì; lệnh thông thường chỉ ghi các tạo phẩm đã được làm sạch bên dưới .reelier/init/.

Như một plugin agent

Dạy agent viết mã của bạn khi nào nên dùng Reelier. Cùng hai lệnh, trên cả hai máy chủ:

claude plugin marketplace add seldonframe/reelier
claude plugin install reelier@seldonframe

codex plugin marketplace add seldonframe/reelier
codex plugin add reelier@seldonframe

Điều này cài đặt hai Agent Skills và không gì khác. reelier-replay dạy agent của bạn đóng băng một công việc gọi công cụ lặp lại và phát lại nó ở 0 token. reelier-write-safety bao gồm việc ràng buộc các ghi của agent trước khi bạn cấp quyền: recorder nhìn thấy gì, chính sách từ chối gì, và biên nhận chứng minh điều gì và không chứng minh điều gì. Nó không kèm MCP server nào, vì vậy nó không bọc, quan sát, hoặc kiểm soát bất kỳ lời gọi công cụ nào; CLI reelier làm điều đó, và các skill điều khiển nó qua npx. Được đóng gói ở cả định dạng Agent Plugins v1.0.0 (plugin/agent-plugins/) và định dạng Claude Code (plugin/claude/), được tạo từ một nguồn bởi scripts/build-plugin-packages.mjs.

Được xác minh từ đầu đến cuối trên codex-cli 0.147.0-alpha.1.2: cả hai định dạng cài đặt, kích hoạt, và skill đến được mô hình. Các máy chủ khác chưa được kiểm tra, và trạng thái theo từng máy chủ được theo dõi trong docs/specs/agent-plugins-coverage-v1.md §4 thay vì được tuyên bố ở đây.

Cách sử dụng

reelier init --dry-run              # inspect Path A/B/C locally; write nothing
reelier init                        # persist resumable sanitized inspection artifacts
reelier run  <name>.skill.md        # replay deterministically — 0 tokens (read-only by default)
reelier diff <name>                 # SAME or DRIFTED, per step — exit 1 on drift
reelier push <name>.skill.md        # sync receipts to your ledger (opt-in)
reelier ci                          # write a workflow: drift-CI + PR receipts, one command

1. Kiểm tra, sau đó ghi hoặc đóng băng. reelier init tiết lộ phạm vi quan sát và các ứng viên cục bộ mà không thay đổi tuyến đường. reelier mcp --wrap "<mcp server>" proxy các công cụ trực tiếp; reelier scan/from-session đóng băng lịch sử được hỗ trợ.
2. Biên dịch. reelier compile biến một dấu vết thành một SKILL.md — 0 lần gọi LLM, các khẳng định tối thiểu, các khoảng trống trung thực được in dưới dạng Câu hỏi mở.
3. Phát lại. reelier run phát lại nó ở Cấp độ 0 — không LLM, byte giống hệt nhau, chỉ đọc theo mặc định (ghi cần --allow-writes).
4. So sánh. reelier diff báo cáo SAME hoặc DRIFTED cho từng bước, với khẳng định thất bại là lý do — thoát 1 khi có drift.
5. Đăng nhập. reelier login kết nối máy này với Reelier Cloud bằng mã thiết bị trong trình duyệt của bạn — hoặc đặt REELIER_CLOUD_URL/REELIER_CLOUD_KEY cho CI và tự lưu trữ.
6. Đẩy lên. Mỗi lần chạy là một biên nhận; reelier push tùy chọn đồng bộ nó lên một sổ cái để có liên kết cố định và huy hiệu phát lại đã xác minh có thể nhúng.

Đã có một Agent Skill? Chuyển đổi nó — skill của bạn, trừ mô hình:

reelier compile trace.jsonl --from-skill ./my-skill/SKILL.md

Ba bài kiểm tra, một skill

Bài kiểm tra	Lệnh	Trả lời
Tính xác định	reelier run <skill.md>	Cái này vẫn làm những gì nó đã làm chứ?
Phục hồi	reelier run <skill.md> --fail N	Nếu cái này hỏng, skill có nhận ra và tự chữa không?
Drift	reelier run <skill.md> --wrap "<your mcp server>"	Thế giới đã dịch chuyển khỏi skill này chưa?

Phân loại theo đánh giá của Mads Hansen về bài đăng ra mắt. Ngữ nghĩa đầy đủ cho từng bài kiểm tra, bao gồm tiêm phục hồi và các rào cản manifest: docs/REFERENCE.md.

Kiểm soát PR bump Dependabot / Renovate

Dependabot và Renovate mở PR và chạy bộ kiểm thử của bạn — nhưng cả hai đều không biết agent của bạn thực sự làm gì khi chạy, vì vậy một bump phụ thuộc thay đổi âm thầm hình dạng của lời gọi công cụ (một trường đổi tên, một mặc định mới, một lỗi khác) sẽ vượt qua với các bài kiểm tra đơn vị xanh. Đây là kiểm tra mà chúng không chạy.

Sao chép .github/workflows/reelier-bump-check.yml vào repo của bạn, trỏ skill: vào (các) tệp .skill.md đã ghi của riêng bạn, và nó sẽ: giới hạn vào các PR từ dependabot[bot]/renovate[bot] (hoặc một nhãn dependencies), cài đặt phụ thuộc đã bump, phát lại skill đã ghi của bạn trực tiếp chống lại nó ở --max-level 0 (0 token), và làm cho kiểm tra thất bại ở chính bước đã drift.

Điều này kiểm tra hành vi phụ thuộc và lời gọi công cụ MCP — nó không kiểm tra nâng cấp mô hình; --max-level 0 không bao giờ gọi LLM. Bản sao đầy đủ và thiết lập: docs/marketplace-listing.md.

Chứng minh điều đó

Một biên nhận được đẩy lên mang một thang các tuyên bố có thể xác minh độc lập — không phải một "đã xác minh" chung chung. Tùy thuộc vào những gì bạn bật, nó có thể được ký, đóng dấu thời gian, chứng thực CI, và mang các ID yêu cầu nhà cung cấp có thể kiểm tra chéo. reelier verify tính toán lại mọi tuyên bố ngoại tuyến, và một tuyên bố bạn chưa bật chỉ hiển thị như một khoảng trống trung thực, không bao giờ là một khoảng trống đáng xấu hổ.

Xem một biên nhận thực tế: reelier.com/r/HWBdmGob9KeHRqXi-OEaRD0z.

Thang đầy đủ 8 bậc, mỗi bậc chứng minh điều gì và không chứng minh điều gì: docs/REFERENCE.md.

Nếu skill của bạn là nhân viên

Vòng đời nhân viên	Tương đương Reelier
Skill hóa một phiên	reelier from-session
Đánh giá hiệu suất	reelier run + reelier diff
Bảo trì đội	phát lại theo lịch + cảnh báo drift
Hồ sơ	biên nhận có chữ ký

"Đã xác minh" mô tả hồ sơ, không bao giờ mô tả agent — một biên nhận chứng minh những gì đã chạy và những gì đã thay đổi, không phải rằng agent giỏi công việc của nó.

Một hợp đồng lao động không làm cho nhân viên giỏi — nó làm cho những gì họ đã làm trở nên rõ ràng và có giới hạn. Tương tự ở đây: biên nhận chứng minh phạm vi và thay đổi, không bao giờ chứng minh tính đúng đắn.

Dành cho ai

• Nhà phát triển solo / người duy trì OSS — một bài kiểm tra hồi quy thực sự nữa; drift không thể vượt qua âm thầm.
• Nhóm phát hành thay đổi agent — "nó chạy sạch" trở thành một tạo phẩm PR có thể kiểm tra, không phải một tuyên bố.
• Cơ quan chạy agent cho khách hàng — bằng chứng giao hàng có chữ ký, đóng dấu thời gian mà khách hàng có thể xác minh.
• Người mua hoặc người bán trên marketplace — biên nhận được xác nhận là các đánh giá không thể bị làm giả.
• Vận hành đối mặt kiểm toán — một dấu vết có chữ ký, chứng thực CI của mọi ghi, bao gồm khóa idempotency.

---

MIT, miễn phí mãi mãi (các phiên bản ≤0.16.0 vẫn là AGPL-3.0). Dữ liệu của bạn — skill, dấu vết, lần chạy — được quy định trong SPEC.md, vì vậy rời đi chỉ là sao chép một thư mục.

Đóng góp: hoan nghênh issue và PR — SPEC.md là nguồn sự thật cho các định dạng; sửa mã, không sửa spec. npm test trước một PR.