Reelier

---

에이전트 PR에 영수증 — 설치하고 끝

에이전트가 작성한 PR(Dependabot, Claude, Codex, Cursor 등)은 몇 초 만에 영수증 코멘트를 받습니다: 작성자, 변경된 파일, 선언된 범위 대 실제 변경 사항, 민감한 경로 플래그. 워크플로 파일, CLI, 설정이 필요 없습니다.

→ Reelier 영수증 GitHub 앱 설치 — 공개 저장소에서 영원히 무료.

Reelier 영수증 — 에이전트 PR 작성자: dependabot[bot] · 변경된 파일: 2 (+119 −41) 선언된 범위: 없음 (예상치 못한 쓰기 감지를 활성화하려면 .reelier/scope.yml 추가) 민감한 경로 접촉: ⚠ 1 — package-lock.json 범위와 변경을 증명하며, 정확성은 증명하지 않음

_{Reelier 자체 저장소의 실제 영수증 — 실시간으로 보기. 에이전트별로 .reelier/scope.yml에 범위를 선언하면(또는 PR 본문의 reelier-scope 블록) 영수증이 예상치 못한 쓰기를 보고합니다. 영수증은 범위와 변경을 증명하며, 정확성이나 안전성은 절대 증명하지 않습니다.}

---

왜

AI 에이전트는 비결정적입니다 — 같은 프롬프트, 실행마다 다른 결과 — 그리고 실제로 했는지 여부와 관계없이 작업을 했다고 주장합니다. Reelier는 성공한 실행을 기록하고, 결정론적으로 재생하며, 이를 증명하는 서명된 영수증을 씁니다. 기존 CI에 하나의 워크플로로 연결하세요 — 검증 가능한 영수증을 추가할 뿐, 스택을 대체하지 않습니다.

실제 대결 벤치마크에서 측정, 같은 작업, 같은 데이터 (전체 방법):

• 1,000 / 1,000 재생이 바이트 단위로 동일
• 모든 재생이 서명된 영수증을 제공 — 실행된 것과 변경된 것의 증거, 결코 주장이 아님
• 재생 시 LLM 호출 0회 — 재추론이 아닌 결정론적 재실행

결정론적 재생은 또한 같은 벤치마크에서 에이전트를 다시 실행하는 것보다 약 50배 저렴하고 약 59배 빠릅니다.

설치

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]는 세 가지 Reelier 경로 모두에서 체크포인트된 로컬 검사를 한 번 수행합니다: 경로 A 관찰 범위, 경로 B 재생/고정 후보, 경로 C 바인딩 가능/결과 가능/섀도우 전용/지원되지 않는 연결 및 후보. 배포, 게이트, 디스패치, 업로드, 자격 증명 복사, 호스트 구성 재작성을 하지 않습니다. --dry-run는 아무것도 쓰지 않습니다; 일반 명령은 .reelier/init/ 아래의 정리된 아티팩트만 씁니다.

에이전트 플러그인으로

코딩 에이전트에게 Reelier를 언제 사용할지 가르치세요. 두 호스트 모두 동일한 두 명령:

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

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

이것은 두 개의 에이전트 스킬만 설치하며 그 외에는 아무것도 없습니다. reelier-replay는 에이전트에게 반복 가능한 도구 호출 작업을 고정하고 0 토큰으로 재생하는 방법을 가르칩니다. reelier-write-safety는 에이전트의 쓰기를 허용하기 전에 바인딩하는 방법을 다룹니다: 레코더가 보는 것, 정책이 거부하는 것, 영수증이 증명하고 증명하지 않는 것. MCP 서버를 제공하지 않으므로 자체적으로 어떤 도구 호출도 래핑, 관찰, 게이트하지 않습니다; reelier CLI가 그 역할을 하며, 스킬은 npx를 통해 이를 구동합니다. 에이전트 플러그인 v1.0.0 형식(plugin/agent-plugins/)과 Claude Code 형식(plugin/claude/) 모두로 패키징되며, scripts/build-plugin-packages.mjs에 의해 하나의 소스에서 생성됩니다.

codex-cli 0.147.0-alpha.1.2에서 종단 간 검증 완료: 두 형식 모두 설치, 활성화, 스킬이 모델에 도달합니다. 다른 호스트는 테스트되지 않았으며, 호스트별 상태는 여기서 주장하지 않고 docs/specs/agent-plugins-coverage-v1.md §4에서 추적됩니다.

사용 방법

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. 검사한 다음 기록 또는 고정. reelier init는 경로를 변경하지 않고 관찰된 범위와 로컬 후보를 공개합니다. reelier mcp --wrap "<mcp server>"는 라이브 도구를 프록시합니다; reelier scan/from-session는 지원되는 기록을 고정합니다.
2. 컴파일. reelier compile는 추적을 SKILL.md로 변환합니다 — LLM 호출 0회, 최소한의 어서션, 정직한 격차는 열린 질문으로 인쇄됩니다.
3. 재생. reelier run는 레벨 0에서 재생합니다 — LLM 없음, 바이트 단위 동일, 기본적으로 읽기 전용(쓰기는 --allow-writes 필요).
4. 차이 비교. reelier diff는 단계별로 SAME 또는 DRIFTED를 보고하며, 실패한 어서션을 이유로 — 드리프트 시 종료 코드 1.
5. 로그인. reelier login는 브라우저의 디바이스 코드로 이 머신을 Reelier Cloud에 연결합니다 — 또는 CI 및 자체 호스팅을 위해 REELIER_CLOUD_URL/REELIER_CLOUD_KEY 설정.
6. 푸시. 모든 실행은 영수증입니다; reelier push는 선택적으로 원장에 동기화하여 영구 링크와 삽입 가능한 검증된 재생 배지를 제공합니다.

