박준우
Reins Engineering을 제안한다.
AI 에이전트에게 고삐를 채운다 — 결정론적 계약으로 방향을 잡고, 래칫으로 잠그고, 결정과 구현을 분리한다. AI와 함께 밤낮 없이 코드를 짜고, 글을 쓴다.
Reins Engineering
프롬프트 엔지니어링 → 말을 잘 하면 된다
컨텍스트 엔지니어링 → 맥락을 잘 주면 된다
하네스 엔지니어링 → 구조로 가두면 된다
Reins Engineering → 방향을 잡아주면 된다
고삐 없는 하네스는 울타리일 뿐이다. 모델을 바꾸지 말고, 계약을 추가하라.
→ Reins Engineering — 고삐 있는 AI
오픈소스
Reins Engineering 도구:
- yongol — 10개 SSOT 교차 검증 + 코드 생성. Reins Engineering의 구현체. Harness with reins.
- toulmin — Toulmin 논증 모델 기반 Go 규칙 엔진. 규칙은 Go 함수, 예외는 defeats 그래프, 판정은 h-Categoriser.
- filefunc — 파일 하나에 개념 하나. 에이전트가 작업할 수 있는 코드 구조.
- tsma — 레거시 코드에 테스트를 씌우는 자동화 도구.
- ssac — Service Sequences as Code. 서비스 흐름을 선언적으로.
- whyso — git blame이 보여주지 않는 것. Claude Code 세션에서 변경 히스토리 추출.
세계 프로젝트:
- GEUL — AI를 위한 의미론적 언어. 모든 정보에 출처·시점·신뢰도를 부여하여 기계적으로 검증 가능하게 한다. 세 번째 언어.
- DABEL5 — 다이슨 스웜 엔지니어링. 소행성 채굴에서 거울 자기복제까지, 현존 기술만으로 카르다셰프 1형 문명을 설계한다.
연락
저작권 안내
본 사이트의 기술·의견 글은 CC BY 4.0 라이선스로 공유합니다.
- 자유롭게 공유, 인용, 번역, 2차 저작이 가능합니다.
- 저작자 표시 — 출처와 작가명(박준우, Park Jun Woo)을 밝혀주세요.
오픈소스 코드의 라이선스는 각 저장소를 따릅니다. 문의: mail@parkjunwoo.com