이미 에이전트 스킬이 있나요? 변환하세요 — 모델을 뺀 당신의 스킬:

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

세 가지 테스트, 하나의 스킬

테스트	명령	답변
결정성	reelier run <skill.md>	이것이 여전히 했던 일을 합니까?
복구	reelier run <skill.md> --fail N	이것이 고장나면, 스킬이 알아차리고 치유할까요?
드리프트	reelier run <skill.md> --wrap "<your mcp server>"	세상이 이 스킬 아래에서 움직였나요?

*분류는 Mads Hansen의 출시 게시물 검토에 따른 것입니다. 각 테스트의 전체 의미(복구 주입 및 매니페스트 가드레일 포함): docs/REFERENCE.md.

Dependabot / Renovate 범프 PR 게이트

Dependabot과 Renovate는 PR을 열고 테스트 스위트를 실행합니다 — 하지만 둘 다 에이전트가 런타임에 실제로 하는 일을 알지 못하므로, 도구 호출의 형태를 조용히 변경하는 종속성 범프(이름 바뀐 필드, 새 기본값, 다른 오류)는 녹색 단위 테스트로 통과합니다. 이것은 그들이 실행하지 않는 검사입니다.

.github/workflows/reelier-bump-check.yml을 저장소에 복사하고, skill:를 자신이 기록한 .skill.md 파일에 지정하면: dependabot[bot]/renovate[bot]의 PR로 게이트(또는 dependencies 라벨), 범프된 종속성 설치, 기록된 스킬을 --max-level 0에서 라이브로 재생(0 토큰), 드리프트된 정확한 단계에서 검사 실패.

이것은 종속성 및 MCP 도구 호출 동작을 테스트합니다 — 모델 업그레이드를 테스트하지 않습니다; --max-level 0는 절대 LLM을 호출하지 않습니다. 전체 목록 복사 및 설정: docs/marketplace-listing.md.

증명

푸시된 영수증은 하나의 포괄적인 "검증됨"이 아닌, 독립적으로 검증 가능한 주장의 사다리를 담고 있습니다. 켜는 항목에 따라 서명, 타임스탬프, CI 증명, 교차 확인 가능한 공급자 요청 ID를 포함할 수 있습니다. reelier verify는 모든 주장을 오프라인에서 다시 계산하며, 활성화하지 않은 주장은 부끄러운 격차가 아닌 정직한 격차로 표시됩니다.

실제 예시 보기: reelier.com/r/HWBdmGob9KeHRqXi-OEaRD0z.

전체 8단 사다리, 각 단계가 증명하고 증명하지 않는 것: docs/REFERENCE.md.

스킬이 직원이라면

직원 수명 주기	Reelier 대응
세션 스킬화	reelier from-session
성과 검토	reelier run + reelier diff
플릿 유지보수	예약된 재생 + 드리프트 알림
기록	서명된 영수증

"검증됨"은 기록을 설명하며, 에이전트를 설명하지 않습니다 — 영수증은 실행된 것과 변경된 것을 증명하며, 에이전트가 일을 잘했는지는 증명하지 않습니다.

고용 계약은 직원을 훌륭하게 만들지 않습니다 — 그들이 한 일을 보이게 하고 경계를 만듭니다. 여기도 같습니다: 영수증은 범위와 변경을 증명하며, 정확성은 증명하지 않습니다.

대상

• 솔로 개발자 / OSS 유지보수자 — 진짜 회귀 테스트 다시; 드리프트는 조용히 통과할 수 없습니다.
• 에이전트 변경을 배포하는 팀 — "깨끗하게 실행됨"이 주장이 아닌 확인 가능한 PR 아티팩트가 됩니다.
• 클라이언트를 위해 에이전트를 운영하는 에이전시 — 클라이언트가 검증할 수 있는 서명되고 타임스탬프된 전달 증명.
• 마켓플레이스 구매자 또는 판매자 — 입증된 영수증은 위장할 수 없는 리뷰입니다.
• 감사 대상 운영 — 모든 쓰기의 서명되고 CI 증명된 추적, 멱등성 키 포함.

---

MIT, 영원히 무료(버전 ≤0.16.0은 AGPL-3.0 유지). 데이터 — 스킬, 추적, 실행 —은 SPEC.md에 명시되어 있으므로, 떠나는 것은 폴더를 복사하는 것입니다.

기여: 이슈와 PR 환영 — SPEC.md는 형식의 진실의 원천입니다; 코드를 수정하고, 스펙을 수정하지 마세요. PR 전에 npm test.